Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Buffer Underrun  at trcfile.c:167

Categories: LANG.MEM.BU CWE:124 CWE:127
Warning ID: 2857.2920
Procedure: trc_add_tevdesc
Trace: View
Modified: Wed Sep 2 12:50: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/tracer/trcfile.c
   Enter trc_add_tevdesc
 114 trc_add_tevdesc( ID, TDptr, tid, omit ) 
 115 TRC_ID ID;
 116 TRC_TEVDESC *TDptr;
 117 int tid;
 118 int omit;
 119 {
 120         TRC_TEVDESC *newlist;
 121  
 122         TRC_TEVDESC tdptr;
 123         TRC_TEVDESC last;
 124  
 125         int newsize;
 126         int index;
 127         int eid;
 128         int i;
 129  
 130         /* Verify Descriptor List is Large Enough */ 
 131  
 132         eid = (*TDptr)->eid;
 133  
 134         if ( eid >= TRC_TEVDESC_SIZE )
 135         {
true136                 newsize = 2 * ( eid + 1 );
 137  
 138                 newlist = (TRC_TEVDESC *) malloc( (unsigned) newsize 
eid < 0139                         * sizeof( TRC_TEVDESC ) );
 140                 trc_memcheck( newlist, "New TRC_TEVDESC Pointer List" );
 141  
 142                 for ( i=0 ; i < TRC_TEVDESC_SIZE ; i++ )
 143                 {
 144                         newlist[i] = TRC_TEVDESC_LIST[i];
 145  
 146                         TRC_TEVDESC_LIST[i] = (TRC_TEVDESC) NULL;
 147                 }
 148  
 149                 i = ( TRC_TEVDESC_SIZE >= 0 ) ? TRC_TEVDESC_SIZE : 0;   /* Useless Assignment (ID: 2855.2918) */
 150  
 151                 while ( i < newsize )
 152                 {
 153                         newlist[i] = (TRC_TEVDESC) NULL;
 154  
 155                         i++;
 156                 }
 157  
 158                 free( TRC_TEVDESC_LIST );
 159  
eid <= ( -8 * bytes_before(newlist) - 1 ) / 64160                 TRC_TEVDESC_LIST = newlist;
 161  
 162                 TRC_TEVDESC_SIZE = newsize;
 163         }
 164  
 165         /* Search for Existing Descriptor */ 
 166  
eid <= ( -8 * bytes_before(TRC_TEVDESC_LIST) - 1 ) / 64167         tdptr = TRC_TEVDESC_LIST[ eid ];     /* Buffer Underrun */  /* Uninitialized Variable (ID: 2856.2919) */
Preconditions 
((char*)*$param_2)[8] = -1
TRC_TEVDESC_SIZE <= -1
Postconditions 
*TRC_TEVDESC_LIST' is freed
ID' = $param_1
TDptr' = $param_2
TRC_TEVDESC_LIST' = &$heap_217463
TRC_TEVDESC_SIZE' = 2 * ((char*)*$param_2)[8] + 2
eid' = ((char*)*$param_2)[8]
bytes_after(&$heap_217463)' = 16 * ((char*)*$param_2)[8] + 16
$heap_217463' is allocated by malloc
$heap_217463' is allocated
bytes_before(&$heap_217463)' = 0
i' = 0
newlist' = &$heap_217463
newsize' = 2 * ((char*)*$param_2)[8] + 2
omit' = $param_4
tid' = $param_3



Change Warning 2857.2920 : Buffer Underrun

Priority:
State:
Finding:
Owner:
Note: