Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Null Pointer Dereference  at pvmdtev.c:300

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2445.2473
Procedure: tev_send_spntask
Trace: View
Modified: Wed Sep 2 12:39:34 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/pvmdtev.c
   Enter tev_send_spntask
 279 tev_send_spntask( dst, ctx, tag, tid, ptid ) 
 280         int dst;
 281         int ctx;
 282         int tag;
 283         int tid;
 284         int ptid;
 285 {
 286         static int checklist[CHECKLISTSIZE];
 287         static int start = 0;
 288         static int end = 0;
 289  
 290         struct timeval now;
 291  
 292         struct pmsg *mp;
 293  
 294         int flag;
 295         int tmp;
 296         int i;
 297  
true298         mp = mesg_new( 0 );
 299  
mp <= 4095300         mp->m_ctx = ctx;     /* Null Pointer Dereference */
Preconditions 
numpmsgs = 0
Postconditions 
ctx' = $param_2
dst' = $param_1
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
mp' = 0
ptid' = $param_5
tag' = $param_3
tid' = $param_4



Change Warning 2445.2473 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: