pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at ddpro.c:1050
|
|
| 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_353652 >= &$unknown_353661 + 1 &$unknown_353652 >= 3 &$unknown_353661 >= 2 &$unknown_353665 = &$unknown_353666 - 92 hosts->ht_hosts[1] != 0 hosts->ht_last >= 2 ((char*)&$unknown_353658)[116] != 0 ((char*)&$unknown_353667)[16] = 0 ((char*)&$unknown_353667)[48] = 0 busyadding = 0 filehosts = 0 lasthh = 2 numpmsgs = 0 $input_12 >= 0 $input_36860 >= 0 $input_8476 >= 0 $input_8500 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
__x' = 2130706433 $unknown_353666' = &freepmsgs.m_link ((char*)&$unknown_353666)[4]' = ((char*)&$unknown_353665)[4] atnewline' = 1 busyadding' = 1 count' = &$unknown_353652 errno' != 0 freepmsgs.m_link' = &$unknown_353665 freepmsgs.m_rlink' = &$unknown_353666 he' = &$heap_35913 bytes_after(&$heap_35900)' = 48 $heap_35900' is allocated by malloc $heap_35900' is allocated bytes_before(&$heap_35900)' = 0 ((char*)&$heap_35900)[16]' = 0 ((char*)&$heap_35900)[36]' = rmp ((char*)&$heap_35900)[40]' = 0 ((char*)&$heap_35900)[44]' = &$heap_35901 ((char*)&$heap_35900)[12]' = 3 $heap_35901' = &$unknown_353652 bytes_after(&$heap_35901)' = 8 $heap_35901' is allocated by malloc $heap_35901' is allocated bytes_before(&$heap_35901)' = 0 ((char*)&$heap_35901)[4]' = &$heap_35902 $heap_35902' = 0 bytes_after(&$heap_35902)' = 4 * &$unknown_353652 $heap_35902' is allocated by malloc $heap_35902' is allocated bytes_before(&$heap_35902)' = 0 bytes_after(&$heap_35904)' = 120 $heap_35904' is allocated by malloc $heap_35904' is allocated bytes_before(&$heap_35904)' = 0 ((char*)&$heap_35904)[16]' = 0 ((char*)&$heap_35904)[20]' = 0 ((char*)&$heap_35904)[8]' = 0 ((char*)&$heap_35904)[116]' = 0 ((char*)&$heap_35904)[12]' = 0 $heap_35905' = 1 bytes_after(&$heap_35905)' = 124 $heap_35905' is allocated by malloc bytes_before(&$heap_35905)' = 0 ((char*)&$heap_35905)[56]' = 2 ((char*)&$heap_35905)[72]' = 1 ((char*)&$heap_35905)[76]' = 1 ((char*)&$heap_35905)[80]' = &$heap_35904 ((char*)&$heap_35905)[84]' = &$heap_35906 ((char*)&$heap_35905)[92]' = &$heap_35907 ((char*)&$heap_35905)[100]' = 1 ((char*)&$heap_35905)[112]' = 0 $heap_35906' = &$heap_35906 bytes_after(&$heap_35906)' = 120 $heap_35906' is allocated by malloc $heap_35906' is allocated bytes_before(&$heap_35906)' = 0 ((char*)&$heap_35906)[16]' = 0 ((char*)&$heap_35906)[20]' = 0 ((char*)&$heap_35906)[4]' = &$heap_35906 ((char*)&$heap_35906)[8]' = 0 ((char*)&$heap_35906)[116]' = 0 ((char*)&$heap_35906)[12]' = 0 bytes_after(&$heap_35907)' = 120 $heap_35907' is allocated by malloc $heap_35907' is allocated bytes_before(&$heap_35907)' = 0 ((char*)&$heap_35907)[16]' = 0 ((char*)&$heap_35907)[20]' = 0 ((char*)&$heap_35907)[8]' = 0 ((char*)&$heap_35907)[116]' = 0 ((char*)&$heap_35907)[12]' = 0 $heap_35909' = $input_444 bytes_after(&$heap_35909)' = $input_12 + 1 $heap_35909' is allocated by malloc $heap_35909' is a non-heap object bytes_before(&$heap_35909)' = 0 strlen(&$heap_35909)' = $input_12 $heap_35910' = $input_8484 bytes_after(&$heap_35910)' = $input_8476 + 1 $heap_35910' is allocated by malloc $heap_35910' is a non-heap object bytes_before(&$heap_35910)' = 0 strlen(&$heap_35910)' = $input_8476 $heap_35911' = $input_8508 bytes_after(&$heap_35911)' = $input_8500 + 1 $heap_35911' is allocated by malloc $heap_35911' is a non-heap object bytes_before(&$heap_35911)' = 0 strlen(&$heap_35911)' = $input_8500 $heap_35912' = &$heap_35911 $heap_35912' is a non-heap object bytes_before(&$heap_35912)' = 0 $heap_35913' = &$heap_35909 bytes_after(&$heap_35913)' = 1024 $heap_35913' is a non-heap object bytes_before(&$heap_35913)' = 0 ((char*)&$heap_35913)[16]' = &$heap_35912 ((char*)&$heap_35913)[4]' = &$heap_35914 $heap_35914' = &$heap_35910 $heap_35914' is a non-heap object bytes_before(&$heap_35914)' = 0 $heap_35915' = $input_36868 bytes_after(&$heap_35915)' = $input_36860 + 1 $heap_35915' is allocated by malloc $heap_35915' is a non-heap object bytes_before(&$heap_35915)' = 0 strlen(&$heap_35915)' = $input_36860 hh' = 0 hp' = &$unknown_353667 hp2' = 0 i' = &$unknown_353652 - 2 j' >= 0 last_rv' = &$heap_35913 lasthh' = 2 maxhostid' >= 3 maxhostid' >= &$unknown_353652 mp2' = &$unknown_353665 ngood' = 0 ntid' = 0 numpmsgs' = 49 pvmdpath' = &$heap_35915 tids' = 0 tmbuf.tm_sec' = &$unknown_353663 winpvmdpath' = &#string12[0] wp' = &$heap_35900 wxp' = &$heap_35901 |
||||||||||||
