Pvm : Pvm analysis 1 : Null Pointer Dereference at ddpro.c:1046
|
|
| 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_312882 >= 2 &$unknown_312889 <= hosts->ht_last &$unknown_312889 >= 2 &$unknown_312892 >= 1 hosts->ht_hosts[1] != 0 hosts->ht_last >= 2 waitlist->wa_wid >= widbase + 2 ((char*)&$unknown_312896)[184] != 0 ((char*)&$unknown_312896)[24] != 0 ((char*)&$unknown_312896)[64] != 0 ((char*)&$unknown_312896)[80] = 0 busyadding = 0 filehosts = 0 lasthh = 2 numfrags != 0 numpmsgs != 0 widrange <= lastwid |
||||||||||||
| Postconditions | ||||||||||||
freefrags.fr_link->fr_link->fr_rlink' = freefrags.fr_link->fr_rlink freepmsgs.m_link->m_link->m_rlink' = freepmsgs.m_link->m_rlink freefrags.fr_link->fr_buf' = 0 freefrags.fr_link->fr_dat' = 0 freefrags.fr_link->fr_max' = 0 freefrags.fr_link->fr_len' = 0 freefrags.fr_link->fr_u.ref' = 1 freefrags.fr_link->fr_u.dab' = 1 freefrags.fr_link->fr_u.spr' = 0 freefrags.fr_link->fr_rip' = 0 freefrags.fr_link->fr_rlink' = freefrags.fr_link waitlist->wa_rlink' = &$heap_11166 freefrags.fr_link->fr_rlink->fr_link' = freefrags.fr_link->fr_link freepmsgs.m_link->m_rlink->m_link' = freepmsgs.m_link->m_link waitlist->wa_rlink->wa_link' = &$heap_11166 freefrags.fr_link->fr_link' = freefrags.fr_link __x' = 2130706433 atnewline' = 1 buf' = 0 busyadding' = 1 count' = &$unknown_312882 ghbn_h_name[0]' = 60 strlen(&ghbn_h_name[0])' = 255 ghbn_h_name[255]' = 0 he' = &stored_hostent.h_name $heap_11166' = waitlist bytes_after(&$heap_11166)' = 80 $heap_11166' is allocated by malloc $heap_11166' is allocated bytes_before(&$heap_11166)' = 0 ((char*)&$heap_11166)[16]' = widbase + 1 ((char*)&$heap_11166)[20]' = 3 ((char*)&$heap_11166)[24]' = 0 ((char*)&$heap_11166)[56]' = $param_2 ((char*)&$heap_11166)[64]' = 0 ((char*)&$heap_11166)[72]' = &$heap_11167 ((char*)&$heap_11166)[8]' = waitlist->wa_rlink $heap_11167' = &$unknown_312882 bytes_after(&$heap_11167)' = 16 $heap_11167' is allocated by malloc $heap_11167' is allocated bytes_before(&$heap_11167)' = 0 ((char*)&$heap_11167)[8]' = &$heap_11168 $heap_11168' = 0 bytes_after(&$heap_11168)' = 8 * &$unknown_312882 $heap_11168' is allocated by malloc $heap_11168' is allocated bytes_before(&$heap_11168)' = 0 strlen(&$heap_11168)' = 0 $heap_11170' = 1 bytes_after(&$heap_11170)' = 200 $heap_11170' is allocated by malloc bytes_before(&$heap_11170)' = 0 strlen(&$heap_11170)' = 0 ((char*)&$heap_11170)[136]' = &$heap_11173 ((char*)&$heap_11170)[152]' = 1 ((char*)&$heap_11170)[176]' = 0 ((char*)&$heap_11170)[88]' = 2 ((char*)&$heap_11170)[104]' = 1 ((char*)&$heap_11170)[108]' = 1 ((char*)&$heap_11170)[112]' = &$heap_11171 ((char*)&$heap_11170)[120]' = &$heap_11172 bytes_after(&$heap_11171)' = 184 $heap_11171' is allocated by malloc $heap_11171' is allocated bytes_before(&$heap_11171)' = 0 ((char*)&$heap_11171)[16]' = 0 ((char*)&$heap_11171)[176]' = 0 ((char*)&$heap_11171)[24]' = 0 ((char*)&$heap_11171)[32]' = 0 ((char*)&$heap_11171)[40]' = 0 bytes_after(&$heap_11172)' = 184 $heap_11172' is allocated by malloc $heap_11172' is allocated bytes_before(&$heap_11172)' = 0 ((char*)&$heap_11172)[16]' = 0 ((char*)&$heap_11172)[176]' = 0 ((char*)&$heap_11172)[24]' = 0 ((char*)&$heap_11172)[32]' = 0 ((char*)&$heap_11172)[40]' = 0 $heap_11173' = &$heap_11173 bytes_after(&$heap_11173)' = 184 $heap_11173' is allocated by malloc $heap_11173' is allocated bytes_before(&$heap_11173)' = 0 ((char*)&$heap_11173)[16]' = 0 ((char*)&$heap_11173)[176]' = 0 ((char*)&$heap_11173)[24]' = 0 ((char*)&$heap_11173)[32]' = 0 ((char*)&$heap_11173)[40]' = 0 ((char*)&$heap_11173)[8]' = &$heap_11173 bytes_after(&$heap_11175)' = 4 * &$unknown_312892 $heap_11175' is allocated by malloc $heap_11175' is freed bytes_before(&$heap_11175)' = 0 hh' = &$unknown_312889 - 1 hp' = &$unknown_312896 hp2' = &$unknown_312890 i' = &$unknown_312882 - 1 j' >= 0 lasthh' = 2 lastwid' = 1 len' >= 0 maxhostid' >= 2 maxhostid' >= &$unknown_312882 mp' = $param_1 mp2' = freepmsgs.m_link ngood' = 0 ntid' = 0 numfrags' = numfrags - 1 numpmsgs' = numpmsgs - 1 pvmdpath' = &#string10[0] rmp' = $param_2 tids' = &$heap_11175 tmbuf.tm_sec' = &$unknown_312893 winpvmdpath' = &#string12[0] wp' = &$heap_11166 wxp' = &$heap_11167 |
||||||||||||
