Pvm : Pvm analysis 1 : 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 | ||||||||||||
$param_1 != 0 ntasks <= pvm_max_ntasks - 1 pvm_max_ntasks != 0 |
||||||||||||
| Postconditions | ||||||||||||
atnewline' = 1 errno' != 0 $heap_4505' = 0 bytes_after(&$heap_4505)' = 224 $heap_4505' is allocated by malloc $heap_4505' is allocated bytes_before(&$heap_4505)' = 0 strlen(&$heap_4505)' = 0 ((char*)&$heap_4505)[172]' = 0 ((char*)&$heap_4505)[216]' = 0 ((char*)&$heap_4505)[32]' = $param_1 ((char*)&$heap_4505)[48]' = -1 ((char*)&$heap_4505)[80]' = &$heap_4506 ((char*)&$heap_4505)[104]' = -1 ((char*)&$heap_4505)[120]' = -1 bytes_after(&$heap_4506)' = 184 $heap_4506' is allocated by malloc $heap_4506' is allocated bytes_before(&$heap_4506)' = 0 ((char*)&$heap_4506)[16]' = 0 ((char*)&$heap_4506)[176]' = 0 ((char*)&$heap_4506)[24]' = 0 ((char*)&$heap_4506)[32]' = 0 ((char*)&$heap_4506)[40]' = 0 ntasks' = ntasks + 1 tid' = $param_1 tmbuf.tm_sec' = &$unknown_201034 tp' = &$heap_4505 |
||||||||||||
