pvm3.4.6 : pvm3.4.6 analysis 2 : 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_350359 >= &$unknown_350368 + 1 &$unknown_350359 >= 3 &$unknown_350368 >= 2 hosts->ht_hosts[1] != 0 hosts->ht_last >= 2 ((char*)&$unknown_350365)[116] != 0 ((char*)&$unknown_350373)[48] = 0 ((char*)&$unknown_350373)[116] = 0 busyadding = 0 filehosts = 0 lasthh = 2 numfrags != 0 numpmsgs != 0 $input_12 >= 0 $input_8476 >= 0 $input_8500 >= 0 |
||||||||||||
| 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_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_rlink' = freefrags.fr_link freefrags.fr_link->fr_rip' = 0 freefrags.fr_link->fr_buf' = 0 freefrags.fr_link->fr_dat' = 0 freefrags.fr_link->fr_rlink->fr_link' = freefrags.fr_link->fr_link freepmsgs.m_link->m_rlink->m_link' = freepmsgs.m_link->m_link freefrags.fr_link->fr_link' = freefrags.fr_link __x' = 2130706433 atnewline' = 1 buf' = 0 busyadding' = 1 count' = &$unknown_350359 errno' != 0 he' = &$heap_33884 bytes_after(&$heap_33871)' = 48 $heap_33871' is allocated by malloc $heap_33871' is allocated bytes_before(&$heap_33871)' = 0 ((char*)&$heap_33871)[16]' = 0 ((char*)&$heap_33871)[36]' = rmp ((char*)&$heap_33871)[40]' = 0 ((char*)&$heap_33871)[44]' = &$heap_33872 ((char*)&$heap_33871)[12]' = 3 $heap_33872' = &$unknown_350359 bytes_after(&$heap_33872)' = 8 $heap_33872' is allocated by malloc $heap_33872' is allocated bytes_before(&$heap_33872)' = 0 ((char*)&$heap_33872)[4]' = &$heap_33873 $heap_33873' = 0 bytes_after(&$heap_33873)' = 4 * &$unknown_350359 $heap_33873' is allocated by malloc $heap_33873' is allocated bytes_before(&$heap_33873)' = 0 bytes_after(&$heap_33875)' = 120 $heap_33875' is allocated by malloc $heap_33875' is allocated bytes_before(&$heap_33875)' = 0 ((char*)&$heap_33875)[16]' = 0 ((char*)&$heap_33875)[20]' = 0 ((char*)&$heap_33875)[8]' = 0 ((char*)&$heap_33875)[116]' = 0 ((char*)&$heap_33875)[12]' = 0 $heap_33876' = 1 bytes_after(&$heap_33876)' = 124 $heap_33876' is allocated by malloc bytes_before(&$heap_33876)' = 0 ((char*)&$heap_33876)[56]' = 2 ((char*)&$heap_33876)[72]' = 1 ((char*)&$heap_33876)[76]' = 1 ((char*)&$heap_33876)[80]' = &$heap_33875 ((char*)&$heap_33876)[84]' = &$heap_33877 ((char*)&$heap_33876)[92]' = &$heap_33878 ((char*)&$heap_33876)[100]' = 1 ((char*)&$heap_33876)[112]' = 0 $heap_33877' = &$heap_33877 bytes_after(&$heap_33877)' = 120 $heap_33877' is allocated by malloc $heap_33877' is allocated bytes_before(&$heap_33877)' = 0 ((char*)&$heap_33877)[16]' = 0 ((char*)&$heap_33877)[20]' = 0 ((char*)&$heap_33877)[4]' = &$heap_33877 ((char*)&$heap_33877)[8]' = 0 ((char*)&$heap_33877)[116]' = 0 ((char*)&$heap_33877)[12]' = 0 bytes_after(&$heap_33878)' = 120 $heap_33878' is allocated by malloc $heap_33878' is allocated bytes_before(&$heap_33878)' = 0 ((char*)&$heap_33878)[16]' = 0 ((char*)&$heap_33878)[20]' = 0 ((char*)&$heap_33878)[8]' = 0 ((char*)&$heap_33878)[116]' = 0 ((char*)&$heap_33878)[12]' = 0 $heap_33880' = $input_444 bytes_after(&$heap_33880)' = $input_12 + 1 $heap_33880' is allocated by malloc $heap_33880' is a non-heap object bytes_before(&$heap_33880)' = 0 strlen(&$heap_33880)' = $input_12 $heap_33881' = $input_8484 bytes_after(&$heap_33881)' = $input_8476 + 1 $heap_33881' is allocated by malloc $heap_33881' is a non-heap object bytes_before(&$heap_33881)' = 0 strlen(&$heap_33881)' = $input_8476 $heap_33882' = $input_8508 bytes_after(&$heap_33882)' = $input_8500 + 1 $heap_33882' is allocated by malloc $heap_33882' is a non-heap object bytes_before(&$heap_33882)' = 0 strlen(&$heap_33882)' = $input_8500 $heap_33883' = &$heap_33882 $heap_33883' is a non-heap object bytes_before(&$heap_33883)' = 0 $heap_33884' = &$heap_33880 bytes_after(&$heap_33884)' = 1024 $heap_33884' is a non-heap object bytes_before(&$heap_33884)' = 0 ((char*)&$heap_33884)[16]' = &$heap_33883 ((char*)&$heap_33884)[4]' = &$heap_33885 $heap_33885' = &$heap_33881 $heap_33885' is a non-heap object bytes_before(&$heap_33885)' = 0 hh' = 0 hp' = &$unknown_350373 hp2' = 0 i' = &$unknown_350359 - 2 j' >= 0 last_rv' = &$heap_33884 lasthh' = 2 maxhostid' >= 3 maxhostid' >= &$unknown_350359 mp2' = freepmsgs.m_link ngood' = 0 ntid' = 0 numfrags' = numfrags - 1 numpmsgs' = numpmsgs - 1 pvmdpath' = &#string10[0] tids' = 0 tmbuf.tm_sec' = &$unknown_350370 winpvmdpath' = &#string12[0] wp' = &$heap_33871 wxp' = &$heap_33872 |
||||||||||||
