Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference  at ddpro.c:1826

Categories: LANG.MEM.NPD CWE:476
Warning ID: 133.28754
Procedure: dm_htupdack
Trace: view
Modified: Thu Nov 26 11:27:43 2009   show details
 
Priority: None
State: None
Finding: None
Owner: None
  edit properties

Legend [ X ]
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 Hide Legend     
ProblemLineSource
   /kat0/fletcher/SATE/2010/pvm3/src/ddpro.c
   Enter dm_htupdack
 1811 dm_htupdack(hp, mp) 
 1812         struct hostd *hp;
 1813         struct pmsg *mp;
 1814 {
 1815         struct waitc *wp;
 1816  
 1817         if (!(wp = wait_get(hp, mp, WT_HTUPD)))
 1818                 return 0;
 1819  
 1820         /* is this is the last host checking in, send ht commit */ 
 1821  
 1822         if (wp->wa_peer == wp) {
 1823                 int hh;
 1824  
true1825                 mp = mesg_new(0);
mp <= 40951826                 mp->m_tag = DM_HTCOMMIT;     /* Null Pointer Dereference */
Preconditions
hp >= 0
mp->m_wid != 0
waitlist->wa_link->wa_wid != mp->m_wid
waitlist->wa_link != waitlist
$unknown_451990 != waitlist
$unknown_451990 = ((char*)$unknown_451990)[28]
((char*)&$unknown_451990)[8] != mp->m_wid
numpmsgs = 0
Postconditions
errno' != 0
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
mp' = 0
wp' = $unknown_451990




Change Warning 133.28754 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: