Pvm : Pvm analysis 1 : Null Pointer Dereference at pvmd.c:5515
|
|
|||||||||||||||||||||||||||||
| 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_88636)[8] >= 0 ((char*)&$heap_88637)[144] >= 0 ((char*)&$heap_88637)[16] >= 0 |
||||||||||||
| Postconditions | ||||||||||||
ac' = 6 argc' = 6 argv' = $param_3 atnewline' = 0 bad' = 0 $heap_88636' = 1 bytes_after(&$heap_88636)' = 40 $heap_88636' is allocated by malloc $heap_88636' is allocated bytes_before(&$heap_88636)' = 0 strlen(&$heap_88636)' = 0 ((char*)&$heap_88636)[16]' = $input_12 ((char*)&$heap_88636)[20]' = $input_27468 ((char*)&$heap_88636)[12]' = $input_12 $heap_88637' = 0 bytes_after(&$heap_88637)' = 200 $heap_88637' is allocated by malloc $heap_88637' is freed bytes_before(&$heap_88637)' = 0 strlen(&$heap_88637)' = 0 ((char*)&$heap_88637)[136]' = &$heap_88640 ((char*)&$heap_88637)[152]' = 1 ((char*)&$heap_88637)[168]' = 1000 ((char*)&$heap_88637)[176]' = 0 ((char*)&$heap_88637)[8]' = &$heap_88641 ((char*)&$heap_88637)[84]' = $input_27476 ((char*)&$heap_88637)[88]' = 2 ((char*)&$heap_88637)[104]' = 1 ((char*)&$heap_88637)[108]' = 1 ((char*)&$heap_88637)[112]' = &$heap_88638 ((char*)&$heap_88637)[120]' = &$heap_88639 bytes_after(&$heap_88638)' = 184 $heap_88638' is allocated by malloc bytes_before(&$heap_88638)' = 0 ((char*)&$heap_88638)[16]' = 0 ((char*)&$heap_88638)[176]' = 0 ((char*)&$heap_88638)[24]' = 0 ((char*)&$heap_88638)[32]' = 0 ((char*)&$heap_88638)[40]' = 0 bytes_after(&$heap_88639)' = 184 $heap_88639' is allocated by malloc bytes_before(&$heap_88639)' = 0 ((char*)&$heap_88639)[176]' = 0 ((char*)&$heap_88639)[32]' = 0 ((char*)&$heap_88639)[40]' = 0 bytes_after(&$heap_88640)' = 184 $heap_88640' is allocated by malloc bytes_before(&$heap_88640)' = 0 $heap_88641' = 63 bytes_after(&$heap_88641)' = 2 $heap_88641' is allocated by malloc bytes_before(&$heap_88641)' = 0 strlen(&$heap_88641)' = 1 $heap_88642' = 1 bytes_after(&$heap_88642)' = 200 $heap_88642' is allocated by malloc $heap_88642' is allocated bytes_before(&$heap_88642)' = 0 strlen(&$heap_88642)' = 0 ((char*)&$heap_88642)[136]' = &$heap_88643 ((char*)&$heap_88642)[152]' = 1 ((char*)&$heap_88642)[168]' = 1000 ((char*)&$heap_88642)[176]' = 0 ((char*)&$heap_88642)[8]' = &$heap_88646 ((char*)&$heap_88642)[88]' = 2 ((char*)&$heap_88642)[104]' = 1 ((char*)&$heap_88642)[108]' = 1 ((char*)&$heap_88642)[112]' = &$heap_88645 ((char*)&$heap_88642)[120]' = &$heap_88644 $heap_88643' = &$heap_88643 bytes_after(&$heap_88643)' = 184 $heap_88643' is allocated by malloc $heap_88643' is allocated bytes_before(&$heap_88643)' = 0 ((char*)&$heap_88643)[16]' = 0 ((char*)&$heap_88643)[176]' = 0 ((char*)&$heap_88643)[24]' = 0 ((char*)&$heap_88643)[32]' = 0 ((char*)&$heap_88643)[40]' = 0 ((char*)&$heap_88643)[8]' = &$heap_88643 bytes_after(&$heap_88644)' = 184 $heap_88644' is allocated by malloc $heap_88644' is allocated bytes_before(&$heap_88644)' = 0 ((char*)&$heap_88644)[16]' = 0 ((char*)&$heap_88644)[176]' = 0 ((char*)&$heap_88644)[24]' = 0 ((char*)&$heap_88644)[32]' = 0 ((char*)&$heap_88644)[40]' = 0 bytes_after(&$heap_88645)' = 184 $heap_88645' is allocated by malloc $heap_88645' is allocated bytes_before(&$heap_88645)' = 0 ((char*)&$heap_88645)[16]' = 0 ((char*)&$heap_88645)[176]' = 0 ((char*)&$heap_88645)[24]' = 0 ((char*)&$heap_88645)[32]' = 0 ((char*)&$heap_88645)[40]' = 0 $heap_88646' = 112 bytes_after(&$heap_88646)' = 6 $heap_88646' is allocated by malloc $heap_88646' is allocated bytes_before(&$heap_88646)' = 0 strlen(&$heap_88646)' = 5 hn' = $param_1 hosts' = &$heap_88636 hp' = &$heap_88642 i' = $param_2 lh' = $input_27468 mh' = $input_12 tmbuf.tm_sec' = &$unknown_812270 |
||||||||||||
