pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5593
|
|
| 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_722865 != 0 *argv[5] != 58 *argv[2] != 58 $unknown_722867 != 58 ((char*)&$heap_103813)[20] != 0 ((char*)&$heap_103813)[96] >= 0 |
||||||||||||
| Postconditions | ||||||||||||
((char*)$heap_103813)[20]' is freed *stdout' is allocated by fopen bytes_before(stdout)' = 0 ac' = 6 argc' = 6 atnewline' = 1 bad' = 0 strlen(&buf[0])' = 17 buf[17]' = 0 debugger' = &$unknown_722868 dof' = &$unknown_722865 epaths' = &$heap_103827 errno' != 0 hd' = &#string17[0] $heap_103805' = 1 bytes_after(&$heap_103805)' = 32 $heap_103805' is allocated by malloc $heap_103805' is allocated bytes_before(&$heap_103805)' = 0 ((char*)&$heap_103805)[16]' = $input_12 ((char*)&$heap_103805)[20]' = $input_69612 ((char*)&$heap_103805)[12]' = $input_12 $heap_103807' = &$heap_103807 bytes_after(&$heap_103807)' = 120 $heap_103807' is allocated by malloc $heap_103807' is allocated bytes_before(&$heap_103807)' = 0 ((char*)&$heap_103807)[16]' = 0 ((char*)&$heap_103807)[20]' = 0 ((char*)&$heap_103807)[4]' = &$heap_103807 ((char*)&$heap_103807)[8]' = 0 ((char*)&$heap_103807)[116]' = 0 ((char*)&$heap_103807)[12]' = 0 bytes_after(&$heap_103808)' = 120 $heap_103808' is allocated by malloc $heap_103808' is allocated bytes_before(&$heap_103808)' = 0 ((char*)&$heap_103808)[16]' = 0 ((char*)&$heap_103808)[20]' = 0 ((char*)&$heap_103808)[8]' = 0 ((char*)&$heap_103808)[116]' = 0 ((char*)&$heap_103808)[12]' = 0 $heap_103809' = 1 bytes_after(&$heap_103809)' = 124 $heap_103809' is allocated by malloc bytes_before(&$heap_103809)' = 0 ((char*)&$heap_103809)[52]' = $input_69620 ((char*)&$heap_103809)[56]' = 2 ((char*)&$heap_103809)[72]' = 1 ((char*)&$heap_103809)[76]' = 1 ((char*)&$heap_103809)[80]' = &$heap_103807 ((char*)&$heap_103809)[8]' = &$heap_103811 ((char*)&$heap_103809)[84]' = &$heap_103810 ((char*)&$heap_103809)[92]' = &$heap_103808 ((char*)&$heap_103809)[100]' = 1 ((char*)&$heap_103809)[108]' = 1000 ((char*)&$heap_103809)[112]' = 0 $heap_103810' = &$heap_103810 bytes_after(&$heap_103810)' = 120 $heap_103810' is allocated by malloc $heap_103810' is allocated bytes_before(&$heap_103810)' = 0 ((char*)&$heap_103810)[16]' = 0 ((char*)&$heap_103810)[20]' = 0 ((char*)&$heap_103810)[4]' = &$heap_103810 ((char*)&$heap_103810)[8]' = 0 ((char*)&$heap_103810)[116]' = 0 ((char*)&$heap_103810)[12]' = 0 $heap_103811' = 63 bytes_after(&$heap_103811)' = 2 $heap_103811' is allocated by malloc $heap_103811' is allocated bytes_before(&$heap_103811)' = 0 strlen(&$heap_103811)' = 1 tocttou($heap_103811)' = tocttou(#string176) bytes_after(&$heap_103812)' = 120 $heap_103812' is allocated by malloc bytes_before(&$heap_103812)' = 0 $heap_103813' = 0 bytes_after(&$heap_103813)' = 124 $heap_103813' is allocated by malloc $heap_103813' is freed bytes_before(&$heap_103813)' = 0 ((char*)&$heap_103813)[44]' = pvmmydsig ((char*)&$heap_103813)[52]' = pvmudpmtu ((char*)&$heap_103813)[56]' = 2 ((char*)&$heap_103813)[72]' = 1 ((char*)&$heap_103813)[76]' = 1 ((char*)&$heap_103813)[80]' = &$heap_103812 ((char*)&$heap_103813)[8]' = &$heap_103816 ((char*)&$heap_103813)[84]' = &$heap_103814 ((char*)&$heap_103813)[92]' = &$heap_103815 ((char*)&$heap_103813)[100]' = 1 ((char*)&$heap_103813)[108]' = 1000 ((char*)&$heap_103813)[112]' = 0 ((char*)&$heap_103813)[12]' = &$heap_103817 $heap_103814' = &$heap_103814 bytes_after(&$heap_103814)' = 120 $heap_103814' is allocated by malloc bytes_before(&$heap_103814)' = 0 ((char*)&$heap_103814)[16]' = 0 ((char*)&$heap_103814)[20]' = 0 ((char*)&$heap_103814)[4]' = &$heap_103814 ((char*)&$heap_103814)[116]' = 0 bytes_after(&$heap_103815)' = 120 $heap_103815' is allocated by malloc bytes_before(&$heap_103815)' = 0 ((char*)&$heap_103815)[16]' = 0 ((char*)&$heap_103815)[20]' = 0 ((char*)&$heap_103815)[116]' = 0 $heap_103816' = 112 bytes_after(&$heap_103816)' = 6 $heap_103816' is allocated by malloc bytes_before(&$heap_103816)' = 0 strlen(&$heap_103816)' = 5 tocttou($heap_103816)' = tocttou(#string167) $heap_103817' = *myarchname bytes_after(&$heap_103817)' = strlen(myarchname) + 1 $heap_103817' is allocated by malloc bytes_before(&$heap_103817)' = 0 strlen(&$heap_103817)' = strlen(myarchname) tocttou($heap_103817)' = tocttou(*myarchname) bytes_after(&$heap_103818)' = 120 $heap_103818' is allocated by malloc $heap_103818' is allocated bytes_before(&$heap_103818)' = 0 ((char*)&$heap_103818)[16]' = 0 ((char*)&$heap_103818)[20]' = 0 ((char*)&$heap_103818)[8]' = 0 ((char*)&$heap_103818)[116]' = 0 ((char*)&$heap_103818)[12]' = 0 bytes_after(&$heap_103819)' = 120 $heap_103819' is allocated by malloc $heap_103819' is allocated bytes_before(&$heap_103819)' = 0 ((char*)&$heap_103819)[16]' = 0 ((char*)&$heap_103819)[20]' = 0 ((char*)&$heap_103819)[8]' = 0 ((char*)&$heap_103819)[116]' = 0 ((char*)&$heap_103819)[12]' = 0 bytes_after(&$heap_103820)' = 120 $heap_103820' is allocated by malloc $heap_103820' is allocated bytes_before(&$heap_103820)' = 0 ((char*)&$heap_103820)[16]' = 0 ((char*)&$heap_103820)[20]' = 0 ((char*)&$heap_103820)[8]' = 0 ((char*)&$heap_103820)[116]' = 0 ((char*)&$heap_103820)[12]' = 0 $heap_103821' = 1 bytes_after(&$heap_103821)' = 124 $heap_103821' is allocated by malloc bytes_before(&$heap_103821)' = 0 ((char*)&$heap_103821)[44]' = pvmmydsig ((char*)&$heap_103821)[52]' = pvmudpmtu ((char*)&$heap_103821)[56]' = 2 ((char*)&$heap_103821)[72]' = 1 ((char*)&$heap_103821)[76]' = 1 ((char*)&$heap_103821)[80]' = &$heap_103819 ((char*)&$heap_103821)[8]' = &$heap_103823 ((char*)&$heap_103821)[84]' = &$heap_103820 ((char*)&$heap_103821)[92]' = &$heap_103818 ((char*)&$heap_103821)[100]' = 1 ((char*)&$heap_103821)[108]' = 1000 ((char*)&$heap_103821)[112]' = &$heap_103822 ((char*)&$heap_103821)[12]' = &$heap_103824 bytes_after(&$heap_103822)' = 20 $heap_103822' is allocated by malloc $heap_103822' is allocated bytes_before(&$heap_103822)' = 0 ((char*)&$heap_103822)[16]' = 0 ((char*)&$heap_103822)[8]' = 0 ((char*)&$heap_103822)[12]' = 0 $heap_103823' = *hn bytes_after(&$heap_103823)' = strlen(hn) + 1 $heap_103823' is allocated by malloc $heap_103823' is allocated bytes_before(&$heap_103823)' = 0 strlen(&$heap_103823)' = strlen(hn) tocttou($heap_103823)' = tocttou(*hn) $heap_103824' = *myarchname bytes_after(&$heap_103824)' = strlen(myarchname) + 1 $heap_103824' is allocated by malloc $heap_103824' is allocated bytes_before(&$heap_103824)' = 0 strlen(&$heap_103824)' = strlen(myarchname) tocttou($heap_103824)' = tocttou(*myarchname) $heap_103825' is allocated by open $heap_103825' is allocated $heap_103826' = 36 bytes_after(&$heap_103826)' = 49 $heap_103826' is allocated by malloc $heap_103826' is freed bytes_before(&$heap_103826)' = 0 tocttou($heap_103826)' = tocttou(#string168) $heap_103827' = &$unknown_722867 $heap_103827' is allocated by malloc $heap_103827' is allocated bytes_before(&$heap_103827)' = 0 ((char*)&$heap_103827)[4]' = 0 $heap_103828' = 36 bytes_after(&$heap_103828)' = 23 $heap_103828' is allocated by malloc $heap_103828' is freed bytes_before(&$heap_103828)' = 0 tocttou($heap_103828)' = tocttou(#string170) hosts' = &$heap_103805 hp' = &$heap_103821 i' = -1 lh' = $input_69612 log_ff' = 0 log_how' = 2 mh' = $input_12 ms' = 1 p' = 0 s' = 0 tmbuf.tm_sec' = &$unknown_722869 |
||||||||||||
