Pvm : Pvm analysis 1 : Null Pointer Dereference at pvmd.c:5362
|
|
|||||||||||||||||||||||||||||
| 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 <= 1 ((char*)&$heap_143837)[8] >= 0 ((char*)&$heap_143839)[144] >= 0 ((char*)&$heap_143839)[32] != 0 $input_12 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
((char*)$heap_143839)[32]' is freed argc' = $param_2 argv' = $param_3 atnewline' = 1 filehosts' = 0 $heap_143836' = $input_60 bytes_after(&$heap_143836)' = $input_12 + 1 $heap_143836' is allocated by malloc $heap_143836' is a non-heap object bytes_before(&$heap_143836)' = 0 strlen(&$heap_143836)' = $input_12 $heap_143837' = 1 bytes_after(&$heap_143837)' = 40 $heap_143837' is allocated by malloc $heap_143837' is allocated bytes_before(&$heap_143837)' = 0 strlen(&$heap_143837)' = 0 ((char*)&$heap_143837)[16]' = 1 ((char*)&$heap_143837)[20]' = 1 ((char*)&$heap_143837)[12]' = 1 $heap_143839' = 0 bytes_after(&$heap_143839)' = 200 $heap_143839' is allocated by malloc $heap_143839' is freed bytes_before(&$heap_143839)' = 0 strlen(&$heap_143839)' = 0 ((char*)&$heap_143839)[136]' = &$heap_143841 ((char*)&$heap_143839)[152]' = 1 ((char*)&$heap_143839)[16]' = &$heap_143845 ((char*)&$heap_143839)[168]' = 1000 ((char*)&$heap_143839)[176]' = &$heap_143842 ((char*)&$heap_143839)[76]' = pvmmydsig ((char*)&$heap_143839)[8]' = &$heap_143844 ((char*)&$heap_143839)[84]' = pvmudpmtu ((char*)&$heap_143839)[88]' = 2 ((char*)&$heap_143839)[104]' = 1 ((char*)&$heap_143839)[108]' = 1 ((char*)&$heap_143839)[112]' = &$heap_143840 ((char*)&$heap_143839)[120]' = &$heap_143843 bytes_after(&$heap_143840)' = 184 $heap_143840' is allocated by malloc bytes_before(&$heap_143840)' = 0 ((char*)&$heap_143840)[16]' = 0 ((char*)&$heap_143840)[176]' = 0 ((char*)&$heap_143840)[24]' = 0 ((char*)&$heap_143840)[32]' = 0 ((char*)&$heap_143840)[40]' = 0 bytes_after(&$heap_143841)' = 184 $heap_143841' is allocated by malloc bytes_before(&$heap_143841)' = 0 bytes_after(&$heap_143842)' = 32 $heap_143842' is allocated by malloc bytes_before(&$heap_143842)' = 0 ((char*)&$heap_143842)[16]' = 0 ((char*)&$heap_143842)[20]' = 0 ((char*)&$heap_143842)[24]' = 0 bytes_after(&$heap_143843)' = 184 $heap_143843' is allocated by malloc bytes_before(&$heap_143843)' = 0 ((char*)&$heap_143843)[176]' = 0 ((char*)&$heap_143843)[32]' = 0 ((char*)&$heap_143843)[40]' = 0 $heap_143844' = *$param_1 bytes_after(&$heap_143844)' = strlen($param_1) + 1 $heap_143844' is allocated by malloc bytes_before(&$heap_143844)' = 0 strlen(&$heap_143844)' = strlen($param_1) $heap_143845' = *myarchname bytes_after(&$heap_143845)' = strlen(myarchname) + 1 $heap_143845' is allocated by malloc bytes_before(&$heap_143845)' = 0 strlen(&$heap_143845)' = strlen(myarchname) hn' = $param_1 hosts' = &$heap_143837 hp' = 0 s' = &$heap_143836 tmbuf.tm_sec' = &$unknown_872933 |
||||||||||||
