pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:4923
|
|
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
$param_2 >= 3 ((char*)*$param_3)[20] != 58 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
__x' = 0 ac' = 6 ((char*)&$unknown_732141)[56]' = &$unknown_732142 argc' = 6 bad' = 0 cc' = 0 $heap_157744' = 1 bytes_after(&$heap_157744)' = 32 $heap_157744' is allocated by malloc $heap_157744' is allocated bytes_before(&$heap_157744)' = 0 ((char*)&$heap_157744)[16]' = $input_12 ((char*)&$heap_157744)[20]' = $input_95388 ((char*)&$heap_157744)[28]' = &$heap_157745 ((char*)&$heap_157744)[12]' = $input_12 $heap_157745' = 0 $heap_157745' is allocated bytes_before(&$heap_157745)' = 0 $heap_157746' = &$heap_157746 bytes_after(&$heap_157746)' = 120 $heap_157746' is allocated by malloc $heap_157746' is allocated bytes_before(&$heap_157746)' = 0 ((char*)&$heap_157746)[16]' = 0 ((char*)&$heap_157746)[20]' = 0 ((char*)&$heap_157746)[4]' = &$heap_157746 ((char*)&$heap_157746)[8]' = 0 ((char*)&$heap_157746)[116]' = 0 ((char*)&$heap_157746)[12]' = 0 bytes_after(&$heap_157747)' = 120 $heap_157747' is allocated by malloc $heap_157747' is allocated bytes_before(&$heap_157747)' = 0 ((char*)&$heap_157747)[16]' = 0 ((char*)&$heap_157747)[20]' = 0 ((char*)&$heap_157747)[8]' = 0 ((char*)&$heap_157747)[116]' = 0 ((char*)&$heap_157747)[12]' = 0 $heap_157748' = 1 bytes_after(&$heap_157748)' = 124 $heap_157748' is allocated by malloc bytes_before(&$heap_157748)' = 0 ((char*)&$heap_157748)[52]' = $input_95396 ((char*)&$heap_157748)[56]' = 2 ((char*)&$heap_157748)[72]' = 1 ((char*)&$heap_157748)[76]' = 1 ((char*)&$heap_157748)[80]' = &$heap_157746 ((char*)&$heap_157748)[8]' = &$heap_157750 ((char*)&$heap_157748)[84]' = &$heap_157749 ((char*)&$heap_157748)[92]' = &$heap_157747 ((char*)&$heap_157748)[100]' = 1 ((char*)&$heap_157748)[108]' = 1000 ((char*)&$heap_157748)[112]' = 0 $heap_157749' = &$heap_157749 bytes_after(&$heap_157749)' = 120 $heap_157749' is allocated by malloc $heap_157749' is allocated bytes_before(&$heap_157749)' = 0 ((char*)&$heap_157749)[16]' = 0 ((char*)&$heap_157749)[20]' = 0 ((char*)&$heap_157749)[4]' = &$heap_157749 ((char*)&$heap_157749)[8]' = 0 ((char*)&$heap_157749)[116]' = 0 ((char*)&$heap_157749)[12]' = 0 $heap_157750' = 63 bytes_after(&$heap_157750)' = 2 $heap_157750' is allocated by malloc $heap_157750' is allocated bytes_before(&$heap_157750)' = 0 strlen(&$heap_157750)' = 1 tocttou($heap_157750)' = tocttou(#string176) bytes_after(&$heap_157751)' = 120 $heap_157751' is allocated by malloc $heap_157751' is allocated bytes_before(&$heap_157751)' = 0 ((char*)&$heap_157751)[16]' = 0 ((char*)&$heap_157751)[20]' = 0 ((char*)&$heap_157751)[8]' = 0 ((char*)&$heap_157751)[116]' = 0 ((char*)&$heap_157751)[12]' = 0 $heap_157752' = 1 bytes_after(&$heap_157752)' = 124 $heap_157752' is allocated by malloc bytes_before(&$heap_157752)' = 0 ((char*)&$heap_157752)[44]' = pvmmydsig ((char*)&$heap_157752)[52]' = pvmudpmtu ((char*)&$heap_157752)[56]' = 2 ((char*)&$heap_157752)[72]' = 1 ((char*)&$heap_157752)[76]' = 1 ((char*)&$heap_157752)[80]' = &$heap_157753 ((char*)&$heap_157752)[8]' = &$heap_157756 ((char*)&$heap_157752)[84]' = &$heap_157755 ((char*)&$heap_157752)[92]' = &$heap_157751 ((char*)&$heap_157752)[100]' = 1 ((char*)&$heap_157752)[108]' = 1000 ((char*)&$heap_157752)[112]' = &$heap_157754 ((char*)&$heap_157752)[12]' = &$heap_157757 bytes_after(&$heap_157753)' = 120 $heap_157753' is allocated by malloc $heap_157753' is allocated bytes_before(&$heap_157753)' = 0 ((char*)&$heap_157753)[16]' = 0 ((char*)&$heap_157753)[20]' = 0 ((char*)&$heap_157753)[8]' = 0 ((char*)&$heap_157753)[116]' = 0 ((char*)&$heap_157753)[12]' = 0 bytes_after(&$heap_157754)' = 20 $heap_157754' is allocated by malloc $heap_157754' is allocated bytes_before(&$heap_157754)' = 0 ((char*)&$heap_157754)[16]' = 0 ((char*)&$heap_157754)[8]' = 0 ((char*)&$heap_157754)[12]' = 0 $heap_157755' = &$heap_157755 bytes_after(&$heap_157755)' = 120 $heap_157755' is allocated by malloc $heap_157755' is allocated bytes_before(&$heap_157755)' = 0 ((char*)&$heap_157755)[16]' = 0 ((char*)&$heap_157755)[20]' = 0 ((char*)&$heap_157755)[4]' = &$heap_157755 ((char*)&$heap_157755)[8]' = 0 ((char*)&$heap_157755)[116]' = 0 ((char*)&$heap_157755)[12]' = 0 $heap_157756' = 112 bytes_after(&$heap_157756)' = 6 $heap_157756' is allocated by malloc $heap_157756' is allocated bytes_before(&$heap_157756)' = 0 strlen(&$heap_157756)' = 5 tocttou($heap_157756)' = tocttou(#string167) $heap_157757' = *myarchname bytes_after(&$heap_157757)' = strlen(myarchname) + 1 $heap_157757' is allocated by malloc $heap_157757' is allocated bytes_before(&$heap_157757)' = 0 strlen(&$heap_157757)' = strlen(myarchname) tocttou($heap_157757)' = tocttou(*myarchname) $heap_157758' = &$heap_157758 bytes_after(&$heap_157758)' = 120 $heap_157758' is allocated by malloc $heap_157758' is allocated bytes_before(&$heap_157758)' = 0 ((char*)&$heap_157758)[16]' = 0 ((char*)&$heap_157758)[20]' = 0 ((char*)&$heap_157758)[4]' = &$heap_157758 ((char*)&$heap_157758)[8]' = 0 ((char*)&$heap_157758)[116]' = 0 ((char*)&$heap_157758)[12]' = 0 bytes_after(&$heap_157759)' = 120 $heap_157759' is allocated by malloc $heap_157759' is allocated bytes_before(&$heap_157759)' = 0 ((char*)&$heap_157759)[16]' = 0 ((char*)&$heap_157759)[20]' = 0 ((char*)&$heap_157759)[8]' = 0 ((char*)&$heap_157759)[116]' = 0 ((char*)&$heap_157759)[12]' = 0 $heap_157760' = 1 bytes_after(&$heap_157760)' = 124 $heap_157760' is allocated by malloc bytes_before(&$heap_157760)' = 0 ((char*)&$heap_157760)[44]' = pvmmydsig ((char*)&$heap_157760)[52]' = pvmudpmtu ((char*)&$heap_157760)[56]' = 2 ((char*)&$heap_157760)[72]' = 1 ((char*)&$heap_157760)[76]' = 1 ((char*)&$heap_157760)[80]' = &$heap_157758 ((char*)&$heap_157760)[8]' = &$heap_157762 ((char*)&$heap_157760)[84]' = &$heap_157761 ((char*)&$heap_157760)[92]' = &$heap_157759 ((char*)&$heap_157760)[100]' = 1 ((char*)&$heap_157760)[108]' = 1000 ((char*)&$heap_157760)[112]' = 0 ((char*)&$heap_157760)[12]' = &$heap_157763 $heap_157761' = &$heap_157761 bytes_after(&$heap_157761)' = 120 $heap_157761' is allocated by malloc $heap_157761' is allocated bytes_before(&$heap_157761)' = 0 ((char*)&$heap_157761)[16]' = 0 ((char*)&$heap_157761)[20]' = 0 ((char*)&$heap_157761)[4]' = &$heap_157761 ((char*)&$heap_157761)[8]' = 0 ((char*)&$heap_157761)[116]' = 0 ((char*)&$heap_157761)[12]' = 0 $heap_157762' = *hn bytes_after(&$heap_157762)' = strlen(hn) + 1 $heap_157762' is allocated by malloc $heap_157762' is allocated bytes_before(&$heap_157762)' = 0 strlen(&$heap_157762)' = strlen(hn) tocttou($heap_157762)' = tocttou(*hn) $heap_157763' = *myarchname bytes_after(&$heap_157763)' = strlen(myarchname) + 1 $heap_157763' is allocated by malloc $heap_157763' is allocated bytes_before(&$heap_157763)' = 0 strlen(&$heap_157763)' = strlen(myarchname) tocttou($heap_157763)' = tocttou(*myarchname) $heap_157764' is allocated by open $heap_157764' is allocated $heap_157765' is allocated by open $heap_157765' is allocated hosts' = &$heap_157744 hp' = &$unknown_732141 hp' = &$heap_157760 hp0' = 0 i' = argc lh' = $input_95388 mh' = $input_12 netsock' = &$heap_157764 - 4096 p' = 0 ppnetsock' = &$heap_157765 - 4096 tmpp' = 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
