pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at lpvm.c:2476
|
|
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
mid <= pvmmidhsiz - 1 mid >= 1 dtid != 0 dtid != pvmmytid ttlist->tt_link->tt_tid != dtid ttlist->tt_link->tt_tid <= dtid - 1 ttlist->tt_link->tt_link != ttlist->tt_link alreadyhere = 0 numpmsgs != 0 pvmmidhsiz >= 2 pvmrouteopt = 3 td = 0 ttlist = ttlist->tt_link->tt_link |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ttlist->tt_link->tt_link->tt_rlink' = &$heap_338259 freepmsgs.m_link->m_link->m_rlink' = freepmsgs.m_link->m_rlink freepmsgs.m_link->m_cfrag' = 0 freepmsgs.m_link->m_ref' = 1 freepmsgs.m_link->m_mid' = 0 freepmsgs.m_link->m_len' = 0 freepmsgs.m_link->m_ctx' = 0 freepmsgs.m_link->m_tag' = 0 freepmsgs.m_link->m_wid' = 0 freepmsgs.m_link->m_rlink' = freepmsgs.m_link freepmsgs.m_link->m_src' = 0 freepmsgs.m_link->m_dst' = 0 freepmsgs.m_link->m_enc' = 0 freepmsgs.m_link->m_flag' = 0 freepmsgs.m_link->m_cpos' = 0 freepmsgs.m_link->m_crc' = 0 freepmsgs.m_link->m_codef' = 0 freepmsgs.m_link->m_frag' = 0 ttlist->tt_link->tt_link->tt_rlink->tt_link' = &$heap_338259 freepmsgs.m_link->m_rlink->m_link' = freepmsgs.m_link->m_link freepmsgs.m_link->m_link' = freepmsgs.m_link addr' = 0 alreadyhere' = 1 ((char*)&$unknown_1207605)[36]' = tag ((char*)&$unknown_1207605)[48]' = dtid cc' = 0 errno' != 0 f' = f + 1 gotem' = 0 $heap_338258' is allocated by open $heap_338258' is allocated $heap_338259' = ttlist->tt_link->tt_link bytes_after(&$heap_338259)' = 64 $heap_338259' is allocated by malloc $heap_338259' is allocated bytes_before(&$heap_338259)' = 0 ((char*)&$heap_338259)[16]' = &$heap_338258 - 4096 ((char*)&$heap_338259)[4]' = ttlist->tt_link->tt_link->tt_rlink ((char*)&$heap_338259)[52]' = freepmsgs.m_link ((char*)&$heap_338259)[8]' = dtid numpmsgs' = numpmsgs - 1 oslen' = 110 pcbp' = &$heap_338259 s' = &$heap_338258 - 4096 spath[0]' = 0 strlen(&spath[0])' = 34 spath[34]' = 0 td' = &#string21[0] uns.sun_family' = 1 strlen(&uns.sun_family)' = 36 uns.sun_path[0]' = 0 tocttou(uns.sun_path)' = tocttou(spath) up' = &$unknown_1207605 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
