pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at hoster.c:401
|
|
| 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_267238 >= 1 &$unknown_267240 >= 1 &$unknown_267242 >= 1 &$unknown_267244 >= 1 &$unknown_267246 >= 1 strlen(&$heap_9991) >= 1 $heap_9993 <= 0 |
||||||||||||
| Postconditions | ||||||||||||
atnewline' = 0 errno' != 0 $heap_9988' = &$heap_9989 bytes_after(&$heap_9988)' = 4 * &$unknown_267238 $heap_9988' is allocated by malloc $heap_9988' is allocated bytes_before(&$heap_9988)' = 0 bytes_after(&$heap_9989)' = 36 $heap_9989' is allocated by malloc bytes_before(&$heap_9989)' = 0 ((char*)&$heap_9989)[16]' = 0 ((char*)&$heap_9989)[20]' = &$heap_9992 ((char*)&$heap_9989)[24]' = &$heap_9993 ((char*)&$heap_9989)[28]' = 0 ((char*)&$heap_9989)[32]' = 0 ((char*)&$heap_9989)[4]' = &$heap_9995 ((char*)&$heap_9989)[8]' = &$heap_9991 ((char*)&$heap_9989)[12]' = &$heap_9990 bytes_after(&$heap_9990)' = &$unknown_267240 $heap_9990' is allocated by malloc bytes_before(&$heap_9990)' = 0 $heap_9991' = 0 bytes_after(&$heap_9991)' = &$unknown_267242 $heap_9991' is allocated by malloc bytes_before(&$heap_9991)' = 0 strlen(&$heap_9991)' = 0 bytes_after(&$heap_9992)' = &$unknown_267244 $heap_9992' is allocated by malloc bytes_before(&$heap_9992)' = 0 bytes_after(&$heap_9993)' = &$unknown_267246 $heap_9993' is allocated by malloc bytes_before(&$heap_9993)' = 0 bytes_after(&$heap_9995)' = strlen(&$heap_9991) $heap_9995' is allocated by malloc $heap_9995' is allocated bytes_before(&$heap_9995)' = 0 strlen(&$heap_9995)' = strlen(&$heap_9991) - 1 hostlist' = &$heap_9988 hp' = &$heap_9989 i' = 0 num' = &$unknown_267238 p' = &$heap_9991 tmbuf.tm_sec' = &$unknown_267250 |
||||||||||||
