pvm3.4.6 : pvm3.4.6 analysis 2 : 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
argc >= 3 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ac' = 6 argc' = 6 atnewline' = 1 bad' = 0 errno' != 0 $heap_174167' = 0 bytes_after(&$heap_174167)' = 8 $heap_174167' is allocated by malloc $heap_174167' is allocated bytes_before(&$heap_174167)' = 0 $heap_174168' = 1 bytes_after(&$heap_174168)' = 32 $heap_174168' is allocated by malloc $heap_174168' is allocated bytes_before(&$heap_174168)' = 0 ((char*)&$heap_174168)[16]' = $input_12 ((char*)&$heap_174168)[20]' = $input_107020 ((char*)&$heap_174168)[28]' = &$heap_174167 ((char*)&$heap_174168)[4]' = 1 ((char*)&$heap_174168)[12]' = $input_12 bytes_after(&$heap_174169)' = 120 $heap_174169' is allocated by malloc $heap_174169' is allocated bytes_before(&$heap_174169)' = 0 ((char*)&$heap_174169)[16]' = 0 ((char*)&$heap_174169)[20]' = 0 ((char*)&$heap_174169)[8]' = 0 ((char*)&$heap_174169)[116]' = 0 ((char*)&$heap_174169)[12]' = 0 $heap_174170' = &$heap_174170 bytes_after(&$heap_174170)' = 120 $heap_174170' is allocated by malloc $heap_174170' is allocated bytes_before(&$heap_174170)' = 0 ((char*)&$heap_174170)[16]' = 0 ((char*)&$heap_174170)[20]' = 0 ((char*)&$heap_174170)[4]' = &$heap_174170 ((char*)&$heap_174170)[8]' = 0 ((char*)&$heap_174170)[116]' = 0 ((char*)&$heap_174170)[12]' = 0 $heap_174171' = &$heap_174171 bytes_after(&$heap_174171)' = 120 $heap_174171' is allocated by malloc $heap_174171' is allocated bytes_before(&$heap_174171)' = 0 ((char*)&$heap_174171)[16]' = 0 ((char*)&$heap_174171)[20]' = 0 ((char*)&$heap_174171)[4]' = &$heap_174171 ((char*)&$heap_174171)[8]' = 0 ((char*)&$heap_174171)[116]' = 0 ((char*)&$heap_174171)[12]' = 0 $heap_174172' = 1 bytes_after(&$heap_174172)' = 124 $heap_174172' is allocated by malloc $heap_174172' is allocated bytes_before(&$heap_174172)' = 0 ((char*)&$heap_174172)[56]' = 2 ((char*)&$heap_174172)[72]' = 1 ((char*)&$heap_174172)[76]' = 1 ((char*)&$heap_174172)[80]' = &$heap_174171 ((char*)&$heap_174172)[84]' = &$heap_174170 ((char*)&$heap_174172)[92]' = &$heap_174169 ((char*)&$heap_174172)[100]' = 1 ((char*)&$heap_174172)[108]' = 1000 ((char*)&$heap_174172)[112]' = &$heap_174173 bytes_after(&$heap_174173)' = 20 $heap_174173' is allocated by malloc $heap_174173' is allocated bytes_before(&$heap_174173)' = 0 ((char*)&$heap_174173)[16]' = 0 ((char*)&$heap_174173)[8]' = 0 ((char*)&$heap_174173)[12]' = 0 hosts' = &$heap_174168 hp' = &$heap_174172 i' = argc lh' = $input_107020 mh' = $input_12 tmbuf.tm_sec' = &$unknown_733644 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
