Pvm : Pvm analysis 1 : Null Pointer Dereference at pvmd.c:5397
|
|
| 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_844680 != 0 $unknown_844678 != 0 $unknown_844678 != 36 strlen(&$unknown_844678) = 1 ((char*)&$unknown_844678)[1] = 0 ((char*)&$heap_110480)[8] >= -1 ((char*)&$heap_110488)[144] >= 0 ((char*)&$heap_110488)[32] = 0 $input_12 >= 1 $input_60 = &$unknown_844680 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
((char*)&$unknown_844676)[40]' = &$heap_110494 ((char*)&$unknown_844676)[48]' = &$heap_110496 ((char*)&$unknown_844676)[56]' = &$heap_110498 argc' = $param_2 argv' = $param_3 debugger' = 0 epaths' = &$heap_110495 filehosts' = &$unknown_844675 $heap_110480' = 1 bytes_after(&$heap_110480)' = 40 $heap_110480' is allocated by malloc $heap_110480' is allocated bytes_before(&$heap_110480)' = 0 strlen(&$heap_110480)' = 0 ((char*)&$heap_110480)[16]' = 1 ((char*)&$heap_110480)[20]' = 1 ((char*)&$heap_110480)[8]' = ((char*)&$heap_110480)[8] + 1 ((char*)&$heap_110480)[12]' = 1 $heap_110482' = 1 bytes_after(&$heap_110482)' = 200 $heap_110482' is allocated by malloc bytes_before(&$heap_110482)' = 0 strlen(&$heap_110482)' = 0 ((char*)&$heap_110482)[136]' = &$heap_110483 ((char*)&$heap_110482)[152]' = 1 ((char*)&$heap_110482)[16]' = &$heap_110487 ((char*)&$heap_110482)[168]' = 1000 ((char*)&$heap_110482)[176]' = 0 ((char*)&$heap_110482)[76]' = pvmmydsig ((char*)&$heap_110482)[8]' = &$heap_110486 ((char*)&$heap_110482)[84]' = pvmudpmtu ((char*)&$heap_110482)[88]' = 2 ((char*)&$heap_110482)[104]' = 1 ((char*)&$heap_110482)[108]' = 1 ((char*)&$heap_110482)[112]' = &$heap_110485 ((char*)&$heap_110482)[120]' = &$heap_110484 $heap_110483' = &$heap_110483 bytes_after(&$heap_110483)' = 184 $heap_110483' is allocated by malloc $heap_110483' is allocated bytes_before(&$heap_110483)' = 0 ((char*)&$heap_110483)[16]' = 0 ((char*)&$heap_110483)[176]' = 0 ((char*)&$heap_110483)[24]' = 0 ((char*)&$heap_110483)[32]' = 0 ((char*)&$heap_110483)[40]' = 0 ((char*)&$heap_110483)[8]' = &$heap_110483 bytes_after(&$heap_110484)' = 184 $heap_110484' is allocated by malloc $heap_110484' is allocated bytes_before(&$heap_110484)' = 0 ((char*)&$heap_110484)[16]' = 0 ((char*)&$heap_110484)[176]' = 0 ((char*)&$heap_110484)[24]' = 0 ((char*)&$heap_110484)[32]' = 0 ((char*)&$heap_110484)[40]' = 0 bytes_after(&$heap_110485)' = 184 $heap_110485' is allocated by malloc $heap_110485' is allocated bytes_before(&$heap_110485)' = 0 ((char*)&$heap_110485)[16]' = 0 ((char*)&$heap_110485)[176]' = 0 ((char*)&$heap_110485)[24]' = 0 ((char*)&$heap_110485)[32]' = 0 ((char*)&$heap_110485)[40]' = 0 $heap_110486' = *$param_1 bytes_after(&$heap_110486)' = strlen($param_1) + 1 $heap_110486' is allocated by malloc $heap_110486' is allocated bytes_before(&$heap_110486)' = 0 strlen(&$heap_110486)' = strlen($param_1) $heap_110487' = *myarchname bytes_after(&$heap_110487)' = strlen(myarchname) + 1 $heap_110487' is allocated by malloc $heap_110487' is allocated bytes_before(&$heap_110487)' = 0 strlen(&$heap_110487)' = strlen(myarchname) $heap_110488' = 0 bytes_after(&$heap_110488)' = 200 $heap_110488' is allocated by malloc $heap_110488' is freed bytes_before(&$heap_110488)' = 0 strlen(&$heap_110488)' = 0 ((char*)&$heap_110488)[136]' = &$heap_110491 ((char*)&$heap_110488)[152]' = 1 ((char*)&$heap_110488)[16]' = &$heap_110493 ((char*)&$heap_110488)[168]' = 1000 ((char*)&$heap_110488)[176]' = 0 ((char*)&$heap_110488)[76]' = pvmmydsig ((char*)&$heap_110488)[8]' = &$heap_110492 ((char*)&$heap_110488)[84]' = pvmudpmtu ((char*)&$heap_110488)[88]' = 2 ((char*)&$heap_110488)[104]' = 1 ((char*)&$heap_110488)[108]' = 1 ((char*)&$heap_110488)[112]' = &$heap_110490 ((char*)&$heap_110488)[120]' = &$heap_110489 bytes_after(&$heap_110489)' = 184 $heap_110489' is allocated by malloc bytes_before(&$heap_110489)' = 0 ((char*)&$heap_110489)[176]' = 0 ((char*)&$heap_110489)[32]' = 0 ((char*)&$heap_110489)[40]' = 0 bytes_after(&$heap_110490)' = 184 $heap_110490' is allocated by malloc bytes_before(&$heap_110490)' = 0 ((char*)&$heap_110490)[16]' = 0 ((char*)&$heap_110490)[176]' = 0 ((char*)&$heap_110490)[24]' = 0 ((char*)&$heap_110490)[32]' = 0 ((char*)&$heap_110490)[40]' = 0 bytes_after(&$heap_110491)' = 184 $heap_110491' is allocated by malloc bytes_before(&$heap_110491)' = 0 ((char*)&$heap_110491)[176]' = 0 ((char*)&$heap_110491)[32]' = 0 ((char*)&$heap_110491)[40]' = 0 $heap_110492' = 112 bytes_after(&$heap_110492)' = 6 $heap_110492' is allocated by malloc bytes_before(&$heap_110492)' = 0 strlen(&$heap_110492)' = 5 $heap_110493' = *myarchname bytes_after(&$heap_110493)' = strlen(myarchname) + 1 $heap_110493' is allocated by malloc bytes_before(&$heap_110493)' = 0 strlen(&$heap_110493)' = strlen(myarchname) $heap_110494' = 36 bytes_after(&$heap_110494)' = 49 $heap_110494' is allocated by malloc $heap_110494' is allocated bytes_before(&$heap_110494)' = 0 bytes_after(&$heap_110495)' = 16 $heap_110495' is allocated by malloc $heap_110495' is allocated bytes_before(&$heap_110495)' = 0 $heap_110496' = 36 bytes_after(&$heap_110496)' = 23 $heap_110496' is allocated by malloc $heap_110496' is allocated bytes_before(&$heap_110496)' = 0 $heap_110497' = $input_60 bytes_after(&$heap_110497)' = $input_12 + 1 $heap_110497' is allocated by malloc $heap_110497' is a non-heap object bytes_before(&$heap_110497)' = 0 strlen(&$heap_110497)' = $input_12 $heap_110498' = &$unknown_844680 bytes_after(&$heap_110498)' = $input_12 + 1 $heap_110498' is allocated by malloc $heap_110498' is allocated bytes_before(&$heap_110498)' = 0 hn' = $param_1 hosts' = &$heap_110480 hp' = &$unknown_844676 hp2' = ((char*)$unknown_844675)[32] s' = 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
