Pvm : Pvm analysis 1 : Null Pointer Dereference at pvmd.c:5178
|
|
| 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_867385 != 0 strlen(((char*)&((char*)$unknown_867381)[8])[8]) > 0 ((char*)&$unknown_867360)[4] >= 1 $unknown_867383 != 0 $unknown_867383 != 36 strlen(&$unknown_867383) = 1 ((char*)&$unknown_867383)[1] = 0 ((char*)&$heap_132632)[8] >= 0 ((char*)&$heap_132634)[144] >= 0 ((char*)&$heap_132634)[32] = 0 ((char*)&$heap_132641)[144] >= 0 ((char*)&$heap_132641)[32] = 0 $input_12 >= 1 $input_60 = &$unknown_867385 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
((char*)&((char*)$unknown_867381)[8])[192]' = &$heap_132648 ((char*)&((char*)$unknown_867381)[8])[40]' = &$heap_132650 argc' = $param_2 argv' = $param_3 filehosts' = &$unknown_867360 $heap_132632' = 1 bytes_after(&$heap_132632)' = 40 $heap_132632' is allocated by malloc $heap_132632' is allocated bytes_before(&$heap_132632)' = 0 strlen(&$heap_132632)' = 0 ((char*)&$heap_132632)[16]' = 1 ((char*)&$heap_132632)[20]' = 1 ((char*)&$heap_132632)[32]' = &$unknown_867381 ((char*)&$heap_132632)[12]' = 1 $heap_132634' = 0 bytes_after(&$heap_132634)' = 200 $heap_132634' is allocated by malloc $heap_132634' is freed bytes_before(&$heap_132634)' = 0 strlen(&$heap_132634)' = 0 ((char*)&$heap_132634)[136]' = &$heap_132636 ((char*)&$heap_132634)[152]' = 1 ((char*)&$heap_132634)[16]' = &$heap_132640 ((char*)&$heap_132634)[168]' = 1000 ((char*)&$heap_132634)[176]' = &$heap_132637 ((char*)&$heap_132634)[76]' = pvmmydsig ((char*)&$heap_132634)[8]' = &$heap_132639 ((char*)&$heap_132634)[84]' = pvmudpmtu ((char*)&$heap_132634)[88]' = 2 ((char*)&$heap_132634)[104]' = 1 ((char*)&$heap_132634)[108]' = 1 ((char*)&$heap_132634)[112]' = &$heap_132635 ((char*)&$heap_132634)[120]' = &$heap_132638 bytes_after(&$heap_132635)' = 184 $heap_132635' is allocated by malloc bytes_before(&$heap_132635)' = 0 ((char*)&$heap_132635)[16]' = 0 ((char*)&$heap_132635)[176]' = 0 ((char*)&$heap_132635)[24]' = 0 ((char*)&$heap_132635)[32]' = 0 ((char*)&$heap_132635)[40]' = 0 $heap_132636' = &$heap_132636 bytes_after(&$heap_132636)' = 184 $heap_132636' is allocated by malloc bytes_before(&$heap_132636)' = 0 ((char*)&$heap_132636)[176]' = 0 ((char*)&$heap_132636)[32]' = 0 ((char*)&$heap_132636)[40]' = 0 ((char*)&$heap_132636)[8]' = &$heap_132636 bytes_after(&$heap_132637)' = 32 $heap_132637' is allocated by malloc bytes_before(&$heap_132637)' = 0 ((char*)&$heap_132637)[16]' = 0 ((char*)&$heap_132637)[20]' = 0 ((char*)&$heap_132637)[24]' = 0 bytes_after(&$heap_132638)' = 184 $heap_132638' is allocated by malloc bytes_before(&$heap_132638)' = 0 ((char*)&$heap_132638)[176]' = 0 ((char*)&$heap_132638)[32]' = 0 ((char*)&$heap_132638)[40]' = 0 $heap_132639' = *$param_1 bytes_after(&$heap_132639)' = strlen($param_1) + 1 $heap_132639' is allocated by malloc bytes_before(&$heap_132639)' = 0 strlen(&$heap_132639)' = strlen($param_1) $heap_132640' = *myarchname bytes_after(&$heap_132640)' = strlen(myarchname) + 1 $heap_132640' is allocated by malloc bytes_before(&$heap_132640)' = 0 strlen(&$heap_132640)' = strlen(myarchname) $heap_132641' = 0 bytes_after(&$heap_132641)' = 200 $heap_132641' is allocated by malloc $heap_132641' is freed bytes_before(&$heap_132641)' = 0 strlen(&$heap_132641)' = 0 ((char*)&$heap_132641)[136]' = &$heap_132645 ((char*)&$heap_132641)[152]' = 1 ((char*)&$heap_132641)[16]' = &$heap_132647 ((char*)&$heap_132641)[168]' = 1000 ((char*)&$heap_132641)[176]' = &$heap_132644 ((char*)&$heap_132641)[76]' = pvmmydsig ((char*)&$heap_132641)[8]' = &$heap_132646 ((char*)&$heap_132641)[84]' = pvmudpmtu ((char*)&$heap_132641)[88]' = 2 ((char*)&$heap_132641)[104]' = 1 ((char*)&$heap_132641)[108]' = 1 ((char*)&$heap_132641)[112]' = &$heap_132643 ((char*)&$heap_132641)[120]' = &$heap_132642 bytes_after(&$heap_132642)' = 184 $heap_132642' is allocated by malloc bytes_before(&$heap_132642)' = 0 ((char*)&$heap_132642)[176]' = 0 ((char*)&$heap_132642)[32]' = 0 ((char*)&$heap_132642)[40]' = 0 bytes_after(&$heap_132643)' = 184 $heap_132643' is allocated by malloc bytes_before(&$heap_132643)' = 0 ((char*)&$heap_132643)[16]' = 0 ((char*)&$heap_132643)[176]' = 0 ((char*)&$heap_132643)[24]' = 0 ((char*)&$heap_132643)[32]' = 0 ((char*)&$heap_132643)[40]' = 0 bytes_after(&$heap_132644)' = 32 $heap_132644' is allocated by malloc bytes_before(&$heap_132644)' = 0 ((char*)&$heap_132644)[16]' = 0 ((char*)&$heap_132644)[20]' = 0 ((char*)&$heap_132644)[24]' = 0 $heap_132645' = &$heap_132645 bytes_after(&$heap_132645)' = 184 $heap_132645' is allocated by malloc bytes_before(&$heap_132645)' = 0 ((char*)&$heap_132645)[176]' = 0 ((char*)&$heap_132645)[32]' = 0 ((char*)&$heap_132645)[40]' = 0 ((char*)&$heap_132645)[8]' = &$heap_132645 $heap_132646' = 112 bytes_after(&$heap_132646)' = 6 $heap_132646' is allocated by malloc bytes_before(&$heap_132646)' = 0 strlen(&$heap_132646)' = 5 $heap_132647' = *myarchname bytes_after(&$heap_132647)' = strlen(myarchname) + 1 $heap_132647' is allocated by malloc bytes_before(&$heap_132647)' = 0 strlen(&$heap_132647)' = strlen(myarchname) bytes_after(&$heap_132648)' = strlen(((char*)&$unknown_867382)[192]) + 1 $heap_132648' is allocated by malloc $heap_132648' is allocated bytes_before(&$heap_132648)' = 0 strlen(&$heap_132648)' = strlen(((char*)&$unknown_867382)[192]) $heap_132649' = $input_60 bytes_after(&$heap_132649)' = $input_12 + 1 $heap_132649' is allocated by malloc $heap_132649' is a non-heap object bytes_before(&$heap_132649)' = 0 strlen(&$heap_132649)' = $input_12 $heap_132650' = &$unknown_867385 bytes_after(&$heap_132650)' = $input_12 + 1 $heap_132650' is allocated by malloc $heap_132650' is allocated bytes_before(&$heap_132650)' = 0 hn' = $param_1 hosts' = &$heap_132632 hp' = ((char*)&$unknown_867381)[8] hp2' = &$unknown_867382 nel' = 2 p' = 0 s' = &$heap_132649 s' = 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
