pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5523
|
|
|||||||||||||||||||||||||||||
| 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 *argv[5] != 58 *argv[2] != 58 ((char*)&$heap_167200)[96] >= 0 ((char*)&$heap_167200)[12] >= 0 |
||||||||||||
| Postconditions | ||||||||||||
ac' = 6 argc' = 6 atnewline' = 0 bad' = 0 errno' != 0 $heap_167196' = 1 bytes_after(&$heap_167196)' = 32 $heap_167196' is allocated by malloc $heap_167196' is allocated bytes_before(&$heap_167196)' = 0 ((char*)&$heap_167196)[16]' = $input_12 ((char*)&$heap_167196)[20]' = $input_100332 ((char*)&$heap_167196)[24]' >= 0 ((char*)&$heap_167196)[24]' <= 1 ((char*)&$heap_167196)[8]' = ((char*)&$heap_167196)[8] + 1 ((char*)&$heap_167196)[12]' = $input_12 bytes_after(&$heap_167197)' = 120 $heap_167197' is allocated by malloc bytes_before(&$heap_167197)' = 0 ((char*)&$heap_167197)[16]' = 0 ((char*)&$heap_167197)[20]' = 0 ((char*)&$heap_167197)[116]' = 0 bytes_after(&$heap_167198)' = 120 $heap_167198' is allocated by malloc bytes_before(&$heap_167198)' = 0 ((char*)&$heap_167198)[16]' = 0 ((char*)&$heap_167198)[4]' = &$heap_167198 bytes_after(&$heap_167199)' = 120 $heap_167199' is allocated by malloc bytes_before(&$heap_167199)' = 0 ((char*)&$heap_167199)[8]' = 0 ((char*)&$heap_167199)[116]' = 0 $heap_167200' = 0 bytes_after(&$heap_167200)' = 124 $heap_167200' is allocated by malloc $heap_167200' is freed bytes_before(&$heap_167200)' = 0 ((char*)&$heap_167200)[52]' = $input_100340 ((char*)&$heap_167200)[56]' = 2 ((char*)&$heap_167200)[72]' = 1 ((char*)&$heap_167200)[76]' = 1 ((char*)&$heap_167200)[80]' = &$heap_167199 ((char*)&$heap_167200)[8]' = &$heap_167202 ((char*)&$heap_167200)[84]' = &$heap_167198 ((char*)&$heap_167200)[92]' = &$heap_167197 ((char*)&$heap_167200)[100]' = 1 ((char*)&$heap_167200)[108]' = 1000 ((char*)&$heap_167200)[112]' = &$heap_167201 bytes_after(&$heap_167201)' = 20 $heap_167201' is allocated by malloc bytes_before(&$heap_167201)' = 0 ((char*)&$heap_167201)[16]' = 0 ((char*)&$heap_167201)[8]' = 0 ((char*)&$heap_167201)[12]' = 0 $heap_167202' = 63 bytes_after(&$heap_167202)' = 2 $heap_167202' is allocated by malloc bytes_before(&$heap_167202)' = 0 strlen(&$heap_167202)' = 1 tocttou($heap_167202)' = tocttou(#string176) $heap_167203' = &$heap_167203 bytes_after(&$heap_167203)' = 120 $heap_167203' is allocated by malloc $heap_167203' is allocated bytes_before(&$heap_167203)' = 0 ((char*)&$heap_167203)[16]' = 0 ((char*)&$heap_167203)[20]' = 0 ((char*)&$heap_167203)[4]' = &$heap_167203 ((char*)&$heap_167203)[8]' = 0 ((char*)&$heap_167203)[116]' = 0 ((char*)&$heap_167203)[12]' = 0 $heap_167204' = 1 bytes_after(&$heap_167204)' = 124 $heap_167204' is allocated by malloc bytes_before(&$heap_167204)' = 0 ((char*)&$heap_167204)[44]' = pvmmydsig ((char*)&$heap_167204)[52]' = pvmudpmtu ((char*)&$heap_167204)[56]' = 2 ((char*)&$heap_167204)[72]' = 1 ((char*)&$heap_167204)[76]' = 1 ((char*)&$heap_167204)[80]' = &$heap_167203 ((char*)&$heap_167204)[8]' = &$heap_167207 ((char*)&$heap_167204)[84]' = &$heap_167206 ((char*)&$heap_167204)[92]' = &$heap_167205 ((char*)&$heap_167204)[100]' = 1 ((char*)&$heap_167204)[108]' = 1000 ((char*)&$heap_167204)[112]' = 0 ((char*)&$heap_167204)[12]' = &$heap_167208 bytes_after(&$heap_167205)' = 120 $heap_167205' is allocated by malloc $heap_167205' is allocated bytes_before(&$heap_167205)' = 0 ((char*)&$heap_167205)[16]' = 0 ((char*)&$heap_167205)[20]' = 0 ((char*)&$heap_167205)[8]' = 0 ((char*)&$heap_167205)[116]' = 0 ((char*)&$heap_167205)[12]' = 0 $heap_167206' = &$heap_167206 bytes_after(&$heap_167206)' = 120 $heap_167206' is allocated by malloc $heap_167206' is allocated bytes_before(&$heap_167206)' = 0 ((char*)&$heap_167206)[16]' = 0 ((char*)&$heap_167206)[20]' = 0 ((char*)&$heap_167206)[4]' = &$heap_167206 ((char*)&$heap_167206)[8]' = 0 ((char*)&$heap_167206)[116]' = 0 ((char*)&$heap_167206)[12]' = 0 $heap_167207' = 112 bytes_after(&$heap_167207)' = 6 $heap_167207' is allocated by malloc $heap_167207' is allocated bytes_before(&$heap_167207)' = 0 strlen(&$heap_167207)' = 5 tocttou($heap_167207)' = tocttou(#string167) $heap_167208' = *myarchname bytes_after(&$heap_167208)' = strlen(myarchname) + 1 $heap_167208' is allocated by malloc $heap_167208' is allocated bytes_before(&$heap_167208)' = 0 strlen(&$heap_167208)' = strlen(myarchname) tocttou($heap_167208)' = tocttou(*myarchname) hosts' = &$heap_167196 hp' = 0 i' = argc lh' = $input_100332 mh' = $input_12 tmbuf.tm_sec' = &$unknown_732852 |
||||||||||||
