Pvm : Pvm analysis 1 : Null Pointer Dereference at ddpro.c:2125
|
|
| 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_603675 >= 1 &$unknown_603677 >= 1 ((char*)*$param_1)[72] >= 1 strlen(&$unknown_603680) > 0 $heap_36110 != 0 strlen(&$heap_36110) != 0 $input_12 = 2316 |
||||||||||||
| Postconditions | ||||||||||||
ac' = 5 av[0]' = &$unknown_603680 buf' = &$heap_36110 count' = ((char*)*$param_1)[72] bytes_after(&$heap_36110)' = &$unknown_603677 $heap_36110' is allocated by malloc bytes_before(&$heap_36110)' = 0 i' = ((char*)*$param_1)[72] - 1 j' = &$unknown_603675 - 1 mp' = $param_2 ver' = 2316 wp' = $param_1 wxp' = ((char*)$param_1)[72] |
||||||||||||
