Pvm : Pvm analysis 1 : Null Pointer Dereference at host.c:542
|
|
| 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 | ||||||||||||
((char*)$param_1)[32] = 0 ((char*)$param_2)[8] != 0 ((char*)&$unknown_92962)[8] != 0 |
||||||||||||
| Postconditions | ||||||||||||
((char*)$unknown_92962)[8]' is freed $heap_3644' is allocated by malloc $heap_3644' is allocated bytes_before(&$heap_3644)' = 0 hh' >= ((char*)$param_1)[4] + 1 hp' = $param_2 hp2' = &$unknown_92962 htp' = $param_1 mask' = 0 |
||||||||||||
