Pvm : Pvm analysis 1 : Null Pointer Dereference at cmds.c:497
|
|
| 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 | ||||||||||||
$param_2 >= 2 |
||||||||||||
| Postconditions | ||||||||||||
ap' = &$heap_239704 args' = $param_3 bytes_after(&$heap_239704)' = 48 $heap_239704' is allocated by malloc $heap_239704' is allocated bytes_before(&$heap_239704)' = 0 ((char*)&$heap_239704)[16]' = &$heap_239705 ((char*)&$heap_239704)[24]' = $param_2 ((char*)&$heap_239704)[32]' = &$heap_239706 $heap_239705' = *$param_1 bytes_after(&$heap_239705)' = strlen($param_1) + 1 $heap_239705' is allocated by malloc $heap_239705' is allocated bytes_before(&$heap_239705)' = 0 strlen(&$heap_239705)' = strlen($param_1) bytes_after(&$heap_239706)' = 8 * $param_2 + 8 $heap_239706' is allocated by malloc $heap_239706' is allocated bytes_before(&$heap_239706)' = 0 name' = $param_1 num' = 0 |
||||||||||||
