pvm3.4.6 : pvm3.4.6 analysis 2 : 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_1375794 != 0 &$unknown_1375796 = &$unknown_1375797 + 92 myfmt != -1 pvmmytid = -1 pvmtoplvl != 0 $input_12 >= 0 $input_298084 >= 0 $input_298092 != 48 $input_298100 = &$unknown_1375794 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
((char*)$unknown_1375797)[4]' = &$unknown_1375796 $unknown_1375796' = &freepmsgs.m_link ((char*)&$unknown_1375796)[4]' = ((char*)&$unknown_1375797)[4] $unknown_1375797' = &$unknown_1375797 ((char*)&$unknown_1375797)[16]' = 0 ((char*)&$unknown_1375797)[20]' = 1 ((char*)&$unknown_1375797)[24]' = 0 ((char*)&$unknown_1375797)[28]' = 0 ((char*)&$unknown_1375797)[32]' = 0 ((char*)&$unknown_1375797)[36]' = 0 ((char*)&$unknown_1375797)[40]' = 0 ((char*)&$unknown_1375797)[4]' = &$unknown_1375797 ((char*)&$unknown_1375797)[44]' = 0 ((char*)&$unknown_1375797)[48]' = 0 ((char*)&$unknown_1375797)[52]' = 0 ((char*)&$unknown_1375797)[56]' = 0 ((char*)&$unknown_1375797)[60]' = 0 ((char*)&$unknown_1375797)[64]' = 0 ((char*)&$unknown_1375797)[8]' = 0 authfd' = -1 authfn[0]' = 0 strlen(&authfn[0])' = 0 buf[0]' = 0 strlen(&buf[0])' = 0 cc' = 0 cookie' = $input_298076 ep' = 0 errno' != 0 freepmsgs.m_link' = &$unknown_1375797 freepmsgs.m_rlink' = &$unknown_1375796 $heap_348512' = $input_444 bytes_after(&$heap_348512)' = $input_12 + 1 $heap_348512' is allocated by malloc $heap_348512' is a non-heap object bytes_before(&$heap_348512)' = 0 strlen(&$heap_348512)' = $input_12 $heap_348513' = $input_298092 bytes_after(&$heap_348513)' = $input_298084 + 1 $heap_348513' is allocated by malloc $heap_348513' is a non-heap object bytes_before(&$heap_348513)' = 0 strlen(&$heap_348513)' = $input_298084 need_trcinfo' = 0 new_tracer' = 0 numpmsgs' = 49 p' = &$heap_348513 pvm_useruid' != -1 pvmampushed' = 0 pvmamtraced' = pvmtoplvl pvmdebmask' = &$unknown_1375794 pvmmydsig' = myfmt pvmrxlist' = &$unknown_1375797 pvmtoplvl' = 0 rbf' = 0 sbf' = 0 ttlist' = 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
