Pvm : Pvm analysis 1 : Buffer Underrun at tdpro.c:1910
|
|
| 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_1051352 != 0 hosts->ht_last >= 1 |
||||||||||||
| Postconditions | ||||||||||||
((char*)$unknown_1051355)[8]' = ((char*)&$unknown_1051355)[8] ((char*)$unknown_1051356)[8]' = ((char*)&$unknown_1051356)[8] ((char*)$unknown_1051355)[8]' = $unknown_1051355 ((char*)$unknown_1051356)[8]' = $unknown_1051356 $unknown_1051355' = &$unknown_1051355 ((char*)&$unknown_1051355)[16]' = 0 ((char*)&$unknown_1051355)[24]' = 0 ((char*)&$unknown_1051355)[32]' = 0 ((char*)&$unknown_1051355)[36]' = 0 ((char*)&$unknown_1051355)[40]' = 1 ((char*)&$unknown_1051355)[42]' = 1 ((char*)&$unknown_1051355)[42]' = 0 ((char*)&$unknown_1051355)[60]' = 0 ((char*)&$unknown_1051355)[8]' = &$unknown_1051355 ((char*)&$unknown_1051356)[16]' = &$unknown_1051358 dsts' = &$heap_161555 freefrags.fr_link' = &$unknown_1051355 freepmsgs.m_link' = &$unknown_1051356 $heap_161554' = &$heap_161554 bytes_after(&$heap_161554)' = 32 $heap_161554' is allocated by malloc $heap_161554' is allocated bytes_before(&$heap_161554)' = 0 ((char*)&$heap_161554)[24]' = &$heap_161556 ((char*)&$heap_161554)[8]' = &$heap_161554 bytes_after(&$heap_161555)' = 4 $heap_161555' is allocated by malloc $heap_161555' is allocated bytes_before(&$heap_161555)' = 0 bytes_after(&$heap_161556)' = 4 $heap_161556' is allocated by malloc $heap_161556' is allocated bytes_before(&$heap_161556)' = 0 i' = 0 j' = 1 mcap' = &$heap_161554 mp' = &$unknown_1051356 ndst' = 1 tp' = $param_1 |
||||||||||||
