pvm3.4.6 : pvm3.4.6 analysis 2 : Integer Overflow of Allocation Size at pvmgsu_core.c:1045
|
|
| 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_13575672 >= 1 &$unknown_13575673 != 0 group[1] = 0 *group != 0 strlen(group) = 1 gstid >= 0 gsu_coordv != 0 gsu_onhostv != 0 pvmtoplvl != 0 $input_12 = 0 |
||||||||||||
| Postconditions | ||||||||||||
*gsu_coordv' is freed *gsu_onhostv' is freed errno' != 0 foo' = 2 gsu_coordv' = 0 info' = 0 pvmrbuf' = &$unknown_13575673 rbuf' = -2 stid' = gstid |
||||||||||||
