pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at task.c:470
|
|
| 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 | ||||||||||||
tid != 0 ntasks <= pvm_max_ntasks - 1 pvm_max_ntasks != 0 |
||||||||||||
| Postconditions | ||||||||||||
atnewline' = 1 errno' != 0 $heap_4305' = 0 bytes_after(&$heap_4305)' = 148 $heap_4305' is allocated by malloc $heap_4305' is allocated bytes_before(&$heap_4305)' = 0 ((char*)&$heap_4305)[144]' = 0 ((char*)&$heap_4305)[16]' = tid ((char*)&$heap_4305)[32]' = -1 ((char*)&$heap_4305)[60]' = &$heap_4306 ((char*)&$heap_4305)[72]' = -1 ((char*)&$heap_4305)[80]' = -1 ((char*)&$heap_4305)[120]' = 0 $heap_4306' = &$heap_4306 bytes_after(&$heap_4306)' = 120 $heap_4306' is allocated by malloc $heap_4306' is allocated bytes_before(&$heap_4306)' = 0 ((char*)&$heap_4306)[16]' = 0 ((char*)&$heap_4306)[20]' = 0 ((char*)&$heap_4306)[4]' = &$heap_4306 ((char*)&$heap_4306)[8]' = 0 ((char*)&$heap_4306)[116]' = 0 ((char*)&$heap_4306)[12]' = 0 ntasks' = ntasks + 1 tmbuf.tm_sec' = &$unknown_164946 tp' = &$heap_4305 |
||||||||||||
