Pvm : Pvm analysis 1 : Null Pointer Dereference at lpvm.c:3720
|
|
| 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 >= 1 &$unknown_2495950 >= 0 &$unknown_2495952 = 0 pp = 0 pvmmytid != -1 pvmtoplvl != 0 pvmtrc.trctid != pvmmytid pvmtrc.trctid >= 1 pvmtrc.trcopt != 1 pvmtrc.trcopt != 2 pvmtrc.trcopt != 3 rd = 0 $input_12 >= 0 $input_500 <= 118 $input_500 >= 2 td = 0 |
||||||||||||
| Postconditions | ||||||||||||
*stderr' is allocated by fopen bytes_before(stderr)' = 0 $unknown_2495949' is freed $unknown_2495949' is closed $unknown_2495950' is freed $unknown_2495950' is closed argc' = $param_1 argv' = $param_2 av' = &$heap_201505 buf[0]' = 80 strlen(&buf[0])' = $input_500 + 7 buf[0]' is checked by path name buf[8]' = $input_508 errno' != 0 ff' = &$heap_201506 fn' = &$heap_201504 bytes_after(&$heap_201503)' = $input_12 + 1 $heap_201503' is allocated by malloc $heap_201503' is a non-heap object bytes_before(&$heap_201503)' = 0 strlen(&$heap_201503)' = $input_12 bytes_after(&$heap_201504)' = $input_12 + 10 $heap_201504' is allocated by malloc $heap_201504' is allocated bytes_before(&$heap_201504)' = 0 $heap_201505' = &$heap_201504 bytes_after(&$heap_201505)' = 8 * $param_1 + 16 $heap_201505' is allocated by malloc $heap_201505' is freed bytes_before(&$heap_201505)' = 0 bytes_after(&$heap_201506)' = 1028 $heap_201506' is allocated by fopen $heap_201506' is closed bytes_before(&$heap_201506)' = 0 n' = $input_500 + 8 newline' = 1 pfd[0]' = &$unknown_2495950 pfd[1]' = &$unknown_2495949 pp' = &$heap_201504 pvm_useruid' != -1 pvmampushed' = 0 pvmamtraced' = pvmtoplvl pvmtoplvl' = 0 pvmtrccodef' = &pvmtrccodef_nop.enc_byte rd' = &$heap_201503 sfn' = &buf[0] td' = &#string21[0] |
||||||||||||
