pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5392
|
|
| 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 | ||||||||||||
argc <= 1 ((char*)&((char*)$unknown_761723)[4])[32] = 0 ((char*)((char*)$unknown_761723)[4])[8] <= 46 $unknown_761725 != 0 strlen(&$unknown_761725) != 0 ((char*)&$heap_207611)[4] <= 1 ((char*)&$heap_207613)[20] != 0 ((char*)&$heap_207613)[96] >= 0 $input_12 >= 0 $input_122532 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
((char*)&((char*)$unknown_761723)[4])[24]' = &$unknown_761725 ((char*)&((char*)$unknown_761723)[4])[28]' = &$heap_207627 ((char*)&((char*)$unknown_761723)[4])[116]' = &$heap_207625 ((char*)$heap_207613)[20]' is freed $unknown_761726' is allocated by malloc epaths' = &$heap_207626 errno' != 0 filehosts' = &$unknown_761722 $heap_207609' = $input_444 bytes_after(&$heap_207609)' = $input_12 + 1 $heap_207609' is allocated by malloc $heap_207609' is a non-heap object bytes_before(&$heap_207609)' = 0 strlen(&$heap_207609)' = $input_12 $heap_207611' = 1 bytes_after(&$heap_207611)' = 32 $heap_207611' is allocated by malloc $heap_207611' is allocated bytes_before(&$heap_207611)' = 0 ((char*)&$heap_207611)[16]' = 1 ((char*)&$heap_207611)[20]' = 1 ((char*)&$heap_207611)[24]' = 0 ((char*)&$heap_207611)[28]' = &$unknown_761723 ((char*)&$heap_207611)[12]' = 1 bytes_after(&$heap_207612)' = 120 $heap_207612' is allocated by malloc bytes_before(&$heap_207612)' = 0 $heap_207613' = 0 bytes_after(&$heap_207613)' = 124 $heap_207613' is allocated by malloc $heap_207613' is freed bytes_before(&$heap_207613)' = 0 ((char*)&$heap_207613)[44]' = pvmmydsig ((char*)&$heap_207613)[52]' = pvmudpmtu ((char*)&$heap_207613)[56]' = 2 ((char*)&$heap_207613)[72]' = 1 ((char*)&$heap_207613)[76]' = 1 ((char*)&$heap_207613)[80]' = &$heap_207612 ((char*)&$heap_207613)[8]' = &$heap_207616 ((char*)&$heap_207613)[84]' = &$heap_207615 ((char*)&$heap_207613)[92]' = &$heap_207614 ((char*)&$heap_207613)[100]' = 1 ((char*)&$heap_207613)[108]' = 1000 ((char*)&$heap_207613)[112]' = 0 ((char*)&$heap_207613)[12]' = &$heap_207617 bytes_after(&$heap_207614)' = 120 $heap_207614' is allocated by malloc bytes_before(&$heap_207614)' = 0 ((char*)&$heap_207614)[16]' = 0 ((char*)&$heap_207614)[20]' = 0 ((char*)&$heap_207614)[116]' = 0 bytes_after(&$heap_207615)' = 120 $heap_207615' is allocated by malloc bytes_before(&$heap_207615)' = 0 ((char*)&$heap_207615)[16]' = 0 ((char*)&$heap_207615)[20]' = 0 ((char*)&$heap_207615)[116]' = 0 $heap_207616' = *hn bytes_after(&$heap_207616)' = strlen(hn) + 1 $heap_207616' is allocated by malloc bytes_before(&$heap_207616)' = 0 strlen(&$heap_207616)' = strlen(hn) tocttou($heap_207616)' = tocttou(*hn) $heap_207617' = *myarchname bytes_after(&$heap_207617)' = strlen(myarchname) + 1 $heap_207617' is allocated by malloc bytes_before(&$heap_207617)' = 0 strlen(&$heap_207617)' = strlen(myarchname) tocttou($heap_207617)' = tocttou(*myarchname) bytes_after(&$heap_207618)' = 120 $heap_207618' is allocated by malloc $heap_207618' is allocated bytes_before(&$heap_207618)' = 0 ((char*)&$heap_207618)[16]' = 0 ((char*)&$heap_207618)[20]' = 0 ((char*)&$heap_207618)[8]' = 0 ((char*)&$heap_207618)[116]' = 0 ((char*)&$heap_207618)[12]' = 0 $heap_207619' = &$heap_207619 bytes_after(&$heap_207619)' = 120 $heap_207619' is allocated by malloc $heap_207619' is allocated bytes_before(&$heap_207619)' = 0 ((char*)&$heap_207619)[16]' = 0 ((char*)&$heap_207619)[20]' = 0 ((char*)&$heap_207619)[4]' = &$heap_207619 ((char*)&$heap_207619)[8]' = 0 ((char*)&$heap_207619)[116]' = 0 ((char*)&$heap_207619)[12]' = 0 bytes_after(&$heap_207620)' = 20 $heap_207620' is allocated by malloc $heap_207620' is allocated bytes_before(&$heap_207620)' = 0 ((char*)&$heap_207620)[16]' = 0 ((char*)&$heap_207620)[8]' = 0 ((char*)&$heap_207620)[12]' = 0 $heap_207621' = 1 bytes_after(&$heap_207621)' = 124 $heap_207621' is allocated by malloc bytes_before(&$heap_207621)' = 0 ((char*)&$heap_207621)[44]' = pvmmydsig ((char*)&$heap_207621)[52]' = pvmudpmtu ((char*)&$heap_207621)[56]' = 2 ((char*)&$heap_207621)[72]' = 1 ((char*)&$heap_207621)[76]' = 1 ((char*)&$heap_207621)[80]' = &$heap_207622 ((char*)&$heap_207621)[8]' = &$heap_207623 ((char*)&$heap_207621)[84]' = &$heap_207619 ((char*)&$heap_207621)[92]' = &$heap_207618 ((char*)&$heap_207621)[100]' = 1 ((char*)&$heap_207621)[108]' = 1000 ((char*)&$heap_207621)[112]' = &$heap_207620 ((char*)&$heap_207621)[12]' = &$heap_207624 $heap_207622' = &$heap_207622 bytes_after(&$heap_207622)' = 120 $heap_207622' is allocated by malloc $heap_207622' is allocated bytes_before(&$heap_207622)' = 0 ((char*)&$heap_207622)[16]' = 0 ((char*)&$heap_207622)[20]' = 0 ((char*)&$heap_207622)[4]' = &$heap_207622 ((char*)&$heap_207622)[8]' = 0 ((char*)&$heap_207622)[116]' = 0 ((char*)&$heap_207622)[12]' = 0 $heap_207623' = 112 bytes_after(&$heap_207623)' = 6 $heap_207623' is allocated by malloc $heap_207623' is allocated bytes_before(&$heap_207623)' = 0 strlen(&$heap_207623)' = 5 tocttou($heap_207623)' = tocttou(#string167) $heap_207624' = *myarchname bytes_after(&$heap_207624)' = strlen(myarchname) + 1 $heap_207624' is allocated by malloc $heap_207624' is allocated bytes_before(&$heap_207624)' = 0 strlen(&$heap_207624)' = strlen(myarchname) tocttou($heap_207624)' = tocttou(*myarchname) bytes_after(&$heap_207625)' = strlen(((char*)&$unknown_761724)[116]) + 1 $heap_207625' is allocated by malloc $heap_207625' is allocated bytes_before(&$heap_207625)' = 0 strlen(&$heap_207625)' = strlen(((char*)&$unknown_761724)[116]) $heap_207626' is allocated by malloc $heap_207626' is allocated bytes_before(&$heap_207626)' = 0 $heap_207627' = 36 bytes_after(&$heap_207627)' = 23 $heap_207627' is allocated by malloc $heap_207627' is allocated bytes_before(&$heap_207627)' = 0 tocttou($heap_207627)' = tocttou(#string170) $heap_207628' = $input_122540 bytes_after(&$heap_207628)' = $input_122532 + 1 $heap_207628' is allocated by malloc $heap_207628' is a non-heap object bytes_before(&$heap_207628)' = 0 strlen(&$heap_207628)' = $input_122532 hosts' = &$heap_207611 hp' = ((char*)&$unknown_761723)[4] hp2' = &$unknown_761724 s' = &$heap_207628 |
||||||||||||
