Pvm : Pvm analysis 1 : Null Pointer Dereference at pvmd.c:5514
|
|
|||||||||||||||||||||||||||||
| 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_91652)[8] >= 0 ((char*)&$heap_91653)[144] >= 0 ((char*)&$heap_91653)[16] >= 0 |
||||||||||||
| Postconditions | ||||||||||||
ac' = 6 argc' = 6 argv' = $param_3 atnewline' = 0 bad' = 0 $heap_91652' = 1 bytes_after(&$heap_91652)' = 40 $heap_91652' is allocated by malloc $heap_91652' is allocated bytes_before(&$heap_91652)' = 0 strlen(&$heap_91652)' = 0 ((char*)&$heap_91652)[16]' = $input_12 ((char*)&$heap_91652)[20]' = $input_30364 ((char*)&$heap_91652)[12]' = $input_12 $heap_91653' = 0 bytes_after(&$heap_91653)' = 200 $heap_91653' is allocated by malloc $heap_91653' is freed bytes_before(&$heap_91653)' = 0 strlen(&$heap_91653)' = 0 ((char*)&$heap_91653)[136]' = &$heap_91656 ((char*)&$heap_91653)[152]' = 1 ((char*)&$heap_91653)[168]' = 1000 ((char*)&$heap_91653)[176]' = 0 ((char*)&$heap_91653)[8]' = &$heap_91657 ((char*)&$heap_91653)[84]' = $input_30372 ((char*)&$heap_91653)[88]' = 2 ((char*)&$heap_91653)[104]' = 1 ((char*)&$heap_91653)[108]' = 1 ((char*)&$heap_91653)[112]' = &$heap_91654 ((char*)&$heap_91653)[120]' = &$heap_91655 bytes_after(&$heap_91654)' = 184 $heap_91654' is allocated by malloc bytes_before(&$heap_91654)' = 0 ((char*)&$heap_91654)[16]' = 0 ((char*)&$heap_91654)[176]' = 0 ((char*)&$heap_91654)[24]' = 0 ((char*)&$heap_91654)[32]' = 0 ((char*)&$heap_91654)[40]' = 0 bytes_after(&$heap_91655)' = 184 $heap_91655' is allocated by malloc bytes_before(&$heap_91655)' = 0 ((char*)&$heap_91655)[176]' = 0 ((char*)&$heap_91655)[32]' = 0 ((char*)&$heap_91655)[40]' = 0 bytes_after(&$heap_91656)' = 184 $heap_91656' is allocated by malloc bytes_before(&$heap_91656)' = 0 ((char*)&$heap_91656)[176]' = 0 ((char*)&$heap_91656)[32]' = 0 ((char*)&$heap_91656)[40]' = 0 $heap_91657' = 63 bytes_after(&$heap_91657)' = 2 $heap_91657' is allocated by malloc bytes_before(&$heap_91657)' = 0 strlen(&$heap_91657)' = 1 $heap_91658' = 1 bytes_after(&$heap_91658)' = 200 $heap_91658' is allocated by malloc $heap_91658' is allocated bytes_before(&$heap_91658)' = 0 strlen(&$heap_91658)' = 0 ((char*)&$heap_91658)[136]' = &$heap_91659 ((char*)&$heap_91658)[152]' = 1 ((char*)&$heap_91658)[168]' = 1000 ((char*)&$heap_91658)[176]' = &$heap_91660 ((char*)&$heap_91658)[88]' = 2 ((char*)&$heap_91658)[104]' = 1 ((char*)&$heap_91658)[108]' = 1 ((char*)&$heap_91658)[112]' = &$heap_91662 ((char*)&$heap_91658)[120]' = &$heap_91661 bytes_after(&$heap_91659)' = 184 $heap_91659' is allocated by malloc $heap_91659' is allocated bytes_before(&$heap_91659)' = 0 ((char*)&$heap_91659)[16]' = 0 ((char*)&$heap_91659)[176]' = 0 ((char*)&$heap_91659)[24]' = 0 ((char*)&$heap_91659)[32]' = 0 ((char*)&$heap_91659)[40]' = 0 $heap_91660' = &$heap_91660 bytes_after(&$heap_91660)' = 32 $heap_91660' is allocated by malloc $heap_91660' is allocated bytes_before(&$heap_91660)' = 0 ((char*)&$heap_91660)[16]' = 0 ((char*)&$heap_91660)[20]' = 0 ((char*)&$heap_91660)[24]' = 0 ((char*)&$heap_91660)[8]' = &$heap_91660 bytes_after(&$heap_91661)' = 184 $heap_91661' is allocated by malloc $heap_91661' is allocated bytes_before(&$heap_91661)' = 0 ((char*)&$heap_91661)[16]' = 0 ((char*)&$heap_91661)[176]' = 0 ((char*)&$heap_91661)[24]' = 0 ((char*)&$heap_91661)[32]' = 0 ((char*)&$heap_91661)[40]' = 0 bytes_after(&$heap_91662)' = 184 $heap_91662' is allocated by malloc $heap_91662' is allocated bytes_before(&$heap_91662)' = 0 ((char*)&$heap_91662)[16]' = 0 ((char*)&$heap_91662)[176]' = 0 ((char*)&$heap_91662)[24]' = 0 ((char*)&$heap_91662)[32]' = 0 ((char*)&$heap_91662)[40]' = 0 hn' = $param_1 hosts' = &$heap_91652 hp' = &$heap_91658 i' = $param_2 lh' = $input_30364 mh' = $input_12 tmbuf.tm_sec' = &$unknown_812922 |
||||||||||||
