Pvm : Pvm analysis 1 : Null Pointer Dereference at lpvm.c:3104
|
|
| 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_1450588 != 0 &$unknown_1450590 != -1 &$unknown_1450592 = &$unknown_1450591 + 136 &$unknown_1450592 >= 4232 myfmt != -1 pvmmytid = -1 pvmtoplvl != 0 $input_12 >= 0 $input_153172 >= 0 $input_153180 != 48 $input_153188 = &$unknown_1450588 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
((char*)$unknown_1450591)[8]' = &$unknown_1450592 $unknown_1450591' = &$unknown_1450591 strlen(&$unknown_1450591)' = 0 ((char*)&$unknown_1450591)[16]' = 0 ((char*)&$unknown_1450591)[32]' = 0 ((char*)&$unknown_1450591)[40]' = 1 ((char*)&$unknown_1450591)[44]' = 0 ((char*)&$unknown_1450591)[48]' = 0 ((char*)&$unknown_1450591)[52]' = 0 ((char*)&$unknown_1450591)[56]' = 0 ((char*)&$unknown_1450591)[60]' = 0 ((char*)&$unknown_1450591)[64]' = 0 ((char*)&$unknown_1450591)[68]' = 0 ((char*)&$unknown_1450591)[72]' = 0 ((char*)&$unknown_1450591)[76]' = 0 ((char*)&$unknown_1450591)[80]' = 0 ((char*)&$unknown_1450591)[8]' = &$unknown_1450591 ((char*)&$unknown_1450591)[84]' = 0 $unknown_1450592' = &freepmsgs.m_link ((char*)&$unknown_1450592)[8]' = ((char*)&$unknown_1450591)[8] authfd' = -1 authfn[0]' = 0 strlen(&authfn[0])' = 0 strlen(&buf[0])' = 0 cc' = 0 cookie' = $input_153164 ep' = 0 freepmsgs.m_link' = &$unknown_1450591 freepmsgs.m_rlink' = &$unknown_1450591 + 136 $heap_173329' = $input_60 bytes_after(&$heap_173329)' = $input_12 + 1 $heap_173329' is allocated by malloc $heap_173329' is a non-heap object bytes_before(&$heap_173329)' = 0 strlen(&$heap_173329)' = $input_12 $heap_173330' = $input_153180 bytes_after(&$heap_173330)' = $input_153172 + 1 $heap_173330' is allocated by malloc $heap_173330' is a non-heap object bytes_before(&$heap_173330)' = 0 strlen(&$heap_173330)' = $input_153172 need_trcinfo' = 0 new_tracer' = 0 numpmsgs' = 49 p' = &$heap_173330 pvm_useruid' = &$unknown_1450590 pvmampushed' = 0 pvmamtraced' = pvmtoplvl pvmdebmask' = &$unknown_1450588 pvmmydsig' = myfmt pvmrxlist' = &$unknown_1450591 pvmtoplvl' = 0 rbf' = 0 sbf' = 0 ttlist' = 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
