pvm3.4.6 : pvm3.4.6 analysis 2 : Integer Overflow of Allocation Size at tdpro.c:1897
|
|
| 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_1007120 != 0 &$unknown_1007122 >= 1 hosts->ht_last >= 1 $input_12 = 0 |
||||||||||||
| Postconditions | ||||||||||||
dsts' = &$heap_333995 bytes_after(&$heap_333994)' = 20 $heap_333994' is allocated by malloc $heap_333994' is allocated bytes_before(&$heap_333994)' = 0 ((char*)&$heap_333994)[16]' = 0 ((char*)&$heap_333994)[12]' = 0 $heap_333995' is allocated by malloc $heap_333995' is allocated bytes_before(&$heap_333995)' = 0 i' >= 2 j' = &$unknown_1007122 mcap' = &$heap_333994 ndst' = &$unknown_1007122 tid' = &$unknown_1007121 |
||||||||||||
