pvm3.4.6 : pvm3.4.6 analysis 2 : Buffer Overrun at pvmd.c:5233
|
|
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
$param_2 = 2 ((char*)((char*)((char*)$heap_217346)[28])[4])[24] != 36 ((char*)((char*)((char*)$heap_217346)[28])[4])[28] != 0 strlen(((char*)&((char*)((char*)$heap_217346)[28])[4])[28]) != 0 strlen(&$unknown_766027) != 1 strlen(&$unknown_766027) > 0 ((char*)&$heap_217357)[20] = 0 ((char*)&$heap_217357)[96] >= 0 $heap_217361 != 58 $heap_217363 = 36 ((char*)&$heap_217363)[1] = 123 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
((char*)&((char*)((char*)$heap_217346)[28])[4])[32]' = &$heap_217363 $unknown_766026' is allocated by malloc atnewline' = 1 debugger' = &$unknown_766026 epaths' = &$heap_217362 errno' != 0 filehosts' = 0 hd' = &#string17[0] $heap_217346' = 1 bytes_after(&$heap_217346)' = 32 $heap_217346' is allocated by malloc $heap_217346' is allocated bytes_before(&$heap_217346)' = 0 ((char*)&$heap_217346)[16]' = 1 ((char*)&$heap_217346)[20]' = 1 ((char*)&$heap_217346)[8]' = ((char*)&$heap_217346)[8] + 1 ((char*)&$heap_217346)[12]' = 1 bytes_after(&$heap_217347)' = 120 $heap_217347' is allocated by malloc $heap_217347' is allocated bytes_before(&$heap_217347)' = 0 ((char*)&$heap_217347)[16]' = 0 ((char*)&$heap_217347)[20]' = 0 ((char*)&$heap_217347)[8]' = 0 ((char*)&$heap_217347)[116]' = 0 ((char*)&$heap_217347)[12]' = 0 bytes_after(&$heap_217348)' = 120 $heap_217348' is allocated by malloc $heap_217348' is allocated bytes_before(&$heap_217348)' = 0 ((char*)&$heap_217348)[16]' = 0 ((char*)&$heap_217348)[20]' = 0 ((char*)&$heap_217348)[8]' = 0 ((char*)&$heap_217348)[116]' = 0 ((char*)&$heap_217348)[12]' = 0 bytes_after(&$heap_217349)' = 20 $heap_217349' is allocated by malloc $heap_217349' is allocated bytes_before(&$heap_217349)' = 0 ((char*)&$heap_217349)[16]' = 0 ((char*)&$heap_217349)[8]' = 0 ((char*)&$heap_217349)[12]' = 0 $heap_217350' = 1 bytes_after(&$heap_217350)' = 124 $heap_217350' is allocated by malloc bytes_before(&$heap_217350)' = 0 ((char*)&$heap_217350)[44]' = pvmmydsig ((char*)&$heap_217350)[52]' = pvmudpmtu ((char*)&$heap_217350)[56]' = 2 ((char*)&$heap_217350)[72]' = 1 ((char*)&$heap_217350)[76]' = 1 ((char*)&$heap_217350)[80]' = &$heap_217351 ((char*)&$heap_217350)[8]' = &$heap_217352 ((char*)&$heap_217350)[84]' = &$heap_217348 ((char*)&$heap_217350)[92]' = &$heap_217347 ((char*)&$heap_217350)[100]' = 1 ((char*)&$heap_217350)[108]' = 1000 ((char*)&$heap_217350)[112]' = &$heap_217349 ((char*)&$heap_217350)[12]' = &$heap_217353 $heap_217351' = &$heap_217351 bytes_after(&$heap_217351)' = 120 $heap_217351' is allocated by malloc $heap_217351' is allocated bytes_before(&$heap_217351)' = 0 ((char*)&$heap_217351)[16]' = 0 ((char*)&$heap_217351)[20]' = 0 ((char*)&$heap_217351)[4]' = &$heap_217351 ((char*)&$heap_217351)[8]' = 0 ((char*)&$heap_217351)[116]' = 0 ((char*)&$heap_217351)[12]' = 0 $heap_217352' = *hn bytes_after(&$heap_217352)' = strlen(hn) + 1 $heap_217352' is allocated by malloc $heap_217352' is allocated bytes_before(&$heap_217352)' = 0 strlen(&$heap_217352)' = strlen(hn) tocttou($heap_217352)' = tocttou(*hn) $heap_217353' = *myarchname bytes_after(&$heap_217353)' = strlen(myarchname) + 1 $heap_217353' is allocated by malloc $heap_217353' is allocated bytes_before(&$heap_217353)' = 0 strlen(&$heap_217353)' = strlen(myarchname) tocttou($heap_217353)' = tocttou(*myarchname) bytes_after(&$heap_217354)' = 120 $heap_217354' is allocated by malloc bytes_before(&$heap_217354)' = 0 ((char*)&$heap_217354)[16]' = 0 ((char*)&$heap_217354)[20]' = 0 ((char*)&$heap_217354)[116]' = 0 $heap_217355' = &$heap_217355 bytes_after(&$heap_217355)' = 120 $heap_217355' is allocated by malloc bytes_before(&$heap_217355)' = 0 ((char*)&$heap_217355)[16]' = 0 ((char*)&$heap_217355)[20]' = 0 ((char*)&$heap_217355)[4]' = &$heap_217355 ((char*)&$heap_217355)[116]' = 0 bytes_after(&$heap_217356)' = 20 $heap_217356' is allocated by malloc bytes_before(&$heap_217356)' = 0 ((char*)&$heap_217356)[16]' = 0 ((char*)&$heap_217356)[8]' = 0 ((char*)&$heap_217356)[12]' = 0 $heap_217357' = 0 bytes_after(&$heap_217357)' = 124 $heap_217357' is allocated by malloc $heap_217357' is freed bytes_before(&$heap_217357)' = 0 ((char*)&$heap_217357)[44]' = pvmmydsig ((char*)&$heap_217357)[52]' = pvmudpmtu ((char*)&$heap_217357)[56]' = 2 ((char*)&$heap_217357)[72]' = 1 ((char*)&$heap_217357)[76]' = 1 ((char*)&$heap_217357)[80]' = &$heap_217358 ((char*)&$heap_217357)[8]' = &$heap_217359 ((char*)&$heap_217357)[84]' = &$heap_217355 ((char*)&$heap_217357)[92]' = &$heap_217354 ((char*)&$heap_217357)[100]' = 1 ((char*)&$heap_217357)[108]' = 1000 ((char*)&$heap_217357)[112]' = &$heap_217356 ((char*)&$heap_217357)[12]' = &$heap_217360 bytes_after(&$heap_217358)' = 120 $heap_217358' is allocated by malloc bytes_before(&$heap_217358)' = 0 ((char*)&$heap_217358)[16]' = 0 ((char*)&$heap_217358)[20]' = 0 ((char*)&$heap_217358)[8]' = 0 ((char*)&$heap_217358)[116]' = 0 ((char*)&$heap_217358)[12]' = 0 $heap_217359' = 112 bytes_after(&$heap_217359)' = 6 $heap_217359' is allocated by malloc bytes_before(&$heap_217359)' = 0 strlen(&$heap_217359)' = 5 tocttou($heap_217359)' = tocttou(#string167) $heap_217360' = *myarchname bytes_after(&$heap_217360)' = strlen(myarchname) + 1 $heap_217360' is allocated by malloc bytes_before(&$heap_217360)' = 0 strlen(&$heap_217360)' = strlen(myarchname) tocttou($heap_217360)' = tocttou(*myarchname) bytes_after(&$heap_217361)' = 8 $heap_217361' is allocated by malloc bytes_before(&$heap_217361)' = 0 strlen(&$heap_217361)' <= 7 $heap_217362' = &$heap_217361 $heap_217362' is allocated by malloc $heap_217362' is allocated bytes_before(&$heap_217362)' = 0 ((char*)&$heap_217362)[4]' = 0 bytes_after(&$heap_217363)' = 2 $heap_217363' is allocated by malloc $heap_217363' is allocated bytes_before(&$heap_217363)' = 0 strlen(&$heap_217363)' = strlen(&$unknown_766027) hosts' = &$heap_217346 hp' = ((char*)&((char*)$heap_217346)[28])[4] l' = 0 p' = &$heap_217363 + 2 r' = 0 rl' = 0 rm' = 8 s' = 0 s' = &$heap_217363 vn' = &$heap_217363 + 2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
