pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at pvmd.c:5382
|
|
| 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 = 2 ((char*)&((char*)((char*)$heap_221150)[28])[4])[24] = 0 ((char*)&$heap_221161)[20] = 0 ((char*)&$heap_221161)[96] >= 0 $input_12 >= 0 |
||||||||||||
| Postconditions | ||||||||||||
atnewline' = 1 errno' != 0 filehosts' = 0 $heap_221150' = 1 bytes_after(&$heap_221150)' = 32 $heap_221150' is allocated by malloc $heap_221150' is allocated bytes_before(&$heap_221150)' = 0 ((char*)&$heap_221150)[16]' = 1 ((char*)&$heap_221150)[20]' = 1 ((char*)&$heap_221150)[8]' = ((char*)&$heap_221150)[8] + 1 ((char*)&$heap_221150)[12]' = 1 bytes_after(&$heap_221151)' = 120 $heap_221151' is allocated by malloc $heap_221151' is allocated bytes_before(&$heap_221151)' = 0 ((char*)&$heap_221151)[16]' = 0 ((char*)&$heap_221151)[20]' = 0 ((char*)&$heap_221151)[8]' = 0 ((char*)&$heap_221151)[116]' = 0 ((char*)&$heap_221151)[12]' = 0 bytes_after(&$heap_221152)' = 120 $heap_221152' is allocated by malloc $heap_221152' is allocated bytes_before(&$heap_221152)' = 0 ((char*)&$heap_221152)[16]' = 0 ((char*)&$heap_221152)[20]' = 0 ((char*)&$heap_221152)[8]' = 0 ((char*)&$heap_221152)[116]' = 0 ((char*)&$heap_221152)[12]' = 0 bytes_after(&$heap_221153)' = 20 $heap_221153' is allocated by malloc $heap_221153' is allocated bytes_before(&$heap_221153)' = 0 ((char*)&$heap_221153)[16]' = 0 ((char*)&$heap_221153)[8]' = 0 ((char*)&$heap_221153)[12]' = 0 $heap_221154' = 1 bytes_after(&$heap_221154)' = 124 $heap_221154' is allocated by malloc bytes_before(&$heap_221154)' = 0 ((char*)&$heap_221154)[44]' = pvmmydsig ((char*)&$heap_221154)[52]' = pvmudpmtu ((char*)&$heap_221154)[56]' = 2 ((char*)&$heap_221154)[72]' = 1 ((char*)&$heap_221154)[76]' = 1 ((char*)&$heap_221154)[80]' = &$heap_221155 ((char*)&$heap_221154)[8]' = &$heap_221156 ((char*)&$heap_221154)[84]' = &$heap_221152 ((char*)&$heap_221154)[92]' = &$heap_221151 ((char*)&$heap_221154)[100]' = 1 ((char*)&$heap_221154)[108]' = 1000 ((char*)&$heap_221154)[112]' = &$heap_221153 ((char*)&$heap_221154)[12]' = &$heap_221157 $heap_221155' = &$heap_221155 bytes_after(&$heap_221155)' = 120 $heap_221155' is allocated by malloc $heap_221155' is allocated bytes_before(&$heap_221155)' = 0 ((char*)&$heap_221155)[16]' = 0 ((char*)&$heap_221155)[20]' = 0 ((char*)&$heap_221155)[4]' = &$heap_221155 ((char*)&$heap_221155)[8]' = 0 ((char*)&$heap_221155)[116]' = 0 ((char*)&$heap_221155)[12]' = 0 $heap_221156' = *hn bytes_after(&$heap_221156)' = strlen(hn) + 1 $heap_221156' is allocated by malloc $heap_221156' is allocated bytes_before(&$heap_221156)' = 0 strlen(&$heap_221156)' = strlen(hn) tocttou($heap_221156)' = tocttou(*hn) $heap_221157' = *myarchname bytes_after(&$heap_221157)' = strlen(myarchname) + 1 $heap_221157' is allocated by malloc $heap_221157' is allocated bytes_before(&$heap_221157)' = 0 strlen(&$heap_221157)' = strlen(myarchname) tocttou($heap_221157)' = tocttou(*myarchname) bytes_after(&$heap_221158)' = 120 $heap_221158' is allocated by malloc bytes_before(&$heap_221158)' = 0 ((char*)&$heap_221158)[16]' = 0 ((char*)&$heap_221158)[20]' = 0 ((char*)&$heap_221158)[116]' = 0 $heap_221159' = &$heap_221159 bytes_after(&$heap_221159)' = 120 $heap_221159' is allocated by malloc bytes_before(&$heap_221159)' = 0 ((char*)&$heap_221159)[16]' = 0 ((char*)&$heap_221159)[20]' = 0 ((char*)&$heap_221159)[4]' = &$heap_221159 ((char*)&$heap_221159)[116]' = 0 bytes_after(&$heap_221160)' = 20 $heap_221160' is allocated by malloc bytes_before(&$heap_221160)' = 0 ((char*)&$heap_221160)[16]' = 0 ((char*)&$heap_221160)[8]' = 0 ((char*)&$heap_221160)[12]' = 0 $heap_221161' = 0 bytes_after(&$heap_221161)' = 124 $heap_221161' is allocated by malloc $heap_221161' is freed bytes_before(&$heap_221161)' = 0 ((char*)&$heap_221161)[44]' = pvmmydsig ((char*)&$heap_221161)[52]' = pvmudpmtu ((char*)&$heap_221161)[56]' = 2 ((char*)&$heap_221161)[72]' = 1 ((char*)&$heap_221161)[76]' = 1 ((char*)&$heap_221161)[80]' = &$heap_221162 ((char*)&$heap_221161)[8]' = &$heap_221163 ((char*)&$heap_221161)[84]' = &$heap_221159 ((char*)&$heap_221161)[92]' = &$heap_221158 ((char*)&$heap_221161)[100]' = 1 ((char*)&$heap_221161)[108]' = 1000 ((char*)&$heap_221161)[112]' = &$heap_221160 ((char*)&$heap_221161)[12]' = &$heap_221164 $heap_221162' = &$heap_221162 bytes_after(&$heap_221162)' = 120 $heap_221162' is allocated by malloc bytes_before(&$heap_221162)' = 0 ((char*)&$heap_221162)[16]' = 0 ((char*)&$heap_221162)[20]' = 0 ((char*)&$heap_221162)[4]' = &$heap_221162 ((char*)&$heap_221162)[8]' = 0 ((char*)&$heap_221162)[116]' = 0 ((char*)&$heap_221162)[12]' = 0 $heap_221163' = 112 bytes_after(&$heap_221163)' = 6 $heap_221163' is allocated by malloc bytes_before(&$heap_221163)' = 0 strlen(&$heap_221163)' = 5 tocttou($heap_221163)' = tocttou(#string167) $heap_221164' = *myarchname bytes_after(&$heap_221164)' = strlen(myarchname) + 1 $heap_221164' is allocated by malloc bytes_before(&$heap_221164)' = 0 strlen(&$heap_221164)' = strlen(myarchname) tocttou($heap_221164)' = tocttou(*myarchname) $heap_221165' = $input_444 bytes_after(&$heap_221165)' = $input_12 + 1 $heap_221165' is allocated by malloc $heap_221165' is a non-heap object bytes_before(&$heap_221165)' = 0 strlen(&$heap_221165)' = $input_12 hosts' = &$heap_221150 hp' = ((char*)&((char*)$heap_221150)[28])[4] s' = &$heap_221165 |
||||||||||||
