pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at job.c:140
|
|
| 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*)*$unknown_12286900)[8] != jid joblist->j_link->j_jid <= jid - 1 ((char*)$unknown_12286900)[8] <= jid - 1 *$unknown_12286900 = joblist joblist->j_link != joblist |
||||||||||||
| Postconditions | ||||||||||||
errno' != 0 $heap_445633' = 0 bytes_after(&$heap_445633)' = 28 $heap_445633' is allocated by malloc $heap_445633' is allocated bytes_before(&$heap_445633)' = 0 ((char*)&$heap_445633)[8]' = jid jp' = *$unknown_12286900 jp2' = &$heap_445633 op' = 0 |
||||||||||||
