Pvm : Pvm analysis 1 : Null Pointer Dereference at host.c:628
|
|
| 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_6354 = 0 &$unknown_6355 = 0 &$unknown_6356 = 1 &$unknown_6357 >= 1 ((char*)$param_1)[4] >= 2 ((char*)$param_1)[8] >= 0 ((char*)$param_2)[136] >= 0 ((char*)$param_2)[144] >= 0 ((char*)$param_2)[176] >= 0 ((char*)$param_2)[32] != 0 ((char*)$param_2)[112] >= 0 ((char*)$param_2)[120] >= 0 ((char*)&((char*)((char*)*$param_1)[32])[8])[16] != 0 *$param_2 <= 1 |
||||||||||||
| Postconditions | ||||||||||||
d' = ((char*)&((char*)((char*)*$param_1)[32])[8])[76] dsigs' = &$unknown_6354 found' = 0 hh' = &$unknown_6356 hp' = ((char*)&((char*)*$param_1)[32])[8] htp' = $param_1 i' = 0 mask' = 0 ndsigs' = &$unknown_6357 |
||||||||||||
