pvm3.4.6 : pvm3.4.6 analysis 2 : Buffer Overrun at ddpro.c:953
|
|
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
&$unknown_371426 >= 3 &$unknown_371429 >= 1 ((char*)&$unknown_371432)[48] = 0 ((char*)&$unknown_371432)[116] = 0 busyadding = 0 filehosts = 0 $heap_54471 != 0 strlen(&$heap_54471) != 0 $input_12 >= 0 $input_8476 >= 0 $input_8500 >= 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
__x' = 2130706433 ((char*)&$unknown_371432)[60]' = $input_8508 buf' = &$heap_54471 busyadding' = 1 count' = &$unknown_371426 he' = &$heap_54474 bytes_after(&$heap_54463)' = 48 $heap_54463' is allocated by malloc $heap_54463' is allocated bytes_before(&$heap_54463)' = 0 ((char*)&$heap_54463)[16]' = 0 ((char*)&$heap_54463)[36]' = 0 ((char*)&$heap_54463)[40]' = 0 ((char*)&$heap_54463)[44]' = &$heap_54464 ((char*)&$heap_54463)[12]' = 3 $heap_54464' = &$unknown_371426 bytes_after(&$heap_54464)' = 8 $heap_54464' is allocated by malloc $heap_54464' is allocated bytes_before(&$heap_54464)' = 0 ((char*)&$heap_54464)[4]' = &$heap_54465 $heap_54465' = 0 bytes_after(&$heap_54465)' = 4 * &$unknown_371426 $heap_54465' is allocated by malloc $heap_54465' is allocated bytes_before(&$heap_54465)' = 0 $heap_54467' = &$heap_54467 bytes_after(&$heap_54467)' = 120 $heap_54467' is allocated by malloc $heap_54467' is allocated bytes_before(&$heap_54467)' = 0 ((char*)&$heap_54467)[16]' = 0 ((char*)&$heap_54467)[20]' = 0 ((char*)&$heap_54467)[4]' = &$heap_54467 ((char*)&$heap_54467)[8]' = 0 ((char*)&$heap_54467)[116]' = 0 ((char*)&$heap_54467)[12]' = 0 bytes_after(&$heap_54468)' = 120 $heap_54468' is allocated by malloc $heap_54468' is allocated bytes_before(&$heap_54468)' = 0 ((char*)&$heap_54468)[16]' = 0 ((char*)&$heap_54468)[20]' = 0 ((char*)&$heap_54468)[8]' = 0 ((char*)&$heap_54468)[116]' = 0 ((char*)&$heap_54468)[12]' = 0 bytes_after(&$heap_54469)' = 120 $heap_54469' is allocated by malloc $heap_54469' is allocated bytes_before(&$heap_54469)' = 0 ((char*)&$heap_54469)[16]' = 0 ((char*)&$heap_54469)[20]' = 0 ((char*)&$heap_54469)[8]' = 0 ((char*)&$heap_54469)[116]' = 0 ((char*)&$heap_54469)[12]' = 0 $heap_54470' = 1 bytes_after(&$heap_54470)' = 124 $heap_54470' is allocated by malloc bytes_before(&$heap_54470)' = 0 ((char*)&$heap_54470)[56]' = 2 ((char*)&$heap_54470)[72]' = 1 ((char*)&$heap_54470)[76]' = 1 ((char*)&$heap_54470)[80]' = &$heap_54467 ((char*)&$heap_54470)[84]' = &$heap_54468 ((char*)&$heap_54470)[92]' = &$heap_54469 ((char*)&$heap_54470)[100]' = 1 ((char*)&$heap_54470)[112]' = 0 bytes_after(&$heap_54471)' = &$unknown_371429 $heap_54471' is allocated by malloc $heap_54471' is freed bytes_before(&$heap_54471)' = 0 $heap_54472' = &$heap_54473 $heap_54472' is a non-heap object bytes_before(&$heap_54472)' = 0 $heap_54473' = $input_8484 bytes_after(&$heap_54473)' = $input_8476 + 1 $heap_54473' is allocated by malloc $heap_54473' is a non-heap object bytes_before(&$heap_54473)' = 0 strlen(&$heap_54473)' = $input_8476 $heap_54474' = &$heap_54475 bytes_after(&$heap_54474)' = 1024 $heap_54474' is a non-heap object bytes_before(&$heap_54474)' = 0 ((char*)&$heap_54474)[16]' = &$heap_54477 ((char*)&$heap_54474)[4]' = &$heap_54472 $heap_54475' = $input_444 bytes_after(&$heap_54475)' = $input_12 + 1 $heap_54475' is allocated by malloc $heap_54475' is a non-heap object bytes_before(&$heap_54475)' = 0 strlen(&$heap_54475)' = $input_12 $heap_54476' = $input_8508 bytes_after(&$heap_54476)' = $input_8500 + 1 $heap_54476' is allocated by malloc $heap_54476' is a non-heap object bytes_before(&$heap_54476)' = 0 strlen(&$heap_54476)' = $input_8500 $heap_54477' = &$heap_54476 $heap_54477' is a non-heap object bytes_before(&$heap_54477)' = 0 hp' = &$unknown_371432 i' = &$unknown_371426 - 2 last_rv' = &$heap_54474 maxhostid' >= 3 maxhostid' >= &$unknown_371426 wp' = &$heap_54463 wxp' = &$heap_54464 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
