pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at hoster.c:399
|
|
| 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_268750 >= 1 &$unknown_268752 >= 1 &$unknown_268754 >= 1 &$unknown_268756 >= 1 &$unknown_268758 >= 1 strlen(&$unknown_268762) >= 1 $heap_10759 != 64 $heap_10761 <= 0 |
||||||||||||
| Postconditions | ||||||||||||
errno' != 0 $heap_10756' = &$heap_10757 bytes_after(&$heap_10756)' = 4 * &$unknown_268750 $heap_10756' is allocated by malloc $heap_10756' is allocated bytes_before(&$heap_10756)' = 0 bytes_after(&$heap_10757)' = 36 $heap_10757' is allocated by malloc bytes_before(&$heap_10757)' = 0 ((char*)&$heap_10757)[16]' = 0 ((char*)&$heap_10757)[20]' = &$heap_10760 ((char*)&$heap_10757)[24]' = &$heap_10761 ((char*)&$heap_10757)[28]' = 0 ((char*)&$heap_10757)[32]' = 0 ((char*)&$heap_10757)[8]' = &$heap_10759 ((char*)&$heap_10757)[12]' = &$heap_10758 bytes_after(&$heap_10758)' = &$unknown_268752 $heap_10758' is allocated by malloc bytes_before(&$heap_10758)' = 0 bytes_after(&$heap_10759)' = &$unknown_268754 $heap_10759' is allocated by malloc bytes_before(&$heap_10759)' = 0 bytes_after(&$heap_10760)' = &$unknown_268756 $heap_10760' is allocated by malloc bytes_before(&$heap_10760)' = 0 bytes_after(&$heap_10761)' = &$unknown_268758 $heap_10761' is allocated by malloc bytes_before(&$heap_10761)' = 0 hostlist' = &$heap_10756 hp' = &$heap_10757 i' = 0 num' = &$unknown_268750 p' = &$unknown_268762 |
||||||||||||
