Pvm : Pvm analysis 1 : Uninitialized Variable at trccompat.c:457
|
|
| 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_5 = 46 &$unknown_2562446 >= 1 &$unknown_2562446 >= ntids + 1 ((char*)$param_1)[24] >= 0 pvmrbuf != 0 pvmtoplvl != 0 pvmtrc.trctid != pvmmytid pvmtrc.trctid >= 1 tids != 0 |
||||||||||||
| Postconditions | ||||||||||||
*tids' is freed ID' = $param_1 TRC_TRACE_TIME.tv_sec' = $param_2 TRC_TRACE_TIME.tv_usec' = $param_3 TT' = 0 ecnt' = 0 eid' = $param_5 bytes_after(&$heap_203290)' = 8 * &$unknown_2562446 $heap_203290' is allocated by malloc $heap_203290' is allocated bytes_before(&$heap_203290)' = 0 i' = 0 ntids' = 2 * &$unknown_2562446 num' = &$unknown_2562446 omit' = 0 tid' = $param_4 tids' = &$heap_203290 tsec' = $param_2 tusec' = $param_3 |
||||||||||||
