Pvm : Pvm analysis 1 : Null Pointer Dereference at hoster.c:969
|
|
| 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 | ||||||||||||
((char*)&((char*)*$param_1)[16])[48] != 0 execport = 0 |
||||||||||||
| Postconditions | ||||||||||||
*stderr' is allocated by fopen bytes_before(stderr)' = 0 *stdin' is allocated by fopen bytes_before(stdin)' = 0 SERV_COUNTER' = 0 atnewline' = 1 errno' != 0 execport' = (&stored_servent)[1].s_name hn' = ((char*)&((char*)*$param_1)[16])[8] hp' = ((char*)$param_1)[16] pid' = -1 se' = &stored_servent.s_name sp' = $param_1 tmbuf.tm_sec' = &$unknown_96236 |
||||||||||||
