pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5580
|
|
| 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_727378 != 0 ((char*)&$heap_122707)[20] != 0 ((char*)&$heap_122707)[96] >= 0 $input_81612 = 0 $input_81620 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
((char*)$heap_122707)[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 dof' = &$unknown_727378 errno' != 0 $heap_122690' = 1 bytes_after(&$heap_122690)' = 32 $heap_122690' is allocated by malloc $heap_122690' is allocated bytes_before(&$heap_122690)' = 0 ((char*)&$heap_122690)[16]' = $input_12 ((char*)&$heap_122690)[20]' = $input_81596 ((char*)&$heap_122690)[8]' = ((char*)&$heap_122690)[8] + 1 ((char*)&$heap_122690)[12]' = $input_12 $heap_122692' = &$heap_122692 bytes_after(&$heap_122692)' = 120 $heap_122692' is allocated by malloc $heap_122692' is allocated bytes_before(&$heap_122692)' = 0 ((char*)&$heap_122692)[16]' = 0 ((char*)&$heap_122692)[20]' = 0 ((char*)&$heap_122692)[4]' = &$heap_122692 ((char*)&$heap_122692)[8]' = 0 ((char*)&$heap_122692)[116]' = 0 ((char*)&$heap_122692)[12]' = 0 bytes_after(&$heap_122693)' = 120 $heap_122693' is allocated by malloc $heap_122693' is allocated bytes_before(&$heap_122693)' = 0 ((char*)&$heap_122693)[16]' = 0 ((char*)&$heap_122693)[20]' = 0 ((char*)&$heap_122693)[8]' = 0 ((char*)&$heap_122693)[116]' = 0 ((char*)&$heap_122693)[12]' = 0 $heap_122694' = 1 bytes_after(&$heap_122694)' = 124 $heap_122694' is allocated by malloc bytes_before(&$heap_122694)' = 0 ((char*)&$heap_122694)[52]' = $input_81604 ((char*)&$heap_122694)[56]' = 2 ((char*)&$heap_122694)[72]' = 1 ((char*)&$heap_122694)[76]' = 1 ((char*)&$heap_122694)[80]' = &$heap_122692 ((char*)&$heap_122694)[8]' = &$heap_122696 ((char*)&$heap_122694)[84]' = &$heap_122695 ((char*)&$heap_122694)[92]' = &$heap_122693 ((char*)&$heap_122694)[100]' = 1 ((char*)&$heap_122694)[108]' = 1000 ((char*)&$heap_122694)[112]' = 0 bytes_after(&$heap_122695)' = 120 $heap_122695' is allocated by malloc $heap_122695' is allocated bytes_before(&$heap_122695)' = 0 ((char*)&$heap_122695)[16]' = 0 ((char*)&$heap_122695)[20]' = 0 ((char*)&$heap_122695)[8]' = 0 ((char*)&$heap_122695)[116]' = 0 ((char*)&$heap_122695)[12]' = 0 $heap_122696' = 63 bytes_after(&$heap_122696)' = 2 $heap_122696' is allocated by malloc $heap_122696' is allocated bytes_before(&$heap_122696)' = 0 strlen(&$heap_122696)' = 1 tocttou($heap_122696)' = tocttou(#string176) bytes_after(&$heap_122697)' = 120 $heap_122697' is allocated by malloc $heap_122697' is allocated bytes_before(&$heap_122697)' = 0 ((char*)&$heap_122697)[16]' = 0 ((char*)&$heap_122697)[20]' = 0 ((char*)&$heap_122697)[8]' = 0 ((char*)&$heap_122697)[116]' = 0 ((char*)&$heap_122697)[12]' = 0 $heap_122698' = 1 bytes_after(&$heap_122698)' = 124 $heap_122698' is allocated by malloc bytes_before(&$heap_122698)' = 0 ((char*)&$heap_122698)[44]' = pvmmydsig ((char*)&$heap_122698)[52]' = pvmudpmtu ((char*)&$heap_122698)[56]' = 2 ((char*)&$heap_122698)[72]' = 1 ((char*)&$heap_122698)[76]' = 1 ((char*)&$heap_122698)[80]' = &$heap_122699 ((char*)&$heap_122698)[8]' = &$heap_122702 ((char*)&$heap_122698)[84]' = &$heap_122701 ((char*)&$heap_122698)[92]' = &$heap_122697 ((char*)&$heap_122698)[100]' = 1 ((char*)&$heap_122698)[108]' = 1000 ((char*)&$heap_122698)[112]' = &$heap_122700 ((char*)&$heap_122698)[12]' = &$heap_122703 $heap_122699' = &$heap_122699 bytes_after(&$heap_122699)' = 120 $heap_122699' is allocated by malloc $heap_122699' is allocated bytes_before(&$heap_122699)' = 0 ((char*)&$heap_122699)[16]' = 0 ((char*)&$heap_122699)[20]' = 0 ((char*)&$heap_122699)[4]' = &$heap_122699 ((char*)&$heap_122699)[8]' = 0 ((char*)&$heap_122699)[116]' = 0 ((char*)&$heap_122699)[12]' = 0 bytes_after(&$heap_122700)' = 20 $heap_122700' is allocated by malloc $heap_122700' is allocated bytes_before(&$heap_122700)' = 0 ((char*)&$heap_122700)[16]' = 0 ((char*)&$heap_122700)[8]' = 0 ((char*)&$heap_122700)[12]' = 0 $heap_122701' = &$heap_122701 bytes_after(&$heap_122701)' = 120 $heap_122701' is allocated by malloc $heap_122701' is allocated bytes_before(&$heap_122701)' = 0 ((char*)&$heap_122701)[16]' = 0 ((char*)&$heap_122701)[20]' = 0 ((char*)&$heap_122701)[4]' = &$heap_122701 ((char*)&$heap_122701)[8]' = 0 ((char*)&$heap_122701)[116]' = 0 ((char*)&$heap_122701)[12]' = 0 $heap_122702' = 112 bytes_after(&$heap_122702)' = 6 $heap_122702' is allocated by malloc $heap_122702' is allocated bytes_before(&$heap_122702)' = 0 strlen(&$heap_122702)' = 5 tocttou($heap_122702)' = tocttou(#string167) $heap_122703' = *myarchname bytes_after(&$heap_122703)' = strlen(myarchname) + 1 $heap_122703' is allocated by malloc $heap_122703' is allocated bytes_before(&$heap_122703)' = 0 strlen(&$heap_122703)' = strlen(myarchname) tocttou($heap_122703)' = tocttou(*myarchname) bytes_after(&$heap_122704)' = 120 $heap_122704' is allocated by malloc bytes_before(&$heap_122704)' = 0 ((char*)&$heap_122704)[16]' = 0 ((char*)&$heap_122704)[20]' = 0 ((char*)&$heap_122704)[116]' = 0 bytes_after(&$heap_122705)' = 120 $heap_122705' is allocated by malloc bytes_before(&$heap_122705)' = 0 $heap_122706' = &$heap_122706 bytes_after(&$heap_122706)' = 120 $heap_122706' is allocated by malloc bytes_before(&$heap_122706)' = 0 ((char*)&$heap_122706)[16]' = 0 ((char*)&$heap_122706)[20]' = 0 ((char*)&$heap_122706)[4]' = &$heap_122706 ((char*)&$heap_122706)[116]' = 0 $heap_122707' = 0 bytes_after(&$heap_122707)' = 124 $heap_122707' is allocated by malloc $heap_122707' is freed bytes_before(&$heap_122707)' = 0 ((char*)&$heap_122707)[44]' = pvmmydsig ((char*)&$heap_122707)[52]' = pvmudpmtu ((char*)&$heap_122707)[56]' = 2 ((char*)&$heap_122707)[72]' = 1 ((char*)&$heap_122707)[76]' = 1 ((char*)&$heap_122707)[80]' = &$heap_122705 ((char*)&$heap_122707)[8]' = &$heap_122709 ((char*)&$heap_122707)[84]' = &$heap_122706 ((char*)&$heap_122707)[92]' = &$heap_122704 ((char*)&$heap_122707)[100]' = 1 ((char*)&$heap_122707)[108]' = 1000 ((char*)&$heap_122707)[112]' = &$heap_122708 ((char*)&$heap_122707)[12]' = &$heap_122710 bytes_after(&$heap_122708)' = 20 $heap_122708' is allocated by malloc bytes_before(&$heap_122708)' = 0 ((char*)&$heap_122708)[16]' = 0 ((char*)&$heap_122708)[8]' = 0 ((char*)&$heap_122708)[12]' = 0 $heap_122709' = *hn bytes_after(&$heap_122709)' = strlen(hn) + 1 $heap_122709' is allocated by malloc bytes_before(&$heap_122709)' = 0 strlen(&$heap_122709)' = strlen(hn) tocttou($heap_122709)' = tocttou(*hn) $heap_122710' = *myarchname bytes_after(&$heap_122710)' = strlen(myarchname) + 1 $heap_122710' is allocated by malloc bytes_before(&$heap_122710)' = 0 strlen(&$heap_122710)' = strlen(myarchname) tocttou($heap_122710)' = tocttou(*myarchname) $heap_122711' is allocated by open $heap_122711' is allocated $heap_122712' is allocated by open $heap_122712' is allocated $heap_122713' = $input_444 bytes_after(&$heap_122713)' = $input_81620 + 1 $heap_122713' is allocated by malloc $heap_122713' is a non-heap object bytes_before(&$heap_122713)' = 0 strlen(&$heap_122713)' = $input_81620 hosts' = &$heap_122690 hp' = &$heap_122707 i' = -1 lh' = $input_81596 log_ff' = 0 log_how' = 2 mh' = $input_12 ms' = 0 p' = &$heap_122713 |
||||||||||||
