Pvm : Pvm analysis 1 : Null Pointer Dereference at pvmd.c:5507
|
|
|||||||||||||||||||||||||||||
| 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 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ac' = 6 argc' = 6 argv' = $param_3 atnewline' = 1 bad' = 0 errno' != 0 $heap_93386' = 0 bytes_after(&$heap_93386)' = 16 $heap_93386' is allocated by malloc $heap_93386' is allocated bytes_before(&$heap_93386)' = 0 strlen(&$heap_93386)' = 0 $heap_93387' = 1 bytes_after(&$heap_93387)' = 40 $heap_93387' is allocated by malloc $heap_93387' is allocated bytes_before(&$heap_93387)' = 0 strlen(&$heap_93387)' = 0 ((char*)&$heap_93387)[16]' = $input_12 ((char*)&$heap_93387)[20]' = $input_32828 ((char*)&$heap_93387)[32]' = &$heap_93386 ((char*)&$heap_93387)[4]' = 1 ((char*)&$heap_93387)[12]' = $input_12 $heap_93388' = 1 bytes_after(&$heap_93388)' = 200 $heap_93388' is allocated by malloc $heap_93388' is allocated bytes_before(&$heap_93388)' = 0 strlen(&$heap_93388)' = 0 ((char*)&$heap_93388)[136]' = &$heap_93392 ((char*)&$heap_93388)[152]' = 1 ((char*)&$heap_93388)[168]' = 1000 ((char*)&$heap_93388)[176]' = &$heap_93389 ((char*)&$heap_93388)[88]' = 2 ((char*)&$heap_93388)[104]' = 1 ((char*)&$heap_93388)[108]' = 1 ((char*)&$heap_93388)[112]' = &$heap_93390 ((char*)&$heap_93388)[120]' = &$heap_93391 $heap_93389' = &$heap_93389 bytes_after(&$heap_93389)' = 32 $heap_93389' is allocated by malloc $heap_93389' is allocated bytes_before(&$heap_93389)' = 0 ((char*)&$heap_93389)[16]' = 0 ((char*)&$heap_93389)[20]' = 0 ((char*)&$heap_93389)[24]' = 0 ((char*)&$heap_93389)[8]' = &$heap_93389 bytes_after(&$heap_93390)' = 184 $heap_93390' is allocated by malloc $heap_93390' is allocated bytes_before(&$heap_93390)' = 0 ((char*)&$heap_93390)[16]' = 0 ((char*)&$heap_93390)[176]' = 0 ((char*)&$heap_93390)[24]' = 0 ((char*)&$heap_93390)[32]' = 0 ((char*)&$heap_93390)[40]' = 0 bytes_after(&$heap_93391)' = 184 $heap_93391' is allocated by malloc $heap_93391' is allocated bytes_before(&$heap_93391)' = 0 ((char*)&$heap_93391)[16]' = 0 ((char*)&$heap_93391)[176]' = 0 ((char*)&$heap_93391)[24]' = 0 ((char*)&$heap_93391)[32]' = 0 ((char*)&$heap_93391)[40]' = 0 $heap_93392' = &$heap_93392 bytes_after(&$heap_93392)' = 184 $heap_93392' is allocated by malloc $heap_93392' is allocated bytes_before(&$heap_93392)' = 0 ((char*)&$heap_93392)[16]' = 0 ((char*)&$heap_93392)[176]' = 0 ((char*)&$heap_93392)[24]' = 0 ((char*)&$heap_93392)[32]' = 0 ((char*)&$heap_93392)[40]' = 0 ((char*)&$heap_93392)[8]' = &$heap_93392 hn' = $param_1 hosts' = &$heap_93387 hp' = &$heap_93388 i' = $param_2 lh' = $input_32828 mh' = $input_12 tmbuf.tm_sec' = &$unknown_813644 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
