Pvm : Pvm analysis 1 : Null Pointer Dereference at pvmd.c:5382
|
|
| 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 = 2 &$unknown_870907 = 0 ((char*)&$unknown_870906)[40] = 0 ((char*)&$heap_136686)[8] >= 0 ((char*)&$heap_136694)[144] >= 0 ((char*)&$heap_136694)[32] != 0 $input_12 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
((char*)$heap_136694)[32]' is freed ((char*)&$unknown_870906)[24]' = &$heap_136701 argc' = $param_2 argv' = $param_3 filehosts' = &$unknown_870905 $heap_136686' = 1 bytes_after(&$heap_136686)' = 40 $heap_136686' is allocated by malloc $heap_136686' is allocated bytes_before(&$heap_136686)' = 0 strlen(&$heap_136686)' = 0 ((char*)&$heap_136686)[16]' = 1 ((char*)&$heap_136686)[20]' = 1 ((char*)&$heap_136686)[12]' = 1 $heap_136688' = 1 bytes_after(&$heap_136688)' = 200 $heap_136688' is allocated by malloc bytes_before(&$heap_136688)' = 0 strlen(&$heap_136688)' = 0 ((char*)&$heap_136688)[136]' = &$heap_136691 ((char*)&$heap_136688)[152]' = 1 ((char*)&$heap_136688)[16]' = &$heap_136693 ((char*)&$heap_136688)[168]' = 1000 ((char*)&$heap_136688)[176]' = 0 ((char*)&$heap_136688)[76]' = pvmmydsig ((char*)&$heap_136688)[8]' = &$heap_136692 ((char*)&$heap_136688)[84]' = pvmudpmtu ((char*)&$heap_136688)[88]' = 2 ((char*)&$heap_136688)[104]' = 1 ((char*)&$heap_136688)[108]' = 1 ((char*)&$heap_136688)[112]' = &$heap_136689 ((char*)&$heap_136688)[120]' = &$heap_136690 bytes_after(&$heap_136689)' = 184 $heap_136689' is allocated by malloc $heap_136689' is allocated bytes_before(&$heap_136689)' = 0 ((char*)&$heap_136689)[16]' = 0 ((char*)&$heap_136689)[176]' = 0 ((char*)&$heap_136689)[24]' = 0 ((char*)&$heap_136689)[32]' = 0 ((char*)&$heap_136689)[40]' = 0 bytes_after(&$heap_136690)' = 184 $heap_136690' is allocated by malloc $heap_136690' is allocated bytes_before(&$heap_136690)' = 0 ((char*)&$heap_136690)[16]' = 0 ((char*)&$heap_136690)[176]' = 0 ((char*)&$heap_136690)[24]' = 0 ((char*)&$heap_136690)[32]' = 0 ((char*)&$heap_136690)[40]' = 0 $heap_136691' = &$heap_136691 bytes_after(&$heap_136691)' = 184 $heap_136691' is allocated by malloc $heap_136691' is allocated bytes_before(&$heap_136691)' = 0 ((char*)&$heap_136691)[16]' = 0 ((char*)&$heap_136691)[176]' = 0 ((char*)&$heap_136691)[24]' = 0 ((char*)&$heap_136691)[32]' = 0 ((char*)&$heap_136691)[40]' = 0 ((char*)&$heap_136691)[8]' = &$heap_136691 $heap_136692' = *$param_1 bytes_after(&$heap_136692)' = strlen($param_1) + 1 $heap_136692' is allocated by malloc $heap_136692' is allocated bytes_before(&$heap_136692)' = 0 strlen(&$heap_136692)' = strlen($param_1) $heap_136693' = *myarchname bytes_after(&$heap_136693)' = strlen(myarchname) + 1 $heap_136693' is allocated by malloc $heap_136693' is allocated bytes_before(&$heap_136693)' = 0 strlen(&$heap_136693)' = strlen(myarchname) $heap_136694' = 0 bytes_after(&$heap_136694)' = 200 $heap_136694' is allocated by malloc $heap_136694' is freed bytes_before(&$heap_136694)' = 0 strlen(&$heap_136694)' = 0 ((char*)&$heap_136694)[136]' = &$heap_136698 ((char*)&$heap_136694)[152]' = 1 ((char*)&$heap_136694)[16]' = &$heap_136700 ((char*)&$heap_136694)[168]' = 1000 ((char*)&$heap_136694)[176]' = &$heap_136697 ((char*)&$heap_136694)[76]' = pvmmydsig ((char*)&$heap_136694)[8]' = &$heap_136699 ((char*)&$heap_136694)[84]' = pvmudpmtu ((char*)&$heap_136694)[88]' = 2 ((char*)&$heap_136694)[104]' = 1 ((char*)&$heap_136694)[108]' = 1 ((char*)&$heap_136694)[112]' = &$heap_136696 ((char*)&$heap_136694)[120]' = &$heap_136695 bytes_after(&$heap_136695)' = 184 $heap_136695' is allocated by malloc bytes_before(&$heap_136695)' = 0 ((char*)&$heap_136695)[176]' = 0 ((char*)&$heap_136695)[32]' = 0 ((char*)&$heap_136695)[40]' = 0 bytes_after(&$heap_136696)' = 184 $heap_136696' is allocated by malloc bytes_before(&$heap_136696)' = 0 ((char*)&$heap_136696)[16]' = 0 ((char*)&$heap_136696)[176]' = 0 ((char*)&$heap_136696)[24]' = 0 ((char*)&$heap_136696)[32]' = 0 ((char*)&$heap_136696)[40]' = 0 bytes_after(&$heap_136697)' = 32 $heap_136697' is allocated by malloc bytes_before(&$heap_136697)' = 0 ((char*)&$heap_136697)[16]' = 0 ((char*)&$heap_136697)[20]' = 0 ((char*)&$heap_136697)[24]' = 0 bytes_after(&$heap_136698)' = 184 $heap_136698' is allocated by malloc bytes_before(&$heap_136698)' = 0 ((char*)&$heap_136698)[176]' = 0 ((char*)&$heap_136698)[32]' = 0 ((char*)&$heap_136698)[40]' = 0 $heap_136699' = 112 bytes_after(&$heap_136699)' = 6 $heap_136699' is allocated by malloc bytes_before(&$heap_136699)' = 0 strlen(&$heap_136699)' = 5 $heap_136700' = *myarchname bytes_after(&$heap_136700)' = strlen(myarchname) + 1 $heap_136700' is allocated by malloc bytes_before(&$heap_136700)' = 0 strlen(&$heap_136700)' = strlen(myarchname) bytes_after(&$heap_136701)' = strlen(((char*)((char*)$unknown_870905)[32])[24]) + 1 $heap_136701' is allocated by malloc $heap_136701' is allocated bytes_before(&$heap_136701)' = 0 strlen(&$heap_136701)' = strlen(((char*)((char*)$unknown_870905)[32])[24]) $heap_136702' = $input_60 bytes_after(&$heap_136702)' = $input_12 + 1 $heap_136702' is allocated by malloc $heap_136702' is a non-heap object bytes_before(&$heap_136702)' = 0 strlen(&$heap_136702)' = $input_12 hn' = $param_1 hosts' = &$heap_136686 hp' = &$unknown_870906 hp2' = ((char*)$unknown_870905)[32] s' = &$heap_136702 |
||||||||||||