Pvm : Pvm analysis 1 : Null Pointer Dereference at ddpro.c:1433
|
|
| 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_438402 >= 1 ((char*)&$heap_30102)[40] >= 1 |
||||||||||||
| Postconditions | ||||||||||||
$heap_30102' = 0 bytes_after(&$heap_30102)' = 112 $heap_30102' is allocated by malloc bytes_before(&$heap_30102)' = 0 strlen(&$heap_30102)' = 0 ((char*)&$heap_30102)[16]' = 0 ((char*)&$heap_30102)[32]' = 0 ((char*)&$heap_30102)[12]' = ( &$unknown_438402 - 8 ) / 8 mp' = $param_1 munge_tenv' = 0 rmp' = $param_2 savewd' = 0 schtid' = $param_3 wd' = 0 wxp' = &$heap_30102 |
||||||||||||
