pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5591
|
|
| 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 >= 3 &$unknown_724843 != 0 *argv[5] != 58 *argv[2] != 58 $unknown_724845 != 58 ((char*)&$heap_110676)[20] != 0 ((char*)&$heap_110676)[96] >= 0 $input_72972 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
((char*)$heap_110676)[20]' is freed *stdout' is allocated by fopen bytes_before(stdout)' = 0 ac' = 6 argc' = 6 bad' = 0 strlen(&buf[0])' = 17 buf[17]' = 0 debugger' = &$unknown_724846 dof' = &$unknown_724843 epaths' = &$heap_110690 errno' != 0 $heap_110668' = 1 bytes_after(&$heap_110668)' = 32 $heap_110668' is allocated by malloc $heap_110668' is allocated bytes_before(&$heap_110668)' = 0 ((char*)&$heap_110668)[16]' = $input_12 ((char*)&$heap_110668)[20]' = $input_72956 ((char*)&$heap_110668)[12]' = $input_12 bytes_after(&$heap_110670)' = 120 $heap_110670' is allocated by malloc $heap_110670' is allocated bytes_before(&$heap_110670)' = 0 ((char*)&$heap_110670)[16]' = 0 ((char*)&$heap_110670)[20]' = 0 ((char*)&$heap_110670)[8]' = 0 ((char*)&$heap_110670)[116]' = 0 ((char*)&$heap_110670)[12]' = 0 bytes_after(&$heap_110671)' = 120 $heap_110671' is allocated by malloc $heap_110671' is allocated bytes_before(&$heap_110671)' = 0 ((char*)&$heap_110671)[16]' = 0 ((char*)&$heap_110671)[20]' = 0 ((char*)&$heap_110671)[8]' = 0 ((char*)&$heap_110671)[116]' = 0 ((char*)&$heap_110671)[12]' = 0 $heap_110672' = 1 bytes_after(&$heap_110672)' = 124 $heap_110672' is allocated by malloc bytes_before(&$heap_110672)' = 0 ((char*)&$heap_110672)[52]' = $input_72964 ((char*)&$heap_110672)[56]' = 2 ((char*)&$heap_110672)[72]' = 1 ((char*)&$heap_110672)[76]' = 1 ((char*)&$heap_110672)[80]' = &$heap_110670 ((char*)&$heap_110672)[8]' = &$heap_110674 ((char*)&$heap_110672)[84]' = &$heap_110673 ((char*)&$heap_110672)[92]' = &$heap_110671 ((char*)&$heap_110672)[100]' = 1 ((char*)&$heap_110672)[108]' = 1000 ((char*)&$heap_110672)[112]' = 0 $heap_110673' = &$heap_110673 bytes_after(&$heap_110673)' = 120 $heap_110673' is allocated by malloc $heap_110673' is allocated bytes_before(&$heap_110673)' = 0 ((char*)&$heap_110673)[16]' = 0 ((char*)&$heap_110673)[20]' = 0 ((char*)&$heap_110673)[4]' = &$heap_110673 ((char*)&$heap_110673)[8]' = 0 ((char*)&$heap_110673)[116]' = 0 ((char*)&$heap_110673)[12]' = 0 $heap_110674' = 63 bytes_after(&$heap_110674)' = 2 $heap_110674' is allocated by malloc $heap_110674' is allocated bytes_before(&$heap_110674)' = 0 strlen(&$heap_110674)' = 1 tocttou($heap_110674)' = tocttou(#string176) bytes_after(&$heap_110675)' = 120 $heap_110675' is allocated by malloc bytes_before(&$heap_110675)' = 0 $heap_110676' = 0 bytes_after(&$heap_110676)' = 124 $heap_110676' is allocated by malloc $heap_110676' is freed bytes_before(&$heap_110676)' = 0 ((char*)&$heap_110676)[44]' = pvmmydsig ((char*)&$heap_110676)[52]' = pvmudpmtu ((char*)&$heap_110676)[56]' = 2 ((char*)&$heap_110676)[72]' = 1 ((char*)&$heap_110676)[76]' = 1 ((char*)&$heap_110676)[80]' = &$heap_110675 ((char*)&$heap_110676)[8]' = &$heap_110679 ((char*)&$heap_110676)[84]' = &$heap_110677 ((char*)&$heap_110676)[92]' = &$heap_110678 ((char*)&$heap_110676)[100]' = 1 ((char*)&$heap_110676)[108]' = 1000 ((char*)&$heap_110676)[112]' = 0 ((char*)&$heap_110676)[12]' = &$heap_110680 $heap_110677' = &$heap_110677 bytes_after(&$heap_110677)' = 120 $heap_110677' is allocated by malloc bytes_before(&$heap_110677)' = 0 ((char*)&$heap_110677)[16]' = 0 ((char*)&$heap_110677)[20]' = 0 ((char*)&$heap_110677)[4]' = &$heap_110677 ((char*)&$heap_110677)[116]' = 0 bytes_after(&$heap_110678)' = 120 $heap_110678' is allocated by malloc bytes_before(&$heap_110678)' = 0 ((char*)&$heap_110678)[16]' = 0 ((char*)&$heap_110678)[20]' = 0 ((char*)&$heap_110678)[116]' = 0 $heap_110679' = 112 bytes_after(&$heap_110679)' = 6 $heap_110679' is allocated by malloc bytes_before(&$heap_110679)' = 0 strlen(&$heap_110679)' = 5 tocttou($heap_110679)' = tocttou(#string167) $heap_110680' = *myarchname bytes_after(&$heap_110680)' = strlen(myarchname) + 1 $heap_110680' is allocated by malloc bytes_before(&$heap_110680)' = 0 strlen(&$heap_110680)' = strlen(myarchname) tocttou($heap_110680)' = tocttou(*myarchname) bytes_after(&$heap_110681)' = 120 $heap_110681' is allocated by malloc $heap_110681' is allocated bytes_before(&$heap_110681)' = 0 ((char*)&$heap_110681)[16]' = 0 ((char*)&$heap_110681)[20]' = 0 ((char*)&$heap_110681)[8]' = 0 ((char*)&$heap_110681)[116]' = 0 ((char*)&$heap_110681)[12]' = 0 $heap_110682' = &$heap_110682 bytes_after(&$heap_110682)' = 120 $heap_110682' is allocated by malloc $heap_110682' is allocated bytes_before(&$heap_110682)' = 0 ((char*)&$heap_110682)[16]' = 0 ((char*)&$heap_110682)[20]' = 0 ((char*)&$heap_110682)[4]' = &$heap_110682 ((char*)&$heap_110682)[8]' = 0 ((char*)&$heap_110682)[116]' = 0 ((char*)&$heap_110682)[12]' = 0 $heap_110683' = &$heap_110683 bytes_after(&$heap_110683)' = 120 $heap_110683' is allocated by malloc $heap_110683' is allocated bytes_before(&$heap_110683)' = 0 ((char*)&$heap_110683)[16]' = 0 ((char*)&$heap_110683)[20]' = 0 ((char*)&$heap_110683)[4]' = &$heap_110683 ((char*)&$heap_110683)[8]' = 0 ((char*)&$heap_110683)[116]' = 0 ((char*)&$heap_110683)[12]' = 0 $heap_110684' = 1 bytes_after(&$heap_110684)' = 124 $heap_110684' is allocated by malloc bytes_before(&$heap_110684)' = 0 ((char*)&$heap_110684)[44]' = pvmmydsig ((char*)&$heap_110684)[52]' = pvmudpmtu ((char*)&$heap_110684)[56]' = 2 ((char*)&$heap_110684)[72]' = 1 ((char*)&$heap_110684)[76]' = 1 ((char*)&$heap_110684)[80]' = &$heap_110682 ((char*)&$heap_110684)[8]' = &$heap_110686 ((char*)&$heap_110684)[84]' = &$heap_110683 ((char*)&$heap_110684)[92]' = &$heap_110681 ((char*)&$heap_110684)[100]' = 1 ((char*)&$heap_110684)[108]' = 1000 ((char*)&$heap_110684)[112]' = &$heap_110685 ((char*)&$heap_110684)[12]' = &$heap_110687 bytes_after(&$heap_110685)' = 20 $heap_110685' is allocated by malloc $heap_110685' is allocated bytes_before(&$heap_110685)' = 0 ((char*)&$heap_110685)[16]' = 0 ((char*)&$heap_110685)[8]' = 0 ((char*)&$heap_110685)[12]' = 0 $heap_110686' = *hn bytes_after(&$heap_110686)' = strlen(hn) + 1 $heap_110686' is allocated by malloc $heap_110686' is allocated bytes_before(&$heap_110686)' = 0 strlen(&$heap_110686)' = strlen(hn) tocttou($heap_110686)' = tocttou(*hn) $heap_110687' = *myarchname bytes_after(&$heap_110687)' = strlen(myarchname) + 1 $heap_110687' is allocated by malloc $heap_110687' is allocated bytes_before(&$heap_110687)' = 0 strlen(&$heap_110687)' = strlen(myarchname) tocttou($heap_110687)' = tocttou(*myarchname) $heap_110688' is allocated by open $heap_110688' is allocated $heap_110689' = 36 bytes_after(&$heap_110689)' = 49 $heap_110689' is allocated by malloc $heap_110689' is freed bytes_before(&$heap_110689)' = 0 tocttou($heap_110689)' = tocttou(#string168) $heap_110690' = &$unknown_724845 $heap_110690' is allocated by malloc $heap_110690' is allocated bytes_before(&$heap_110690)' = 0 ((char*)&$heap_110690)[4]' = 0 $heap_110691' = 36 bytes_after(&$heap_110691)' = 23 $heap_110691' is allocated by malloc $heap_110691' is freed bytes_before(&$heap_110691)' = 0 tocttou($heap_110691)' = tocttou(#string170) $heap_110692' = $input_444 bytes_after(&$heap_110692)' = $input_72972 + 1 $heap_110692' is allocated by malloc $heap_110692' is a non-heap object bytes_before(&$heap_110692)' = 0 strlen(&$heap_110692)' = $input_72972 hosts' = &$heap_110668 hp' = &$heap_110684 i' = -1 lh' = $input_72956 log_ff' = 0 log_how' = 2 mh' = $input_12 ms' = 1 p' = 0 s' = &$heap_110692 |
||||||||||||