pvm3.4.6 : pvm3.4.6 analysis 2 : Free Null Pointer at ddpro.c:1012
|
|
| 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_361173 >= 3 &$unknown_361176 >= 1 &$unknown_361182 <= &$unknown_361173 - 1 &$unknown_361182 >= 2 hosts->ht_last >= 2 ((char*)&$unknown_361179)[116] != 0 busyadding = 0 filehosts = 0 $heap_42191 != 0 strlen(&$heap_42191) != 0 lasthh = 1 $input_12 >= 0 $input_8476 >= 0 $input_8500 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
__x' = 2130706433 ((char*)&$unknown_361185)[48]' = -27 atnewline' = 1 buf' = &$heap_42191 busyadding' = 1 count' = &$unknown_361173 he' = &$heap_42194 bytes_after(&$heap_42183)' = 48 $heap_42183' is allocated by malloc $heap_42183' is allocated bytes_before(&$heap_42183)' = 0 ((char*)&$heap_42183)[16]' = 0 ((char*)&$heap_42183)[36]' = 0 ((char*)&$heap_42183)[40]' = 0 ((char*)&$heap_42183)[44]' = &$heap_42184 ((char*)&$heap_42183)[12]' = 3 $heap_42184' = &$unknown_361173 bytes_after(&$heap_42184)' = 8 $heap_42184' is allocated by malloc $heap_42184' is allocated bytes_before(&$heap_42184)' = 0 ((char*)&$heap_42184)[4]' = &$heap_42185 $heap_42185' = 0 bytes_after(&$heap_42185)' = 4 * &$unknown_361173 $heap_42185' is allocated by malloc $heap_42185' is allocated bytes_before(&$heap_42185)' = 0 $heap_42187' = &$heap_42187 bytes_after(&$heap_42187)' = 120 $heap_42187' is allocated by malloc $heap_42187' is allocated bytes_before(&$heap_42187)' = 0 ((char*)&$heap_42187)[16]' = 0 ((char*)&$heap_42187)[20]' = 0 ((char*)&$heap_42187)[4]' = &$heap_42187 ((char*)&$heap_42187)[8]' = 0 ((char*)&$heap_42187)[116]' = 0 ((char*)&$heap_42187)[12]' = 0 bytes_after(&$heap_42188)' = 120 $heap_42188' is allocated by malloc $heap_42188' is allocated bytes_before(&$heap_42188)' = 0 ((char*)&$heap_42188)[16]' = 0 ((char*)&$heap_42188)[20]' = 0 ((char*)&$heap_42188)[8]' = 0 ((char*)&$heap_42188)[116]' = 0 ((char*)&$heap_42188)[12]' = 0 bytes_after(&$heap_42189)' = 120 $heap_42189' is allocated by malloc $heap_42189' is allocated bytes_before(&$heap_42189)' = 0 ((char*)&$heap_42189)[16]' = 0 ((char*)&$heap_42189)[20]' = 0 ((char*)&$heap_42189)[8]' = 0 ((char*)&$heap_42189)[116]' = 0 ((char*)&$heap_42189)[12]' = 0 $heap_42190' = 1 bytes_after(&$heap_42190)' = 124 $heap_42190' is allocated by malloc bytes_before(&$heap_42190)' = 0 ((char*)&$heap_42190)[56]' = 2 ((char*)&$heap_42190)[72]' = 1 ((char*)&$heap_42190)[76]' = 1 ((char*)&$heap_42190)[80]' = &$heap_42187 ((char*)&$heap_42190)[84]' = &$heap_42188 ((char*)&$heap_42190)[92]' = &$heap_42189 ((char*)&$heap_42190)[100]' = 1 ((char*)&$heap_42190)[112]' = 0 bytes_after(&$heap_42191)' = &$unknown_361176 $heap_42191' is allocated by malloc $heap_42191' is freed bytes_before(&$heap_42191)' = 0 $heap_42192' = &$heap_42193 $heap_42192' is a non-heap object bytes_before(&$heap_42192)' = 0 $heap_42193' = $input_8484 bytes_after(&$heap_42193)' = $input_8476 + 1 $heap_42193' is allocated by malloc $heap_42193' is a non-heap object bytes_before(&$heap_42193)' = 0 strlen(&$heap_42193)' = $input_8476 $heap_42194' = &$heap_42195 bytes_after(&$heap_42194)' = 1024 $heap_42194' is a non-heap object bytes_before(&$heap_42194)' = 0 ((char*)&$heap_42194)[16]' = &$heap_42197 ((char*)&$heap_42194)[4]' = &$heap_42192 $heap_42195' = $input_444 bytes_after(&$heap_42195)' = $input_12 + 1 $heap_42195' is allocated by malloc $heap_42195' is a non-heap object bytes_before(&$heap_42195)' = 0 strlen(&$heap_42195)' = $input_12 $heap_42196' = $input_8508 bytes_after(&$heap_42196)' = $input_8500 + 1 $heap_42196' is allocated by malloc $heap_42196' is a non-heap object bytes_before(&$heap_42196)' = 0 strlen(&$heap_42196)' = $input_8500 $heap_42197' = &$heap_42196 $heap_42197' is a non-heap object bytes_before(&$heap_42197)' = 0 hh' = 0 hp' = &$unknown_361185 hp2' = 0 i' = &$unknown_361173 j' >= 0 last_rv' = &$heap_42194 lasthh' = 1 maxhostid' >= 3 maxhostid' >= &$unknown_361173 ngood' = 0 ntid' = 0 tids' = 0 tmbuf.tm_sec' = &$unknown_361184 wp' = &$heap_42183 wxp' = &$heap_42184 |
||||||||||||
