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
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 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: