pvm3.4.6 : pvm3.4.6 analysis 2 : Uninitialized Variable 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_365093 >= 3 &$unknown_365096 >= 1 &$unknown_365103 >= 1 hosts->ht_last >= 2 ((char*)&$unknown_365099)[116] != 0 ((char*)&$unknown_365105)[48] = 0 busyadding = 0 filehosts = 0 $heap_45990 != 0 strlen(&$heap_45990) != 0 $input_12 >= 0 $input_8476 >= 0 $input_8500 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
__x' = 2130706433 atnewline' = 1 buf' = &$heap_45990 busyadding' = 1 count' = &$unknown_365093 he' = &$heap_45993 bytes_after(&$heap_45982)' = 48 $heap_45982' is allocated by malloc $heap_45982' is allocated bytes_before(&$heap_45982)' = 0 ((char*)&$heap_45982)[16]' = 0 ((char*)&$heap_45982)[36]' = 0 ((char*)&$heap_45982)[40]' = 0 ((char*)&$heap_45982)[44]' = &$heap_45983 ((char*)&$heap_45982)[12]' = 3 $heap_45983' = &$unknown_365093 bytes_after(&$heap_45983)' = 8 $heap_45983' is allocated by malloc $heap_45983' is allocated bytes_before(&$heap_45983)' = 0 ((char*)&$heap_45983)[4]' = &$heap_45984 $heap_45984' = 0 bytes_after(&$heap_45984)' = 4 * &$unknown_365093 $heap_45984' is allocated by malloc $heap_45984' is allocated bytes_before(&$heap_45984)' = 0 $heap_45986' = &$heap_45986 bytes_after(&$heap_45986)' = 120 $heap_45986' is allocated by malloc $heap_45986' is allocated bytes_before(&$heap_45986)' = 0 ((char*)&$heap_45986)[16]' = 0 ((char*)&$heap_45986)[20]' = 0 ((char*)&$heap_45986)[4]' = &$heap_45986 ((char*)&$heap_45986)[8]' = 0 ((char*)&$heap_45986)[116]' = 0 ((char*)&$heap_45986)[12]' = 0 $heap_45987' = &$heap_45987 bytes_after(&$heap_45987)' = 120 $heap_45987' is allocated by malloc $heap_45987' is allocated bytes_before(&$heap_45987)' = 0 ((char*)&$heap_45987)[16]' = 0 ((char*)&$heap_45987)[20]' = 0 ((char*)&$heap_45987)[4]' = &$heap_45987 ((char*)&$heap_45987)[8]' = 0 ((char*)&$heap_45987)[116]' = 0 ((char*)&$heap_45987)[12]' = 0 bytes_after(&$heap_45988)' = 120 $heap_45988' is allocated by malloc $heap_45988' is allocated bytes_before(&$heap_45988)' = 0 ((char*)&$heap_45988)[16]' = 0 ((char*)&$heap_45988)[20]' = 0 ((char*)&$heap_45988)[8]' = 0 ((char*)&$heap_45988)[116]' = 0 ((char*)&$heap_45988)[12]' = 0 $heap_45989' = 1 bytes_after(&$heap_45989)' = 124 $heap_45989' is allocated by malloc bytes_before(&$heap_45989)' = 0 ((char*)&$heap_45989)[56]' = 2 ((char*)&$heap_45989)[72]' = 1 ((char*)&$heap_45989)[76]' = 1 ((char*)&$heap_45989)[80]' = &$heap_45986 ((char*)&$heap_45989)[84]' = &$heap_45987 ((char*)&$heap_45989)[92]' = &$heap_45988 ((char*)&$heap_45989)[100]' = 1 ((char*)&$heap_45989)[112]' = 0 bytes_after(&$heap_45990)' = &$unknown_365096 $heap_45990' is allocated by malloc $heap_45990' is freed bytes_before(&$heap_45990)' = 0 $heap_45991' = &$heap_45992 $heap_45991' is a non-heap object bytes_before(&$heap_45991)' = 0 $heap_45992' = $input_8484 bytes_after(&$heap_45992)' = $input_8476 + 1 $heap_45992' is allocated by malloc $heap_45992' is a non-heap object bytes_before(&$heap_45992)' = 0 strlen(&$heap_45992)' = $input_8476 $heap_45993' = &$heap_45994 bytes_after(&$heap_45993)' = 1024 $heap_45993' is a non-heap object bytes_before(&$heap_45993)' = 0 ((char*)&$heap_45993)[16]' = &$heap_45996 ((char*)&$heap_45993)[4]' = &$heap_45991 $heap_45994' = $input_444 bytes_after(&$heap_45994)' = $input_12 + 1 $heap_45994' is allocated by malloc $heap_45994' is a non-heap object bytes_before(&$heap_45994)' = 0 strlen(&$heap_45994)' = $input_12 $heap_45995' = $input_8508 bytes_after(&$heap_45995)' = $input_8500 + 1 $heap_45995' is allocated by malloc $heap_45995' is a non-heap object bytes_before(&$heap_45995)' = 0 strlen(&$heap_45995)' = $input_8500 $heap_45996' = &$heap_45995 $heap_45996' is a non-heap object bytes_before(&$heap_45996)' = 0 bytes_after(&$heap_45997)' = 4 * &$unknown_365103 $heap_45997' is allocated by malloc $heap_45997' is allocated bytes_before(&$heap_45997)' = 0 hh' = 0 hp' = &$unknown_365105 hp2' = 0 i' = &$unknown_365093 - 2 last_rv' = &$heap_45993 maxhostid' >= 3 maxhostid' >= &$unknown_365093 ngood' = 0 ntid' = 0 tids' = &$heap_45997 tmbuf.tm_sec' = &$unknown_365104 wp' = &$heap_45982 wxp' = &$heap_45983 |
||||||||||||
