pvm3.4.6 : pvm3.4.6 analysis 2 : Integer Overflow of Allocation Size at ddpro.c:1429
|
|
| 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_434262 >= 1 ((char*)&$heap_63874)[24] >= 1 $input_12 = 0 |
||||||||||||
| Postconditions | ||||||||||||
$heap_63874' = &$heap_63875 bytes_after(&$heap_63874)' = 84 $heap_63874' is allocated by malloc bytes_before(&$heap_63874)' = 0 bytes_after(&$heap_63875)' = &$unknown_434262 $heap_63875' is allocated by malloc bytes_before(&$heap_63875)' = 0 munge_tenv' = 0 savewd' = 0 wd' = 0 wxp' = &$heap_63874 |
||||||||||||
