pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at ddpro.c:1008
|
|
| 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 | ||||||||||||
&$unknown_363151 >= 3 &$unknown_363154 >= 1 &$unknown_363160 <= &$unknown_363151 - 1 &$unknown_363160 >= 2 hosts->ht_last >= 2 ((char*)&$unknown_363157)[116] != 0 ((char*)&$unknown_363163)[48] = 0 busyadding = 0 filehosts = 0 $heap_43987 != 0 strlen(&$heap_43987) != 0 lasthh = 1 $input_12 >= 0 $input_8476 >= 0 $input_8500 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
__x' = 2130706433 ((char*)&$unknown_363157)[48]' = -28 ((char*)&$unknown_363157)[60]' = $input_8508 atnewline' = 1 buf' = &$heap_43987 busyadding' = 1 count' = &$unknown_363151 he' = &$heap_43990 bytes_after(&$heap_43979)' = 48 $heap_43979' is allocated by malloc $heap_43979' is allocated bytes_before(&$heap_43979)' = 0 ((char*)&$heap_43979)[16]' = 0 ((char*)&$heap_43979)[36]' = 0 ((char*)&$heap_43979)[40]' = 0 ((char*)&$heap_43979)[44]' = &$heap_43980 ((char*)&$heap_43979)[12]' = 3 $heap_43980' = &$unknown_363151 bytes_after(&$heap_43980)' = 8 $heap_43980' is allocated by malloc $heap_43980' is allocated bytes_before(&$heap_43980)' = 0 ((char*)&$heap_43980)[4]' = &$heap_43981 $heap_43981' = 0 bytes_after(&$heap_43981)' = 4 * &$unknown_363151 $heap_43981' is allocated by malloc $heap_43981' is allocated bytes_before(&$heap_43981)' = 0 $heap_43983' = &$heap_43983 bytes_after(&$heap_43983)' = 120 $heap_43983' is allocated by malloc $heap_43983' is allocated bytes_before(&$heap_43983)' = 0 ((char*)&$heap_43983)[16]' = 0 ((char*)&$heap_43983)[20]' = 0 ((char*)&$heap_43983)[4]' = &$heap_43983 ((char*)&$heap_43983)[8]' = 0 ((char*)&$heap_43983)[116]' = 0 ((char*)&$heap_43983)[12]' = 0 $heap_43984' = &$heap_43984 bytes_after(&$heap_43984)' = 120 $heap_43984' is allocated by malloc $heap_43984' is allocated bytes_before(&$heap_43984)' = 0 ((char*)&$heap_43984)[16]' = 0 ((char*)&$heap_43984)[20]' = 0 ((char*)&$heap_43984)[4]' = &$heap_43984 ((char*)&$heap_43984)[8]' = 0 ((char*)&$heap_43984)[116]' = 0 ((char*)&$heap_43984)[12]' = 0 bytes_after(&$heap_43985)' = 120 $heap_43985' is allocated by malloc $heap_43985' is allocated bytes_before(&$heap_43985)' = 0 ((char*)&$heap_43985)[16]' = 0 ((char*)&$heap_43985)[20]' = 0 ((char*)&$heap_43985)[8]' = 0 ((char*)&$heap_43985)[116]' = 0 ((char*)&$heap_43985)[12]' = 0 $heap_43986' = 1 bytes_after(&$heap_43986)' = 124 $heap_43986' is allocated by malloc bytes_before(&$heap_43986)' = 0 ((char*)&$heap_43986)[56]' = 2 ((char*)&$heap_43986)[72]' = 1 ((char*)&$heap_43986)[76]' = 1 ((char*)&$heap_43986)[80]' = &$heap_43983 ((char*)&$heap_43986)[84]' = &$heap_43984 ((char*)&$heap_43986)[92]' = &$heap_43985 ((char*)&$heap_43986)[100]' = 1 ((char*)&$heap_43986)[112]' = 0 bytes_after(&$heap_43987)' = &$unknown_363154 $heap_43987' is allocated by malloc $heap_43987' is freed bytes_before(&$heap_43987)' = 0 $heap_43988' = &$heap_43989 $heap_43988' is a non-heap object bytes_before(&$heap_43988)' = 0 $heap_43989' = $input_8484 bytes_after(&$heap_43989)' = $input_8476 + 1 $heap_43989' is allocated by malloc $heap_43989' is a non-heap object bytes_before(&$heap_43989)' = 0 strlen(&$heap_43989)' = $input_8476 $heap_43990' = &$heap_43991 bytes_after(&$heap_43990)' = 1024 $heap_43990' is a non-heap object bytes_before(&$heap_43990)' = 0 ((char*)&$heap_43990)[16]' = &$heap_43993 ((char*)&$heap_43990)[4]' = &$heap_43988 $heap_43991' = $input_444 bytes_after(&$heap_43991)' = $input_12 + 1 $heap_43991' is allocated by malloc $heap_43991' is a non-heap object bytes_before(&$heap_43991)' = 0 strlen(&$heap_43991)' = $input_12 $heap_43992' = $input_8508 bytes_after(&$heap_43992)' = $input_8500 + 1 $heap_43992' is allocated by malloc $heap_43992' is a non-heap object bytes_before(&$heap_43992)' = 0 strlen(&$heap_43992)' = $input_8500 $heap_43993' = &$heap_43992 $heap_43993' is a non-heap object bytes_before(&$heap_43993)' = 0 hh' = 0 hp' = &$unknown_363163 hp2' = 0 i' = &$unknown_363151 - 2 last_rv' = &$heap_43990 lasthh' = 1 maxhostid' >= 3 maxhostid' >= &$unknown_363151 ngood' = 0 ntid' = 0 tids' = 0 tmbuf.tm_sec' = &$unknown_363162 wp' = &$heap_43979 wxp' = &$heap_43980 |
||||||||||||
