Pvm : Pvm analysis 1 : Null Pointer Dereference at ddpro.c:1096
|
|
|||||||||||||||||||||||||||||
| Legend | [ X ] |
|---|---|
|
Warning Location
Contributes Parse Error Other Warning Two or More Loop Iterations On Execution Path Comment Macro Preprocessor Include Keyword Preprocessed Away | |
| Legend | ||
|---|---|---|
| Warning Location | Contributes | Parse Error |
| Other Warning | Two or More Loop Iterations | On Execution Path |
| Comment | Macro | Preprocessor |
| Include | Keyword | Preprocessed Away |
| Source | Language: C | Show LegendHide Legend | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||
| Preconditions | ||||||||||||
&$unknown_304703 >= 3 &$unknown_304710 <= hosts->ht_last &$unknown_304710 >= 2 hosts->ht_last >= 2 waitlist->wa_wid >= widbase + 2 strlen(((char*)&$unknown_304717)[64]) = 2 ((char*)&$unknown_304717)[184] = 0 ((char*)&$unknown_304717)[24] != 0 ((char*)&$unknown_304717)[32] = 0 ((char*)&$unknown_304717)[80] = 0 busyadding = 0 filehosts = 0 numfrags = 0 numpmsgs != 0 $input_12 >= 0 widrange <= lastwid |
||||||||||||
| Postconditions | ||||||||||||
freepmsgs.m_link->m_link->m_rlink' = freepmsgs.m_link->m_rlink waitlist->wa_rlink' = &$heap_7829 freepmsgs.m_link->m_rlink->m_link' = freepmsgs.m_link->m_link waitlist->wa_rlink->wa_link' = &$heap_7829 __x' = 2130706433 $unknown_304715' = &freefrags.fr_link ((char*)&$unknown_304715)[8]' = ((char*)&$unknown_304714)[8] buf' = 0 busyadding' = 1 count' = &$unknown_304703 freefrags.fr_link' = &$unknown_304715 - 64 freefrags.fr_rlink' = &$unknown_304715 ghbn_h_name[0]' = 60 strlen(&ghbn_h_name[0])' = 255 ghbn_h_name[255]' = 0 he' = &stored_hostent.h_name $heap_7829' = waitlist bytes_after(&$heap_7829)' = 80 $heap_7829' is allocated by malloc $heap_7829' is allocated bytes_before(&$heap_7829)' = 0 ((char*)&$heap_7829)[16]' = widbase + 1 ((char*)&$heap_7829)[20]' = 3 ((char*)&$heap_7829)[24]' = 0 ((char*)&$heap_7829)[56]' = $param_2 ((char*)&$heap_7829)[64]' = 0 ((char*)&$heap_7829)[72]' = &$heap_7830 ((char*)&$heap_7829)[8]' = waitlist->wa_rlink $heap_7830' = &$unknown_304703 bytes_after(&$heap_7830)' = 16 $heap_7830' is allocated by malloc $heap_7830' is allocated bytes_before(&$heap_7830)' = 0 ((char*)&$heap_7830)[8]' = &$heap_7831 $heap_7831' = 0 bytes_after(&$heap_7831)' = 8 * &$unknown_304703 $heap_7831' is allocated by malloc $heap_7831' is allocated bytes_before(&$heap_7831)' = 0 strlen(&$heap_7831)' = 0 $heap_7833' = 1 bytes_after(&$heap_7833)' = 200 $heap_7833' is allocated by malloc bytes_before(&$heap_7833)' = 0 strlen(&$heap_7833)' = 0 ((char*)&$heap_7833)[136]' = &$heap_7836 ((char*)&$heap_7833)[152]' = 1 ((char*)&$heap_7833)[176]' = 0 ((char*)&$heap_7833)[88]' = 2 ((char*)&$heap_7833)[104]' = 1 ((char*)&$heap_7833)[108]' = 1 ((char*)&$heap_7833)[112]' = &$heap_7834 ((char*)&$heap_7833)[120]' = &$heap_7835 bytes_after(&$heap_7834)' = 184 $heap_7834' is allocated by malloc $heap_7834' is allocated bytes_before(&$heap_7834)' = 0 ((char*)&$heap_7834)[16]' = 0 ((char*)&$heap_7834)[176]' = 0 ((char*)&$heap_7834)[24]' = 0 ((char*)&$heap_7834)[32]' = 0 ((char*)&$heap_7834)[40]' = 0 bytes_after(&$heap_7835)' = 184 $heap_7835' is allocated by malloc $heap_7835' is allocated bytes_before(&$heap_7835)' = 0 ((char*)&$heap_7835)[16]' = 0 ((char*)&$heap_7835)[176]' = 0 ((char*)&$heap_7835)[24]' = 0 ((char*)&$heap_7835)[32]' = 0 ((char*)&$heap_7835)[40]' = 0 $heap_7836' = &$heap_7836 bytes_after(&$heap_7836)' = 184 $heap_7836' is allocated by malloc $heap_7836' is allocated bytes_before(&$heap_7836)' = 0 ((char*)&$heap_7836)[16]' = 0 ((char*)&$heap_7836)[176]' = 0 ((char*)&$heap_7836)[24]' = 0 ((char*)&$heap_7836)[32]' = 0 ((char*)&$heap_7836)[40]' = 0 ((char*)&$heap_7836)[8]' = &$heap_7836 $heap_7838' is allocated by malloc $heap_7838' is freed bytes_before(&$heap_7838)' = 0 bytes_after(&$heap_7839)' = $input_12 + 1 $heap_7839' is allocated by malloc $heap_7839' is a non-heap object bytes_before(&$heap_7839)' = 0 strlen(&$heap_7839)' = $input_12 $heap_7840' is allocated by malloc $heap_7840' is freed bytes_before(&$heap_7840)' = 0 $heap_7841' is allocated by malloc $heap_7841' is freed bytes_before(&$heap_7841)' = 0 hh' = &$unknown_304710 - 1 hp' = &$unknown_304717 hp2' = &$unknown_304711 i' = &$unknown_304703 - 2 j' >= 2 lastwid' = 1 len' = strlen(((char*)&$unknown_304717)[8]) + 141 maxhostid' >= 3 maxhostid' >= &$unknown_304703 mp' = $param_1 mp2' = freepmsgs.m_link ngood' >= 2 ntid' >= 2 numfrags' = 499 numpmsgs' = numpmsgs - 1 pvmdpath' = &$heap_7839 rmp' = $param_2 tids' = &$heap_7838 winpvmdpath' = &#string12[0] wp' = &$heap_7829 wxp' = &$heap_7830 |
||||||||||||
