Pvm : Pvm analysis 1 : Null Pointer Dereference at pvmd.c:5354
|
|
|||||||||||||||||||||||||||||
| 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 &$unknown_873866 = 0 $input_12 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
argc' = $param_2 argv' = $param_3 atnewline' = 1 errno' != 0 filehosts' = 0 $heap_146270' = $input_60 bytes_after(&$heap_146270)' = $input_12 + 1 $heap_146270' is allocated by malloc $heap_146270' is a non-heap object bytes_before(&$heap_146270)' = 0 strlen(&$heap_146270)' = $input_12 $heap_146271' = 1 bytes_after(&$heap_146271)' = 40 $heap_146271' is allocated by malloc $heap_146271' is allocated bytes_before(&$heap_146271)' = 0 strlen(&$heap_146271)' = 0 ((char*)&$heap_146271)[16]' = 1 ((char*)&$heap_146271)[20]' = 1 ((char*)&$heap_146271)[32]' = &$heap_146272 ((char*)&$heap_146271)[4]' = 1 ((char*)&$heap_146271)[12]' = 1 $heap_146272' = 0 bytes_after(&$heap_146272)' = 16 $heap_146272' is allocated by malloc $heap_146272' is allocated bytes_before(&$heap_146272)' = 0 strlen(&$heap_146272)' = 0 hn' = $param_1 hosts' = &$heap_146271 hp' = 0 s' = &$heap_146270 tmbuf.tm_sec' = &$unknown_873865 |
||||||||||||
