Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Null Pointer Dereference  at msgbox.c:306

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2595.2629
Procedure: mc_find
Trace: View
Modified: Wed Sep 2 12:41:58 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_db
 2943 dm_db(hp, mp) 
 2944         struct hostd *hp;
 2945         struct pmsg *mp;
 2946 {
 2947         int opcode;                                     /* op requested */ 
 2948         int tid;
 2949         int req;                                        /* index requested */ 
 2950         int flags;
 2951         char *name = 0;                         /* class name */ 
 2952         struct pmsg *mp2 = 0;           /* reply */ 
 2953         struct pmsg *mp3 = 0;           /* data message */ 
 2954  
 2955         struct waitc *wp, *wp2;         /* wait ctx ptrs (notify, recvinfo */ 
 2956         struct pmsg *mp4 = 0;           /* notify forward message */ 
 2957         struct hostd *hp2;                      /* remote notify host */ 
 2958  
 2959         struct pvmmclass *np, *np2;     /* reset pointers */ 
 2960         struct pvmmentry *ep, *ep2;     /* reset pointers */ 
 2961         int *noresets;                          /* noreset tids */ 
 2962         int nnr;                                        /* # of noreset tasks */ 
 2963         int found;
 2964         int cc;
 2965         int i;
 2966         int notified;
 2967  
 2968         hp = hp;
 2969  
 2970         if (upkint(mp, &opcode) || upkint(mp, &tid) 
true2971         || upkstralloc(mp, &name) || upkint(mp, &req) || upkint(mp, &flags))
 2972                 goto badformat;
 2973  
 2974         mp2 = mesg_new(0);
 2975         mp2->m_dst = mp->m_src;   /* Null Pointer Dereference (ID: 2599.2633) */
 2976         mp2->m_tag = DM_DBACK;
 2977         mp2->m_wid = mp->m_wid;
 2978  
 2979         switch (opcode) {
 2980  
 2981         case TMDB_PUT: 
 2982                 mp3 = mesg_new(0);
 2983                 if (pmsg_unpack(mp, mp3))
 2984                         goto badformat;
name <= 40952985                 if ((req = mb_insert(tid, name, req, flags, mp3)) < 0)
     /u1/paul/SATE/2010/c/pvm/pvm3/src/msgbox.c
     Enter dm_db / mb_insert
$param_2 <= 4095321   mb_insert(tid, name, req, flags, mp) 
 322           int tid;                                /* owner task */ 
 323           char *name;                             /* class name */ 
 324           int req;                                /* index requested or -1 for lowest avail */ 
 325           int flags;
 326           struct pmsg *mp;                /* message to store */ 
 327   {
 328           struct pvmmclass *np;
 329           struct pvmmentry *ep;
 330           struct pvmmentry *ep2 = 0;
 331    
 332           int dind;       /* direct index */ 
 333           int cind;       /* current index */ 
 334    
 335           /* must change to always pass in -1 for 3.4 calls */ 
 336           /* then can distinguish between 3.4 reinsert which succeeds 
 337                   if !overwritable/minst & 3.3 reinsert which should fail */ 
 338           /* to fix the "if (ep->me_ind == req)" conditional 
 339                   use a "current index":  cind = ( req == -1 ) ? 0 : req; */ 
 340           /* also, minst supercedes overwritable, else no way to build 
 341                   a minst list from within a single task... */ 
 342    
name <= 4095343           if (!(np = mc_find(name)))
       Enter dm_db / mb_insert / mc_find
 298     static struct pvmmclass * 
$param_1 <= 4095299     mc_find(name) 
 300             char *name;
 301     {
 302             struct pvmmclass *np;
 303      
 304             for (np = pvmmboxclasses->mc_link; np != pvmmboxclasses;
 305                             np = np->mc_link)
name <= 4095306                     if (!strcmp(np->mc_name, name))     /* Null Pointer Dereference */
       Exit dm_db / mb_insert / mc_find
     Exit dm_db / mb_insert
Preconditions 
*pvmmboxclasses->mc_link->mc_name = 0
strlen(pvmmboxclasses->mc_link->mc_name) = 0
pvmmboxclasses->mc_link != pvmmboxclasses
numfrags = 0
numpmsgs = 1
Postconditions 
freepmsgs.m_link->m_link->m_rlink' = freepmsgs.m_link->m_rlink
freepmsgs.m_link->m_tag' = -2147352552
freepmsgs.m_link->m_rlink->m_link' = freepmsgs.m_link->m_link
$unknown_735288' = &freefrags.fr_link
((char*)&$unknown_735288)[8]' = ((char*)&$unknown_735287)[8]
ep2' = 0
flags' = flags'
freefrags.fr_link' = &$unknown_735288 - 64
freefrags.fr_rlink' = &$unknown_735288
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hp' = $param_1
mp' = $param_2
mp' = 0
mp2' = freepmsgs.m_link
mp3' = 0
mp4' = 0
name' = 0
name' = 0
name' = 0
np' = pvmmboxclasses->mc_link
numfrags' = 499
numpmsgs' = numpmsgs - 1
opcode' = 1
req' = req'
tid' = tid'



Change Warning 2595.2629 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: