Text  |   XML   |   Visible Warnings:

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

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2444.2472
Procedure: tev_init_pvmd
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_init_pvmd
 80 tev_init_pvmd( dst, ctx, tag ) 
 81         int dst;
 82         int ctx;
 83         int tag;
 84 {
 85         struct Pvmtevdid *ptr;
 86  
 87         struct pmsg *mp;
 88  
 89         int i;
 90  
 91         /* Check for Existing Tracer */ 
 92  
 93         for ( i=init_start ; i != init_end ; i = (i + 1) % CHECKLISTSIZE )
 94         {
 95                 if ( init_checklist[i] == dst )
 96                         return;
 97         }
 98  
 99         init_checklist[init_end] = dst;
 100  
 101         init_end = ( init_end + 1 ) % CHECKLISTSIZE;
 102  
 103         init_start = ( init_end == init_start ) ? 
 104                 ( init_start + 1 ) % CHECKLISTSIZE : init_start;
 105  
 106         /* Send Semantic Identifiers to Trace Collector */ 
 107  
true108         mp = mesg_new( 0 );
 109  
mp <= 4095110         mp->m_ctx = ctx;     /* Null Pointer Dereference */
Preconditions 
init_end != init_start
numpmsgs = 0
Postconditions 
ctx' = $param_2
dst' = $param_1
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
i' = init_end
init_end' != init_start
mp' = 0
tag' = $param_3



Change Warning 2444.2472 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: