Pvm : Pvm analysis 1 : Null Pointer Dereference at host.c:573
|
|
| 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_91040 = 0 &$unknown_91041 >= ((char*)$param_1)[4] + 1 &$unknown_91041 >= 2 &$unknown_91042 = 0 &$unknown_91043 = 1 &$unknown_91044 >= 1 ((char*)$param_1)[8] >= 0 ((char*)&((char*)((char*)*$param_1)[32])[8])[16] != 0 |
||||||||||||
| Postconditions | ||||||||||||
((char*)$unknown_91039)[16]' is freed ((char*)$unknown_91039)[8]' is freed strlen(&$unknown_91039)' = strlen($param_2) ((char*)&$unknown_91039)[16]' = &$heap_3043 ((char*)&$unknown_91039)[168]' = ((char*)$param_2)[168] ((char*)&$unknown_91039)[76]' = ((char*)$param_2)[76] ((char*)&$unknown_91039)[8]' = &$heap_3042 ((char*)&$unknown_91039)[84]' = ((char*)$param_2)[84] ((char*)&$unknown_91039)[88]' = ((char*)$param_2)[88] ((char*)&$unknown_91039)[90]' = ((char*)$param_2)[90] ((char*)&$unknown_91039)[92]' = ((char*)$param_2)[92] ((char*)&$unknown_91039)[96]' = ((char*)$param_2)[96] d' = ((char*)&((char*)((char*)*$param_1)[32])[8])[76] dsigs' = &$unknown_91042 found' = 0 $heap_3042' = ((char*)*$param_2)[8] bytes_after(&$heap_3042)' = strlen(((char*)$param_2)[8]) + 1 $heap_3042' is allocated by malloc $heap_3042' is allocated bytes_before(&$heap_3042)' = 0 strlen(&$heap_3042)' = strlen(((char*)$param_2)[8]) $heap_3043' = ((char*)*$param_2)[16] bytes_after(&$heap_3043)' = strlen(((char*)$param_2)[16]) + 1 $heap_3043' is allocated by malloc $heap_3043' is allocated bytes_before(&$heap_3043)' = 0 strlen(&$heap_3043)' = strlen(((char*)$param_2)[16]) hh' = &$unknown_91043 hp' = ((char*)&((char*)*$param_1)[32])[8] hp2' = &$unknown_91039 htp' = $param_1 i' = 0 mask' = 0 n' = &$unknown_91041 + 1 ndsigs' = &$unknown_91044 |
||||||||||||
