Pvm : Pvm analysis 1 : Null Pointer Dereference at pvmd.c:1035
|
|
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
&$unknown_3916348 >= 2 $heap_267998 != 0 $heap_267998 != 61 myfmt = -1 rd = 0 $input_12 = 2 $input_429876 >= 0 $input_429884 >= 0 $input_429900 = &$unknown_3916348 $input_429900 >= 2 $input_429908 >= 0 $input_429924 >= 0 $input_429940 >= 0 $input_429948 != 48 $input_429964 >= 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
PASSWD_COUNTER' = 0 argc' = 2 argv' = &$heap_267987 atnewline' = 1 strlen(&buf[0])' > 0 codesonar_distance_tweak' = 2 environ' = &$heap_267990 errno' != 0 $heap_267987' = &$heap_267988 bytes_after(&$heap_267987)' = 12 $heap_267987' is allocated by malloc $heap_267987' is a non-heap object bytes_before(&$heap_267987)' = 0 ((char*)&$heap_267987)[4]' = &$heap_267989 ((char*)&$heap_267987)[8]' = 0 $heap_267988' = $input_60 bytes_after(&$heap_267988)' = $input_429876 + 1 $heap_267988' is allocated by malloc $heap_267988' is a non-heap object bytes_before(&$heap_267988)' = 0 strlen(&$heap_267988)' = $input_429876 $heap_267989' = $input_429892 bytes_after(&$heap_267989)' = $input_429884 + 1 $heap_267989' is allocated by malloc $heap_267989' is a non-heap object bytes_before(&$heap_267989)' = 0 strlen(&$heap_267989)' = $input_429884 $heap_267990' = &$heap_267992 bytes_after(&$heap_267990)' = 4 * $input_429900 + 4 $heap_267990' is allocated by malloc $heap_267990' is a non-heap object bytes_before(&$heap_267990)' = 0 ((char*)&$heap_267990)[4]' = &$heap_267991 $heap_267991' = $input_429916 bytes_after(&$heap_267991)' = $input_429908 + 1 $heap_267991' is allocated by malloc $heap_267991' is a non-heap object bytes_before(&$heap_267991)' = 0 strlen(&$heap_267991)' = $input_429908 $heap_267992' = $input_429932 bytes_after(&$heap_267992)' = $input_429924 + 1 $heap_267992' is allocated by malloc $heap_267992' is a non-heap object bytes_before(&$heap_267992)' = 0 strlen(&$heap_267992)' = $input_429924 $heap_267993' is allocated by open $heap_267993' is allocated ((char*)&$heap_267993)[-4096]' is open $heap_267994' is allocated by open $heap_267994' is allocated ((char*)&$heap_267994)[-4096]' is open $heap_267995' is allocated by open $heap_267995' is allocated ((char*)&$heap_267995)[-4096]' is open $heap_267996' = $input_429948 bytes_after(&$heap_267996)' = $input_429940 + 1 $heap_267996' is allocated by malloc $heap_267996' is a non-heap object bytes_before(&$heap_267996)' = 0 strlen(&$heap_267996)' = $input_429940 $heap_267997' = $input_429972 bytes_after(&$heap_267997)' = $input_429964 + 1 $heap_267997' is allocated by malloc $heap_267997' is a non-heap object bytes_before(&$heap_267997)' = 0 strlen(&$heap_267997)' = $input_429964 $heap_267998' is allocated by malloc $heap_267998' is allocated bytes_before(&$heap_267998)' = 0 strlen(&$heap_267998)' = strlen(&buf[0])' i' = 1 j' = 1 log_fd' = -1 name' = &#string0[0] p' = &$heap_267996 pe' = 0 pvm_useruid' != -1 pvmdebmask' = $input_429956 pvmmyupid' != -1 rd' = &$heap_267997 testmode' = 0 tmbuf.tm_sec' = &$unknown_3916350 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
