pvm3.4.6 : pvm3.4.6 analysis 2 : Integer Overflow of Allocation Size at ddpro.c:997
|
|
| 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_369124 >= 3 &$unknown_369127 >= 1 &$unknown_369133 <= &$unknown_369124 - 1 &$unknown_369133 >= 2 hosts->ht_last >= 2 ((char*)&$unknown_369130)[116] != 0 busyadding = 0 filehosts = 0 $heap_50999 != 0 strlen(&$heap_50999) != 0 $input_12 >= 0 $input_40884 = 0 $input_8476 >= 0 $input_8500 >= 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
__x' = 2130706433 ((char*)&$unknown_369130)[48]' = -28 ((char*)&$unknown_369130)[60]' = $input_8508 buf' = &$heap_50999 busyadding' = 1 count' = &$unknown_369124 he' = &$heap_51002 bytes_after(&$heap_50991)' = 48 $heap_50991' is allocated by malloc $heap_50991' is allocated bytes_before(&$heap_50991)' = 0 ((char*)&$heap_50991)[16]' = 0 ((char*)&$heap_50991)[36]' = 0 ((char*)&$heap_50991)[40]' = 0 ((char*)&$heap_50991)[44]' = &$heap_50992 ((char*)&$heap_50991)[12]' = 3 $heap_50992' = &$unknown_369124 bytes_after(&$heap_50992)' = 8 $heap_50992' is allocated by malloc $heap_50992' is allocated bytes_before(&$heap_50992)' = 0 ((char*)&$heap_50992)[4]' = &$heap_50993 $heap_50993' = 0 bytes_after(&$heap_50993)' = 4 * &$unknown_369124 $heap_50993' is allocated by malloc $heap_50993' is allocated bytes_before(&$heap_50993)' = 0 $heap_50995' = &$heap_50995 bytes_after(&$heap_50995)' = 120 $heap_50995' is allocated by malloc $heap_50995' is allocated bytes_before(&$heap_50995)' = 0 ((char*)&$heap_50995)[16]' = 0 ((char*)&$heap_50995)[20]' = 0 ((char*)&$heap_50995)[4]' = &$heap_50995 ((char*)&$heap_50995)[8]' = 0 ((char*)&$heap_50995)[116]' = 0 ((char*)&$heap_50995)[12]' = 0 $heap_50996' = &$heap_50996 bytes_after(&$heap_50996)' = 120 $heap_50996' is allocated by malloc $heap_50996' is allocated bytes_before(&$heap_50996)' = 0 ((char*)&$heap_50996)[16]' = 0 ((char*)&$heap_50996)[20]' = 0 ((char*)&$heap_50996)[4]' = &$heap_50996 ((char*)&$heap_50996)[8]' = 0 ((char*)&$heap_50996)[116]' = 0 ((char*)&$heap_50996)[12]' = 0 bytes_after(&$heap_50997)' = 120 $heap_50997' is allocated by malloc $heap_50997' is allocated bytes_before(&$heap_50997)' = 0 ((char*)&$heap_50997)[16]' = 0 ((char*)&$heap_50997)[20]' = 0 ((char*)&$heap_50997)[8]' = 0 ((char*)&$heap_50997)[116]' = 0 ((char*)&$heap_50997)[12]' = 0 $heap_50998' = 1 bytes_after(&$heap_50998)' = 124 $heap_50998' is allocated by malloc bytes_before(&$heap_50998)' = 0 ((char*)&$heap_50998)[56]' = 2 ((char*)&$heap_50998)[72]' = 1 ((char*)&$heap_50998)[76]' = 1 ((char*)&$heap_50998)[80]' = &$heap_50995 ((char*)&$heap_50998)[84]' = &$heap_50996 ((char*)&$heap_50998)[92]' = &$heap_50997 ((char*)&$heap_50998)[100]' = 1 ((char*)&$heap_50998)[112]' = 0 bytes_after(&$heap_50999)' = &$unknown_369127 $heap_50999' is allocated by malloc $heap_50999' is freed bytes_before(&$heap_50999)' = 0 $heap_51000' = &$heap_51001 $heap_51000' is a non-heap object bytes_before(&$heap_51000)' = 0 $heap_51001' = $input_8484 bytes_after(&$heap_51001)' = $input_8476 + 1 $heap_51001' is allocated by malloc $heap_51001' is a non-heap object bytes_before(&$heap_51001)' = 0 strlen(&$heap_51001)' = $input_8476 $heap_51002' = &$heap_51003 bytes_after(&$heap_51002)' = 1024 $heap_51002' is a non-heap object bytes_before(&$heap_51002)' = 0 ((char*)&$heap_51002)[16]' = &$heap_51005 ((char*)&$heap_51002)[4]' = &$heap_51000 $heap_51003' = $input_444 bytes_after(&$heap_51003)' = $input_12 + 1 $heap_51003' is allocated by malloc $heap_51003' is a non-heap object bytes_before(&$heap_51003)' = 0 strlen(&$heap_51003)' = $input_12 $heap_51004' = $input_8508 bytes_after(&$heap_51004)' = $input_8500 + 1 $heap_51004' is allocated by malloc $heap_51004' is a non-heap object bytes_before(&$heap_51004)' = 0 strlen(&$heap_51004)' = $input_8500 $heap_51005' = &$heap_51004 $heap_51005' is a non-heap object bytes_before(&$heap_51005)' = 0 hh' = 0 hp' = &$unknown_369130 hp2' = 0 i' = &$unknown_369124 j' = &$unknown_369133 - 2 last_rv' = &$heap_51002 maxhostid' >= 3 maxhostid' >= &$unknown_369124 ntid' = ngood' wp' = &$heap_50991 wxp' = &$heap_50992 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
