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_90272)[8] >= -1 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ac' = 6 argc' = 6 argv' = $param_3 atnewline' = 1 bad' = 0 $heap_90272' = 1 bytes_after(&$heap_90272)' = 40 $heap_90272' is allocated by malloc $heap_90272' is allocated bytes_before(&$heap_90272)' = 0 strlen(&$heap_90272)' = 0 ((char*)&$heap_90272)[16]' = $input_12 ((char*)&$heap_90272)[20]' = $input_29292 ((char*)&$heap_90272)[24]' = 0 ((char*)&$heap_90272)[8]' = ((char*)&$heap_90272)[8] + 1 ((char*)&$heap_90272)[12]' = $input_12 $heap_90273' = 1 bytes_after(&$heap_90273)' = 200 $heap_90273' is allocated by malloc bytes_before(&$heap_90273)' = 0 strlen(&$heap_90273)' = 0 ((char*)&$heap_90273)[136]' = &$heap_90277 ((char*)&$heap_90273)[152]' = 1 ((char*)&$heap_90273)[168]' = 1000 ((char*)&$heap_90273)[176]' = &$heap_90274 ((char*)&$heap_90273)[8]' = &$heap_90278 ((char*)&$heap_90273)[84]' = $input_29300 ((char*)&$heap_90273)[88]' = 2 ((char*)&$heap_90273)[104]' = 1 ((char*)&$heap_90273)[108]' = 1 ((char*)&$heap_90273)[112]' = &$heap_90275 ((char*)&$heap_90273)[120]' = &$heap_90276 $heap_90274' = &$heap_90274 bytes_after(&$heap_90274)' = 32 $heap_90274' is allocated by malloc $heap_90274' is allocated bytes_before(&$heap_90274)' = 0 ((char*)&$heap_90274)[16]' = 0 ((char*)&$heap_90274)[20]' = 0 ((char*)&$heap_90274)[24]' = 0 ((char*)&$heap_90274)[8]' = &$heap_90274 bytes_after(&$heap_90275)' = 184 $heap_90275' is allocated by malloc $heap_90275' is allocated bytes_before(&$heap_90275)' = 0 ((char*)&$heap_90275)[16]' = 0 ((char*)&$heap_90275)[176]' = 0 ((char*)&$heap_90275)[24]' = 0 ((char*)&$heap_90275)[32]' = 0 ((char*)&$heap_90275)[40]' = 0 bytes_after(&$heap_90276)' = 184 $heap_90276' is allocated by malloc $heap_90276' is allocated bytes_before(&$heap_90276)' = 0 ((char*)&$heap_90276)[16]' = 0 ((char*)&$heap_90276)[176]' = 0 ((char*)&$heap_90276)[24]' = 0 ((char*)&$heap_90276)[32]' = 0 ((char*)&$heap_90276)[40]' = 0 $heap_90277' = &$heap_90277 bytes_after(&$heap_90277)' = 184 $heap_90277' is allocated by malloc $heap_90277' is allocated bytes_before(&$heap_90277)' = 0 ((char*)&$heap_90277)[16]' = 0 ((char*)&$heap_90277)[176]' = 0 ((char*)&$heap_90277)[24]' = 0 ((char*)&$heap_90277)[32]' = 0 ((char*)&$heap_90277)[40]' = 0 ((char*)&$heap_90277)[8]' = &$heap_90277 $heap_90278' = 63 bytes_after(&$heap_90278)' = 2 $heap_90278' is allocated by malloc $heap_90278' is allocated bytes_before(&$heap_90278)' = 0 strlen(&$heap_90278)' = 1 $heap_90279' = 112 bytes_after(&$heap_90279)' = 6 $heap_90279' is allocated by malloc $heap_90279' is allocated bytes_before(&$heap_90279)' = 0 strlen(&$heap_90279)' = 5 hn' = $param_1 hosts' = &$heap_90272 hp' = 0 i' = $param_2 lh' = $input_29292 mh' = $input_12 tmbuf.tm_sec' = &$unknown_812533 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
