Pvm : Pvm analysis 1 : 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*)&$unknown_853179)[4] >= 1 strlen(&$unknown_853184) != 1 strlen(&$unknown_853184) > 0 ((char*)&$heap_119820)[8] >= -1 ((char*)&$heap_119828)[144] >= 0 ((char*)&$heap_119828)[32] = 0 $heap_119839 = 36 ((char*)&$heap_119839)[1] = 123 $input_12 >= 1 $input_60 != 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
((char*)&$unknown_853180)[184]' = &$heap_119834 ((char*)&$unknown_853180)[40]' = &$heap_119836 ((char*)&$unknown_853180)[48]' = &$heap_119838 ((char*)&$unknown_853180)[56]' = &$heap_119839 argc' = $param_2 argv' = $param_3 atnewline' = 1 debugger' = &$unknown_853183 epaths' = &$heap_119837 filehosts' = &$unknown_853179 hd' = &#string17[0] $heap_119820' = 1 bytes_after(&$heap_119820)' = 40 $heap_119820' is allocated by malloc $heap_119820' is allocated bytes_before(&$heap_119820)' = 0 strlen(&$heap_119820)' = 0 ((char*)&$heap_119820)[16]' = 1 ((char*)&$heap_119820)[20]' = 1 ((char*)&$heap_119820)[8]' = ((char*)&$heap_119820)[8] + 1 ((char*)&$heap_119820)[12]' = 1 $heap_119822' = 1 bytes_after(&$heap_119822)' = 200 $heap_119822' is allocated by malloc bytes_before(&$heap_119822)' = 0 strlen(&$heap_119822)' = 0 ((char*)&$heap_119822)[136]' = &$heap_119823 ((char*)&$heap_119822)[152]' = 1 ((char*)&$heap_119822)[16]' = &$heap_119827 ((char*)&$heap_119822)[168]' = 1000 ((char*)&$heap_119822)[176]' = 0 ((char*)&$heap_119822)[76]' = pvmmydsig ((char*)&$heap_119822)[8]' = &$heap_119826 ((char*)&$heap_119822)[84]' = pvmudpmtu ((char*)&$heap_119822)[88]' = 2 ((char*)&$heap_119822)[104]' = 1 ((char*)&$heap_119822)[108]' = 1 ((char*)&$heap_119822)[112]' = &$heap_119825 ((char*)&$heap_119822)[120]' = &$heap_119824 bytes_after(&$heap_119823)' = 184 $heap_119823' is allocated by malloc $heap_119823' is allocated bytes_before(&$heap_119823)' = 0 ((char*)&$heap_119823)[16]' = 0 ((char*)&$heap_119823)[176]' = 0 ((char*)&$heap_119823)[24]' = 0 ((char*)&$heap_119823)[32]' = 0 ((char*)&$heap_119823)[40]' = 0 bytes_after(&$heap_119824)' = 184 $heap_119824' is allocated by malloc $heap_119824' is allocated bytes_before(&$heap_119824)' = 0 ((char*)&$heap_119824)[16]' = 0 ((char*)&$heap_119824)[176]' = 0 ((char*)&$heap_119824)[24]' = 0 ((char*)&$heap_119824)[32]' = 0 ((char*)&$heap_119824)[40]' = 0 bytes_after(&$heap_119825)' = 184 $heap_119825' is allocated by malloc $heap_119825' is allocated bytes_before(&$heap_119825)' = 0 ((char*)&$heap_119825)[16]' = 0 ((char*)&$heap_119825)[176]' = 0 ((char*)&$heap_119825)[24]' = 0 ((char*)&$heap_119825)[32]' = 0 ((char*)&$heap_119825)[40]' = 0 $heap_119826' = *$param_1 bytes_after(&$heap_119826)' = strlen($param_1) + 1 $heap_119826' is allocated by malloc $heap_119826' is allocated bytes_before(&$heap_119826)' = 0 strlen(&$heap_119826)' = strlen($param_1) $heap_119827' = *myarchname bytes_after(&$heap_119827)' = strlen(myarchname) + 1 $heap_119827' is allocated by malloc $heap_119827' is allocated bytes_before(&$heap_119827)' = 0 strlen(&$heap_119827)' = strlen(myarchname) $heap_119828' = 0 bytes_after(&$heap_119828)' = 200 $heap_119828' is allocated by malloc $heap_119828' is freed bytes_before(&$heap_119828)' = 0 strlen(&$heap_119828)' = 0 ((char*)&$heap_119828)[136]' = &$heap_119831 ((char*)&$heap_119828)[152]' = 1 ((char*)&$heap_119828)[16]' = &$heap_119833 ((char*)&$heap_119828)[168]' = 1000 ((char*)&$heap_119828)[176]' = 0 ((char*)&$heap_119828)[76]' = pvmmydsig ((char*)&$heap_119828)[8]' = &$heap_119832 ((char*)&$heap_119828)[84]' = pvmudpmtu ((char*)&$heap_119828)[88]' = 2 ((char*)&$heap_119828)[104]' = 1 ((char*)&$heap_119828)[108]' = 1 ((char*)&$heap_119828)[112]' = &$heap_119830 ((char*)&$heap_119828)[120]' = &$heap_119829 bytes_after(&$heap_119829)' = 184 $heap_119829' is allocated by malloc bytes_before(&$heap_119829)' = 0 ((char*)&$heap_119829)[176]' = 0 ((char*)&$heap_119829)[32]' = 0 ((char*)&$heap_119829)[40]' = 0 bytes_after(&$heap_119830)' = 184 $heap_119830' is allocated by malloc bytes_before(&$heap_119830)' = 0 ((char*)&$heap_119830)[16]' = 0 ((char*)&$heap_119830)[176]' = 0 ((char*)&$heap_119830)[24]' = 0 ((char*)&$heap_119830)[32]' = 0 ((char*)&$heap_119830)[40]' = 0 $heap_119831' = &$heap_119831 bytes_after(&$heap_119831)' = 184 $heap_119831' is allocated by malloc bytes_before(&$heap_119831)' = 0 ((char*)&$heap_119831)[176]' = 0 ((char*)&$heap_119831)[32]' = 0 ((char*)&$heap_119831)[40]' = 0 ((char*)&$heap_119831)[8]' = &$heap_119831 $heap_119832' = 112 bytes_after(&$heap_119832)' = 6 $heap_119832' is allocated by malloc bytes_before(&$heap_119832)' = 0 strlen(&$heap_119832)' = 5 $heap_119833' = *myarchname bytes_after(&$heap_119833)' = strlen(myarchname) + 1 $heap_119833' is allocated by malloc bytes_before(&$heap_119833)' = 0 strlen(&$heap_119833)' = strlen(myarchname) bytes_after(&$heap_119834)' = strlen(((char*)&$unknown_853181)[184]) + 1 $heap_119834' is allocated by malloc $heap_119834' is allocated bytes_before(&$heap_119834)' = 0 strlen(&$heap_119834)' = strlen(((char*)&$unknown_853181)[184]) $heap_119835' = $input_60 bytes_after(&$heap_119835)' = $input_12 + 1 $heap_119835' is allocated by malloc $heap_119835' is a non-heap object bytes_before(&$heap_119835)' = 0 strlen(&$heap_119835)' = $input_12 $heap_119836' = $input_60 bytes_after(&$heap_119836)' = $input_12 + 1 $heap_119836' is allocated by malloc $heap_119836' is allocated bytes_before(&$heap_119836)' = 0 $heap_119837' = &$unknown_853182 $heap_119837' is allocated by malloc $heap_119837' is allocated bytes_before(&$heap_119837)' = 0 ((char*)&$heap_119837)[8]' = 0 $heap_119838' = 36 bytes_after(&$heap_119838)' = 23 $heap_119838' is allocated by malloc $heap_119838' is allocated bytes_before(&$heap_119838)' = 0 bytes_after(&$heap_119839)' = 2 $heap_119839' is allocated by malloc $heap_119839' is allocated bytes_before(&$heap_119839)' = 0 strlen(&$heap_119839)' = strlen(&$unknown_853184) bytes_after(&$heap_119840)' = 8 $heap_119840' is allocated by malloc $heap_119840' is allocated bytes_before(&$heap_119840)' = 0 hn' = $param_1 hosts' = &$heap_119820 hp' = &$unknown_853180 hp2' = &$unknown_853181 l' = 0 p' = &$heap_119839 + 2 r' = &$heap_119840 rl' = 0 rm' = 8 s' = &$heap_119839 s' = 0 vn' = &$heap_119839 + 2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
