Pvm : Pvm analysis 1 : Null Pointer Dereference at pvmd.c:5523
|
|
|||||||||||||||||||||||||||||
| 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*)&$heap_86334)[8] >= 0 ((char*)&$heap_86335)[144] >= 0 ((char*)&$heap_86335)[16] >= 0 ((char*)&$heap_86335)[32] = 0 ((char*)&$heap_86340)[144] >= 0 |
||||||||||||
| Postconditions | ||||||||||||
ac' = 6 argc' = 6 argv' = $param_3 atnewline' = 0 bad' = 0 $heap_86334' = 1 bytes_after(&$heap_86334)' = 40 $heap_86334' is allocated by malloc $heap_86334' is allocated bytes_before(&$heap_86334)' = 0 strlen(&$heap_86334)' = 0 ((char*)&$heap_86334)[16]' = $input_12 ((char*)&$heap_86334)[20]' = $input_25580 ((char*)&$heap_86334)[12]' = $input_12 $heap_86335' = 0 bytes_after(&$heap_86335)' = 200 $heap_86335' is allocated by malloc $heap_86335' is freed bytes_before(&$heap_86335)' = 0 strlen(&$heap_86335)' = 0 ((char*)&$heap_86335)[136]' = &$heap_86338 ((char*)&$heap_86335)[152]' = 1 ((char*)&$heap_86335)[168]' = 1000 ((char*)&$heap_86335)[176]' = 0 ((char*)&$heap_86335)[8]' = &$heap_86339 ((char*)&$heap_86335)[84]' = $input_25588 ((char*)&$heap_86335)[88]' = 2 ((char*)&$heap_86335)[104]' = 1 ((char*)&$heap_86335)[108]' = 1 ((char*)&$heap_86335)[112]' = &$heap_86336 ((char*)&$heap_86335)[120]' = &$heap_86337 bytes_after(&$heap_86336)' = 184 $heap_86336' is allocated by malloc bytes_before(&$heap_86336)' = 0 ((char*)&$heap_86336)[16]' = 0 ((char*)&$heap_86336)[176]' = 0 ((char*)&$heap_86336)[24]' = 0 ((char*)&$heap_86336)[32]' = 0 ((char*)&$heap_86336)[40]' = 0 bytes_after(&$heap_86337)' = 184 $heap_86337' is allocated by malloc bytes_before(&$heap_86337)' = 0 ((char*)&$heap_86337)[176]' = 0 ((char*)&$heap_86337)[32]' = 0 ((char*)&$heap_86337)[40]' = 0 $heap_86338' = &$heap_86338 bytes_after(&$heap_86338)' = 184 $heap_86338' is allocated by malloc bytes_before(&$heap_86338)' = 0 ((char*)&$heap_86338)[176]' = 0 ((char*)&$heap_86338)[32]' = 0 ((char*)&$heap_86338)[40]' = 0 ((char*)&$heap_86338)[8]' = &$heap_86338 $heap_86339' = 63 bytes_after(&$heap_86339)' = 2 $heap_86339' is allocated by malloc bytes_before(&$heap_86339)' = 0 strlen(&$heap_86339)' = 1 $heap_86340' = 0 bytes_after(&$heap_86340)' = 200 $heap_86340' is allocated by malloc $heap_86340' is freed bytes_before(&$heap_86340)' = 0 strlen(&$heap_86340)' = 0 ((char*)&$heap_86340)[136]' = &$heap_86341 ((char*)&$heap_86340)[152]' = 1 ((char*)&$heap_86340)[16]' = &$heap_86346 ((char*)&$heap_86340)[168]' = 1000 ((char*)&$heap_86340)[176]' = &$heap_86342 ((char*)&$heap_86340)[76]' = pvmmydsig ((char*)&$heap_86340)[8]' = &$heap_86345 ((char*)&$heap_86340)[84]' = pvmudpmtu ((char*)&$heap_86340)[88]' = 2 ((char*)&$heap_86340)[104]' = 1 ((char*)&$heap_86340)[108]' = 1 ((char*)&$heap_86340)[112]' = &$heap_86344 ((char*)&$heap_86340)[120]' = &$heap_86343 bytes_after(&$heap_86341)' = 184 $heap_86341' is allocated by malloc bytes_before(&$heap_86341)' = 0 ((char*)&$heap_86341)[176]' = 0 ((char*)&$heap_86341)[32]' = 0 ((char*)&$heap_86341)[40]' = 0 bytes_after(&$heap_86342)' = 32 $heap_86342' is allocated by malloc bytes_before(&$heap_86342)' = 0 ((char*)&$heap_86342)[16]' = 0 ((char*)&$heap_86342)[20]' = 0 ((char*)&$heap_86342)[24]' = 0 bytes_after(&$heap_86343)' = 184 $heap_86343' is allocated by malloc bytes_before(&$heap_86343)' = 0 ((char*)&$heap_86343)[176]' = 0 ((char*)&$heap_86343)[32]' = 0 ((char*)&$heap_86343)[40]' = 0 bytes_after(&$heap_86344)' = 184 $heap_86344' is allocated by malloc bytes_before(&$heap_86344)' = 0 ((char*)&$heap_86344)[16]' = 0 ((char*)&$heap_86344)[176]' = 0 ((char*)&$heap_86344)[24]' = 0 ((char*)&$heap_86344)[32]' = 0 ((char*)&$heap_86344)[40]' = 0 $heap_86345' = 112 bytes_after(&$heap_86345)' = 6 $heap_86345' is allocated by malloc bytes_before(&$heap_86345)' = 0 strlen(&$heap_86345)' = 5 $heap_86346' = *myarchname bytes_after(&$heap_86346)' = strlen(myarchname) + 1 $heap_86346' is allocated by malloc bytes_before(&$heap_86346)' = 0 strlen(&$heap_86346)' = strlen(myarchname) hn' = $param_1 hosts' = &$heap_86334 hp' = 0 i' = $param_2 lh' = $input_25580 mh' = $input_12 tmbuf.tm_sec' = &$unknown_811657 |
||||||||||||
