pvm3.4.6 : pvm3.4.6 analysis 2 : File System Race Condition at pvmd.c:5572
|
|
| 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 &$unknown_729319 != 0 *argv[5] != 58 ((char*)&$heap_132626)[96] >= 0 ((char*)&$heap_132626)[12] >= 0 ((char*)&$heap_132638)[20] != 0 ((char*)&$heap_132638)[96] >= 0 |
||||||||||||
| Postconditions | ||||||||||||
((char*)$heap_132638)[20]' is freed *stdout' is allocated by fopen bytes_before(stdout)' = 0 ac' = 6 argc' = 6 bad' = 0 strlen(&buf[0])' = 17 buf[17]' = 0 dof' = &$unknown_729319 $heap_132621' = 1 bytes_after(&$heap_132621)' = 32 $heap_132621' is allocated by malloc $heap_132621' is allocated bytes_before(&$heap_132621)' = 0 ((char*)&$heap_132621)[16]' = $input_12 ((char*)&$heap_132621)[20]' = $input_87172 ((char*)&$heap_132621)[8]' = ((char*)&$heap_132621)[8] + 1 ((char*)&$heap_132621)[12]' = $input_12 bytes_after(&$heap_132623)' = 120 $heap_132623' is allocated by malloc bytes_before(&$heap_132623)' = 0 ((char*)&$heap_132623)[16]' = 0 ((char*)&$heap_132623)[20]' = 0 ((char*)&$heap_132623)[116]' = 0 bytes_after(&$heap_132624)' = 120 $heap_132624' is allocated by malloc bytes_before(&$heap_132624)' = 0 ((char*)&$heap_132624)[8]' = 0 ((char*)&$heap_132624)[116]' = 0 bytes_after(&$heap_132625)' = 20 $heap_132625' is allocated by malloc bytes_before(&$heap_132625)' = 0 ((char*)&$heap_132625)[16]' = 0 ((char*)&$heap_132625)[8]' = 0 ((char*)&$heap_132625)[12]' = 0 $heap_132626' = 0 bytes_after(&$heap_132626)' = 124 $heap_132626' is allocated by malloc $heap_132626' is freed bytes_before(&$heap_132626)' = 0 ((char*)&$heap_132626)[52]' = $input_87180 ((char*)&$heap_132626)[56]' = 2 ((char*)&$heap_132626)[72]' = 1 ((char*)&$heap_132626)[76]' = 1 ((char*)&$heap_132626)[80]' = &$heap_132624 ((char*)&$heap_132626)[8]' = &$heap_132628 ((char*)&$heap_132626)[84]' = &$heap_132627 ((char*)&$heap_132626)[92]' = &$heap_132623 ((char*)&$heap_132626)[100]' = 1 ((char*)&$heap_132626)[108]' = 1000 ((char*)&$heap_132626)[112]' = &$heap_132625 bytes_after(&$heap_132627)' = 120 $heap_132627' is allocated by malloc bytes_before(&$heap_132627)' = 0 ((char*)&$heap_132627)[16]' = 0 ((char*)&$heap_132627)[4]' = &$heap_132627 $heap_132628' = 63 bytes_after(&$heap_132628)' = 2 $heap_132628' is allocated by malloc bytes_before(&$heap_132628)' = 0 strlen(&$heap_132628)' = 1 tocttou($heap_132628)' = tocttou(#string176) $heap_132629' = &$heap_132629 bytes_after(&$heap_132629)' = 120 $heap_132629' is allocated by malloc $heap_132629' is allocated bytes_before(&$heap_132629)' = 0 ((char*)&$heap_132629)[16]' = 0 ((char*)&$heap_132629)[20]' = 0 ((char*)&$heap_132629)[4]' = &$heap_132629 ((char*)&$heap_132629)[8]' = 0 ((char*)&$heap_132629)[116]' = 0 ((char*)&$heap_132629)[12]' = 0 $heap_132630' = 1 bytes_after(&$heap_132630)' = 124 $heap_132630' is allocated by malloc bytes_before(&$heap_132630)' = 0 ((char*)&$heap_132630)[44]' = pvmmydsig ((char*)&$heap_132630)[52]' = pvmudpmtu ((char*)&$heap_132630)[56]' = 2 ((char*)&$heap_132630)[72]' = 1 ((char*)&$heap_132630)[76]' = 1 ((char*)&$heap_132630)[80]' = &$heap_132629 ((char*)&$heap_132630)[8]' = &$heap_132633 ((char*)&$heap_132630)[84]' = &$heap_132631 ((char*)&$heap_132630)[92]' = &$heap_132632 ((char*)&$heap_132630)[100]' = 1 ((char*)&$heap_132630)[108]' = 1000 ((char*)&$heap_132630)[112]' = 0 ((char*)&$heap_132630)[12]' = &$heap_132634 $heap_132631' = &$heap_132631 bytes_after(&$heap_132631)' = 120 $heap_132631' is allocated by malloc $heap_132631' is allocated bytes_before(&$heap_132631)' = 0 ((char*)&$heap_132631)[16]' = 0 ((char*)&$heap_132631)[20]' = 0 ((char*)&$heap_132631)[4]' = &$heap_132631 ((char*)&$heap_132631)[8]' = 0 ((char*)&$heap_132631)[116]' = 0 ((char*)&$heap_132631)[12]' = 0 bytes_after(&$heap_132632)' = 120 $heap_132632' is allocated by malloc $heap_132632' is allocated bytes_before(&$heap_132632)' = 0 ((char*)&$heap_132632)[16]' = 0 ((char*)&$heap_132632)[20]' = 0 ((char*)&$heap_132632)[8]' = 0 ((char*)&$heap_132632)[116]' = 0 ((char*)&$heap_132632)[12]' = 0 $heap_132633' = 112 bytes_after(&$heap_132633)' = 6 $heap_132633' is allocated by malloc $heap_132633' is allocated bytes_before(&$heap_132633)' = 0 strlen(&$heap_132633)' = 5 tocttou($heap_132633)' = tocttou(#string167) $heap_132634' = *myarchname bytes_after(&$heap_132634)' = strlen(myarchname) + 1 $heap_132634' is allocated by malloc $heap_132634' is allocated bytes_before(&$heap_132634)' = 0 strlen(&$heap_132634)' = strlen(myarchname) tocttou($heap_132634)' = tocttou(*myarchname) bytes_after(&$heap_132635)' = 120 $heap_132635' is allocated by malloc bytes_before(&$heap_132635)' = 0 ((char*)&$heap_132635)[16]' = 0 ((char*)&$heap_132635)[20]' = 0 ((char*)&$heap_132635)[116]' = 0 bytes_after(&$heap_132636)' = 120 $heap_132636' is allocated by malloc bytes_before(&$heap_132636)' = 0 bytes_after(&$heap_132637)' = 120 $heap_132637' is allocated by malloc bytes_before(&$heap_132637)' = 0 ((char*)&$heap_132637)[16]' = 0 ((char*)&$heap_132637)[20]' = 0 ((char*)&$heap_132637)[116]' = 0 $heap_132638' = 0 bytes_after(&$heap_132638)' = 124 $heap_132638' is allocated by malloc $heap_132638' is freed bytes_before(&$heap_132638)' = 0 ((char*)&$heap_132638)[44]' = pvmmydsig ((char*)&$heap_132638)[52]' = pvmudpmtu ((char*)&$heap_132638)[56]' = 2 ((char*)&$heap_132638)[72]' = 1 ((char*)&$heap_132638)[76]' = 1 ((char*)&$heap_132638)[80]' = &$heap_132636 ((char*)&$heap_132638)[8]' = &$heap_132640 ((char*)&$heap_132638)[84]' = &$heap_132637 ((char*)&$heap_132638)[92]' = &$heap_132635 ((char*)&$heap_132638)[100]' = 1 ((char*)&$heap_132638)[108]' = 1000 ((char*)&$heap_132638)[112]' = &$heap_132639 ((char*)&$heap_132638)[12]' = &$heap_132641 bytes_after(&$heap_132639)' = 20 $heap_132639' is allocated by malloc bytes_before(&$heap_132639)' = 0 ((char*)&$heap_132639)[16]' = 0 ((char*)&$heap_132639)[8]' = 0 ((char*)&$heap_132639)[12]' = 0 $heap_132640' = *hn bytes_after(&$heap_132640)' = strlen(hn) + 1 $heap_132640' is allocated by malloc bytes_before(&$heap_132640)' = 0 strlen(&$heap_132640)' = strlen(hn) tocttou($heap_132640)' = tocttou(*hn) $heap_132641' = *myarchname bytes_after(&$heap_132641)' = strlen(myarchname) + 1 $heap_132641' is allocated by malloc bytes_before(&$heap_132641)' = 0 strlen(&$heap_132641)' = strlen(myarchname) tocttou($heap_132641)' = tocttou(*myarchname) $heap_132642' is allocated by open $heap_132642' is allocated hosts' = &$heap_132621 hp' = &$heap_132638 i' = -1 lh' = $input_87172 mh' = $input_12 ms' = 0 |
||||||||||||
