Pvm : Pvm analysis 1 : Null Pointer Dereference at lpvm.c:3500
|
|
| 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_2467495 != $unknown_2467495 &$unknown_2467495 != $unknown_2467496 &$unknown_2467495 = *$unknown_2467496 ((char*)$unknown_2467496)[20] = 2 fdlist = 0 pvmmytid = -1 pvmtoplvl != 0 pvmtrc.trctid >= 1 pvmtrc.trcopt <= 3 pvmtrc.trcopt >= 1 |
||||||||||||
| Postconditions | ||||||||||||
cc' = 0 fdlen' >= 0 fdlist' = 0 fds' = $param_1 pcbp' = *$unknown_2467496 pvm_useruid' != -1 pvmampushed' = 0 pvmamtraced' = pvmtoplvl pvmmytid' = -1 pvmtoplvl' = 0 ttlist' = &$unknown_2467495 |
||||||||||||
