Pvm : Pvm analysis 1 : Buffer Overrun at pvmd.c:5238
|
|
| 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 &$heap_115227 <= &$unknown_849616 - 2 ((char*)&$unknown_849609)[4] >= 1 strlen(&$unknown_849614) != 1 strlen(&$unknown_849614) > 0 ((char*)&$unknown_849616)[1] != 95 ((char*)&$heap_115208)[8] >= -1 ((char*)&$heap_115216)[144] >= 0 ((char*)&$heap_115216)[32] = 0 $heap_115227 = 36 ((char*)&$heap_115227)[1] = 123 $input_12 >= 1 $input_60 != 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
((char*)&$unknown_849610)[184]' = &$heap_115222 ((char*)&$unknown_849610)[40]' = &$heap_115224 ((char*)&$unknown_849610)[48]' = &$heap_115226 ((char*)&$unknown_849610)[56]' = &$heap_115227 strlen(&$unknown_849616)' = 1 ((char*)&$unknown_849616)[1]' = 0 argc' = $param_2 argv' = $param_3 atnewline' = 1 c' = ((char*)&$unknown_849616)[1] debugger' = &$unknown_849613 epaths' = &$heap_115225 filehosts' = &$unknown_849609 hd' = &#string17[0] $heap_115208' = 1 bytes_after(&$heap_115208)' = 40 $heap_115208' is allocated by malloc $heap_115208' is allocated bytes_before(&$heap_115208)' = 0 strlen(&$heap_115208)' = 0 ((char*)&$heap_115208)[16]' = 1 ((char*)&$heap_115208)[20]' = 1 ((char*)&$heap_115208)[8]' = ((char*)&$heap_115208)[8] + 1 ((char*)&$heap_115208)[12]' = 1 $heap_115210' = 1 bytes_after(&$heap_115210)' = 200 $heap_115210' is allocated by malloc bytes_before(&$heap_115210)' = 0 strlen(&$heap_115210)' = 0 ((char*)&$heap_115210)[136]' = &$heap_115211 ((char*)&$heap_115210)[152]' = 1 ((char*)&$heap_115210)[16]' = &$heap_115215 ((char*)&$heap_115210)[168]' = 1000 ((char*)&$heap_115210)[176]' = 0 ((char*)&$heap_115210)[76]' = pvmmydsig ((char*)&$heap_115210)[8]' = &$heap_115214 ((char*)&$heap_115210)[84]' = pvmudpmtu ((char*)&$heap_115210)[88]' = 2 ((char*)&$heap_115210)[104]' = 1 ((char*)&$heap_115210)[108]' = 1 ((char*)&$heap_115210)[112]' = &$heap_115213 ((char*)&$heap_115210)[120]' = &$heap_115212 $heap_115211' = &$heap_115211 bytes_after(&$heap_115211)' = 184 $heap_115211' is allocated by malloc $heap_115211' is allocated bytes_before(&$heap_115211)' = 0 ((char*)&$heap_115211)[16]' = 0 ((char*)&$heap_115211)[176]' = 0 ((char*)&$heap_115211)[24]' = 0 ((char*)&$heap_115211)[32]' = 0 ((char*)&$heap_115211)[40]' = 0 ((char*)&$heap_115211)[8]' = &$heap_115211 bytes_after(&$heap_115212)' = 184 $heap_115212' is allocated by malloc $heap_115212' is allocated bytes_before(&$heap_115212)' = 0 ((char*)&$heap_115212)[16]' = 0 ((char*)&$heap_115212)[176]' = 0 ((char*)&$heap_115212)[24]' = 0 ((char*)&$heap_115212)[32]' = 0 ((char*)&$heap_115212)[40]' = 0 bytes_after(&$heap_115213)' = 184 $heap_115213' is allocated by malloc $heap_115213' is allocated bytes_before(&$heap_115213)' = 0 ((char*)&$heap_115213)[16]' = 0 ((char*)&$heap_115213)[176]' = 0 ((char*)&$heap_115213)[24]' = 0 ((char*)&$heap_115213)[32]' = 0 ((char*)&$heap_115213)[40]' = 0 $heap_115214' = *$param_1 bytes_after(&$heap_115214)' = strlen($param_1) + 1 $heap_115214' is allocated by malloc $heap_115214' is allocated bytes_before(&$heap_115214)' = 0 strlen(&$heap_115214)' = strlen($param_1) $heap_115215' = *myarchname bytes_after(&$heap_115215)' = strlen(myarchname) + 1 $heap_115215' is allocated by malloc $heap_115215' is allocated bytes_before(&$heap_115215)' = 0 strlen(&$heap_115215)' = strlen(myarchname) $heap_115216' = 0 bytes_after(&$heap_115216)' = 200 $heap_115216' is allocated by malloc $heap_115216' is freed bytes_before(&$heap_115216)' = 0 strlen(&$heap_115216)' = 0 ((char*)&$heap_115216)[136]' = &$heap_115219 ((char*)&$heap_115216)[152]' = 1 ((char*)&$heap_115216)[16]' = &$heap_115221 ((char*)&$heap_115216)[168]' = 1000 ((char*)&$heap_115216)[176]' = 0 ((char*)&$heap_115216)[76]' = pvmmydsig ((char*)&$heap_115216)[8]' = &$heap_115220 ((char*)&$heap_115216)[84]' = pvmudpmtu ((char*)&$heap_115216)[88]' = 2 ((char*)&$heap_115216)[104]' = 1 ((char*)&$heap_115216)[108]' = 1 ((char*)&$heap_115216)[112]' = &$heap_115218 ((char*)&$heap_115216)[120]' = &$heap_115217 bytes_after(&$heap_115217)' = 184 $heap_115217' is allocated by malloc bytes_before(&$heap_115217)' = 0 ((char*)&$heap_115217)[176]' = 0 ((char*)&$heap_115217)[32]' = 0 ((char*)&$heap_115217)[40]' = 0 bytes_after(&$heap_115218)' = 184 $heap_115218' is allocated by malloc bytes_before(&$heap_115218)' = 0 ((char*)&$heap_115218)[16]' = 0 ((char*)&$heap_115218)[176]' = 0 ((char*)&$heap_115218)[24]' = 0 ((char*)&$heap_115218)[32]' = 0 ((char*)&$heap_115218)[40]' = 0 bytes_after(&$heap_115219)' = 184 $heap_115219' is allocated by malloc bytes_before(&$heap_115219)' = 0 ((char*)&$heap_115219)[176]' = 0 ((char*)&$heap_115219)[32]' = 0 ((char*)&$heap_115219)[40]' = 0 $heap_115220' = 112 bytes_after(&$heap_115220)' = 6 $heap_115220' is allocated by malloc bytes_before(&$heap_115220)' = 0 strlen(&$heap_115220)' = 5 $heap_115221' = *myarchname bytes_after(&$heap_115221)' = strlen(myarchname) + 1 $heap_115221' is allocated by malloc bytes_before(&$heap_115221)' = 0 strlen(&$heap_115221)' = strlen(myarchname) bytes_after(&$heap_115222)' = strlen(((char*)&$unknown_849611)[184]) + 1 $heap_115222' is allocated by malloc $heap_115222' is allocated bytes_before(&$heap_115222)' = 0 strlen(&$heap_115222)' = strlen(((char*)&$unknown_849611)[184]) $heap_115223' = $input_60 bytes_after(&$heap_115223)' = $input_12 + 1 $heap_115223' is allocated by malloc $heap_115223' is a non-heap object bytes_before(&$heap_115223)' = 0 strlen(&$heap_115223)' = $input_12 $heap_115224' = $input_60 bytes_after(&$heap_115224)' = $input_12 + 1 $heap_115224' is allocated by malloc $heap_115224' is allocated bytes_before(&$heap_115224)' = 0 $heap_115225' = &$unknown_849612 $heap_115225' is allocated by malloc $heap_115225' is allocated bytes_before(&$heap_115225)' = 0 ((char*)&$heap_115225)[8]' = 0 $heap_115226' = 36 bytes_after(&$heap_115226)' = 23 $heap_115226' is allocated by malloc $heap_115226' is allocated bytes_before(&$heap_115226)' = 0 bytes_after(&$heap_115227)' = 2 $heap_115227' is allocated by malloc $heap_115227' is allocated bytes_before(&$heap_115227)' = 0 strlen(&$heap_115227)' = strlen(&$unknown_849614) $heap_115228' = $heap_115227 bytes_after(&$heap_115228)' = 8 $heap_115228' is allocated by malloc $heap_115228' is allocated bytes_before(&$heap_115228)' = 0 strlen(&$heap_115228)' = strlen(&$unknown_849614) hn' = $param_1 hosts' = &$heap_115208 hp' = &$unknown_849610 hp2' = &$unknown_849611 p' = &$unknown_849616 + 1 r' = &$heap_115228 rl' = l' rm' = 8 s' = &$heap_115227 s' = 0 vn' = &$heap_115227 + 2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
