Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Null Pointer Dereference  at ddpro.c:1826

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2542.2573
Procedure: dm_htupdack
Trace: View
Modified: Wed Sep 2 12:40:49 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
   /u1/paul/SATE/2010/c/pvm/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 
$param_1 >= 0
((char*)$param_2)[60] != 0
waitlist->wa_link->wa_wid != ((char*)$param_2)[60]
waitlist->wa_link != waitlist
$unknown_477290 != waitlist
$unknown_477290 = ((char*)$unknown_477290)[40]
((char*)&$unknown_477290)[16] != ((char*)$param_2)[60]
numpmsgs = 0
Postconditions 
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hp' = $param_1
mp' = 0
wp' = $unknown_477290



Change Warning 2542.2573 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: