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

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: