Pvm : Pvm analysis 1 : Null Pointer Dereference at host.c:712
|
|
| 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)[184] = 0 ((char*)$param_1)[192] = 0 ((char*)$param_1)[24] = 0 ((char*)$param_1)[32] = 0 ((char*)$param_1)[40] = 0 ((char*)$param_1)[48] = 0 ((char*)$param_1)[56] = 0 ((char*)$param_1)[64] = 0 ((char*)$param_2)[192] != 0 ((char*)$param_2)[40] = 0 |
||||||||||||
| Postconditions | ||||||||||||
defhp' = $param_2 $heap_1165' = ((char*)*$param_2)[24] bytes_after(&$heap_1165)' = strlen(((char*)$param_2)[24]) + 1 $heap_1165' is allocated by malloc $heap_1165' is allocated bytes_before(&$heap_1165)' = 0 strlen(&$heap_1165)' = strlen(((char*)$param_2)[24]) $heap_1166' = ((char*)*$param_2)[32] bytes_after(&$heap_1166)' = strlen(((char*)$param_2)[32]) + 1 $heap_1166' is allocated by malloc $heap_1166' is allocated bytes_before(&$heap_1166)' = 0 strlen(&$heap_1166)' = strlen(((char*)$param_2)[32]) $heap_1167' = ((char*)*$param_2)[48] bytes_after(&$heap_1167)' = strlen(((char*)$param_2)[48]) + 1 $heap_1167' is allocated by malloc $heap_1167' is allocated bytes_before(&$heap_1167)' = 0 strlen(&$heap_1167)' = strlen(((char*)$param_2)[48]) $heap_1168' = ((char*)*$param_2)[56] bytes_after(&$heap_1168)' = strlen(((char*)$param_2)[56]) + 1 $heap_1168' is allocated by malloc $heap_1168' is allocated bytes_before(&$heap_1168)' = 0 strlen(&$heap_1168)' = strlen(((char*)$param_2)[56]) $heap_1169' = ((char*)*$param_2)[64] bytes_after(&$heap_1169)' = strlen(((char*)$param_2)[64]) + 1 $heap_1169' is allocated by malloc $heap_1169' is allocated bytes_before(&$heap_1169)' = 0 strlen(&$heap_1169)' = strlen(((char*)$param_2)[64]) $heap_1170' = ((char*)*$param_2)[184] bytes_after(&$heap_1170)' = strlen(((char*)$param_2)[184]) + 1 $heap_1170' is allocated by malloc $heap_1170' is allocated bytes_before(&$heap_1170)' = 0 strlen(&$heap_1170)' = strlen(((char*)$param_2)[184]) hp' = $param_1 |
||||||||||||