pvm3.4.6 : pvm3.4.6 analysis 2 : 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 >= 3 &$unknown_716601 != 0 &$heap_90768 <= &$unknown_716607 - 2 ((char*)*$param_3)[20] != 58 ((char*)*$param_3)[8] != 58 $unknown_716603 != 58 strlen(&$unknown_716605) != 1 strlen(&$unknown_716605) > 0 ((char*)&$unknown_716607)[1] != 95 ((char*)&$heap_90752)[20] != 0 ((char*)&$heap_90752)[96] >= 0 $heap_90768 = 36 ((char*)&$heap_90768)[1] = 123 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
((char*)$heap_90752)[20]' is freed *stdout' is allocated by fopen bytes_before(stdout)' = 0 ac' = 6 strlen(&$unknown_716607)' = 1 ((char*)&$unknown_716607)[1]' = 0 argc' = 6 atnewline' = 1 bad' = 0 strlen(&buf[0])' = 17 buf[17]' = 0 c' = ((char*)&$unknown_716607)[1] debugger' = &$unknown_716604 dof' = &$unknown_716601 epaths' = &$heap_90766 errno' != 0 hd' = &#string17[0] $heap_90744' = 1 bytes_after(&$heap_90744)' = 32 $heap_90744' is allocated by malloc $heap_90744' is allocated bytes_before(&$heap_90744)' = 0 ((char*)&$heap_90744)[16]' = $input_12 ((char*)&$heap_90744)[20]' = $input_67364 ((char*)&$heap_90744)[12]' = $input_12 $heap_90746' = &$heap_90746 bytes_after(&$heap_90746)' = 120 $heap_90746' is allocated by malloc $heap_90746' is allocated bytes_before(&$heap_90746)' = 0 ((char*)&$heap_90746)[16]' = 0 ((char*)&$heap_90746)[20]' = 0 ((char*)&$heap_90746)[4]' = &$heap_90746 ((char*)&$heap_90746)[8]' = 0 ((char*)&$heap_90746)[116]' = 0 ((char*)&$heap_90746)[12]' = 0 bytes_after(&$heap_90747)' = 120 $heap_90747' is allocated by malloc $heap_90747' is allocated bytes_before(&$heap_90747)' = 0 ((char*)&$heap_90747)[16]' = 0 ((char*)&$heap_90747)[20]' = 0 ((char*)&$heap_90747)[8]' = 0 ((char*)&$heap_90747)[116]' = 0 ((char*)&$heap_90747)[12]' = 0 $heap_90748' = 1 bytes_after(&$heap_90748)' = 124 $heap_90748' is allocated by malloc bytes_before(&$heap_90748)' = 0 ((char*)&$heap_90748)[52]' = $input_67372 ((char*)&$heap_90748)[56]' = 2 ((char*)&$heap_90748)[72]' = 1 ((char*)&$heap_90748)[76]' = 1 ((char*)&$heap_90748)[80]' = &$heap_90746 ((char*)&$heap_90748)[8]' = &$heap_90750 ((char*)&$heap_90748)[84]' = &$heap_90749 ((char*)&$heap_90748)[92]' = &$heap_90747 ((char*)&$heap_90748)[100]' = 1 ((char*)&$heap_90748)[108]' = 1000 ((char*)&$heap_90748)[112]' = 0 $heap_90749' = &$heap_90749 bytes_after(&$heap_90749)' = 120 $heap_90749' is allocated by malloc $heap_90749' is allocated bytes_before(&$heap_90749)' = 0 ((char*)&$heap_90749)[16]' = 0 ((char*)&$heap_90749)[20]' = 0 ((char*)&$heap_90749)[4]' = &$heap_90749 ((char*)&$heap_90749)[8]' = 0 ((char*)&$heap_90749)[116]' = 0 ((char*)&$heap_90749)[12]' = 0 $heap_90750' = 63 bytes_after(&$heap_90750)' = 2 $heap_90750' is allocated by malloc $heap_90750' is allocated bytes_before(&$heap_90750)' = 0 strlen(&$heap_90750)' = 1 tocttou($heap_90750)' = tocttou(#string176) bytes_after(&$heap_90751)' = 120 $heap_90751' is allocated by malloc bytes_before(&$heap_90751)' = 0 $heap_90752' = 0 bytes_after(&$heap_90752)' = 124 $heap_90752' is allocated by malloc $heap_90752' is freed bytes_before(&$heap_90752)' = 0 ((char*)&$heap_90752)[44]' = pvmmydsig ((char*)&$heap_90752)[52]' = pvmudpmtu ((char*)&$heap_90752)[56]' = 2 ((char*)&$heap_90752)[72]' = 1 ((char*)&$heap_90752)[76]' = 1 ((char*)&$heap_90752)[80]' = &$heap_90751 ((char*)&$heap_90752)[8]' = &$heap_90755 ((char*)&$heap_90752)[84]' = &$heap_90753 ((char*)&$heap_90752)[92]' = &$heap_90754 ((char*)&$heap_90752)[100]' = 1 ((char*)&$heap_90752)[108]' = 1000 ((char*)&$heap_90752)[112]' = 0 ((char*)&$heap_90752)[12]' = &$heap_90756 $heap_90753' = &$heap_90753 bytes_after(&$heap_90753)' = 120 $heap_90753' is allocated by malloc bytes_before(&$heap_90753)' = 0 ((char*)&$heap_90753)[16]' = 0 ((char*)&$heap_90753)[20]' = 0 ((char*)&$heap_90753)[4]' = &$heap_90753 ((char*)&$heap_90753)[116]' = 0 bytes_after(&$heap_90754)' = 120 $heap_90754' is allocated by malloc bytes_before(&$heap_90754)' = 0 ((char*)&$heap_90754)[16]' = 0 ((char*)&$heap_90754)[20]' = 0 ((char*)&$heap_90754)[116]' = 0 $heap_90755' = 112 bytes_after(&$heap_90755)' = 6 $heap_90755' is allocated by malloc bytes_before(&$heap_90755)' = 0 strlen(&$heap_90755)' = 5 tocttou($heap_90755)' = tocttou(#string167) $heap_90756' = *myarchname bytes_after(&$heap_90756)' = strlen(myarchname) + 1 $heap_90756' is allocated by malloc bytes_before(&$heap_90756)' = 0 strlen(&$heap_90756)' = strlen(myarchname) tocttou($heap_90756)' = tocttou(*myarchname) bytes_after(&$heap_90757)' = 120 $heap_90757' is allocated by malloc $heap_90757' is allocated bytes_before(&$heap_90757)' = 0 ((char*)&$heap_90757)[16]' = 0 ((char*)&$heap_90757)[20]' = 0 ((char*)&$heap_90757)[8]' = 0 ((char*)&$heap_90757)[116]' = 0 ((char*)&$heap_90757)[12]' = 0 $heap_90758' = &$heap_90758 bytes_after(&$heap_90758)' = 120 $heap_90758' is allocated by malloc $heap_90758' is allocated bytes_before(&$heap_90758)' = 0 ((char*)&$heap_90758)[16]' = 0 ((char*)&$heap_90758)[20]' = 0 ((char*)&$heap_90758)[4]' = &$heap_90758 ((char*)&$heap_90758)[8]' = 0 ((char*)&$heap_90758)[116]' = 0 ((char*)&$heap_90758)[12]' = 0 $heap_90759' = &$heap_90759 bytes_after(&$heap_90759)' = 120 $heap_90759' is allocated by malloc $heap_90759' is allocated bytes_before(&$heap_90759)' = 0 ((char*)&$heap_90759)[16]' = 0 ((char*)&$heap_90759)[20]' = 0 ((char*)&$heap_90759)[4]' = &$heap_90759 ((char*)&$heap_90759)[8]' = 0 ((char*)&$heap_90759)[116]' = 0 ((char*)&$heap_90759)[12]' = 0 $heap_90760' = 1 bytes_after(&$heap_90760)' = 124 $heap_90760' is allocated by malloc bytes_before(&$heap_90760)' = 0 ((char*)&$heap_90760)[44]' = pvmmydsig ((char*)&$heap_90760)[52]' = pvmudpmtu ((char*)&$heap_90760)[56]' = 2 ((char*)&$heap_90760)[72]' = 1 ((char*)&$heap_90760)[76]' = 1 ((char*)&$heap_90760)[80]' = &$heap_90758 ((char*)&$heap_90760)[8]' = &$heap_90762 ((char*)&$heap_90760)[84]' = &$heap_90759 ((char*)&$heap_90760)[92]' = &$heap_90757 ((char*)&$heap_90760)[100]' = 1 ((char*)&$heap_90760)[108]' = 1000 ((char*)&$heap_90760)[112]' = &$heap_90761 ((char*)&$heap_90760)[12]' = &$heap_90763 bytes_after(&$heap_90761)' = 20 $heap_90761' is allocated by malloc $heap_90761' is allocated bytes_before(&$heap_90761)' = 0 ((char*)&$heap_90761)[16]' = 0 ((char*)&$heap_90761)[8]' = 0 ((char*)&$heap_90761)[12]' = 0 $heap_90762' = *hn bytes_after(&$heap_90762)' = strlen(hn) + 1 $heap_90762' is allocated by malloc $heap_90762' is allocated bytes_before(&$heap_90762)' = 0 strlen(&$heap_90762)' = strlen(hn) tocttou($heap_90762)' = tocttou(*hn) $heap_90763' = *myarchname bytes_after(&$heap_90763)' = strlen(myarchname) + 1 $heap_90763' is allocated by malloc $heap_90763' is allocated bytes_before(&$heap_90763)' = 0 strlen(&$heap_90763)' = strlen(myarchname) tocttou($heap_90763)' = tocttou(*myarchname) $heap_90764' is allocated by open $heap_90764' is allocated $heap_90765' = 36 bytes_after(&$heap_90765)' = 49 $heap_90765' is allocated by malloc $heap_90765' is freed bytes_before(&$heap_90765)' = 0 tocttou($heap_90765)' = tocttou(#string168) $heap_90766' = &$unknown_716603 $heap_90766' is allocated by malloc $heap_90766' is allocated bytes_before(&$heap_90766)' = 0 ((char*)&$heap_90766)[4]' = 0 $heap_90767' = 36 bytes_after(&$heap_90767)' = 23 $heap_90767' is allocated by malloc $heap_90767' is freed bytes_before(&$heap_90767)' = 0 tocttou($heap_90767)' = tocttou(#string170) bytes_after(&$heap_90768)' = 2 $heap_90768' is allocated by malloc $heap_90768' is allocated bytes_before(&$heap_90768)' = 0 strlen(&$heap_90768)' = strlen(&$unknown_716605) hosts' = &$heap_90744 hp' = &$heap_90760 i' = -1 lh' = $input_67364 log_ff' = 0 log_how' = 2 mh' = $input_12 ms' = 1 p' = &$unknown_716607 + 1 p' = &$heap_90768 r' = 0 rl' = l' rm' = 8 s' = 0 s' = &$heap_90768 vn' = &$heap_90768 + 2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
