Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Buffer Overrun  at trcfile.c:2934

Categories: LANG.MEM.BO CWE:120 CWE:121 CWE:122 CWE:126
Warning ID: 461.29222
Procedure: trc_read_descriptor
Trace: view
Modified: Thu Nov 26 11:36:19 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
   /kat0/fletcher/SATE/2010/pvm3/tracer/trcfile.c
   Enter trc_read_descriptor
 2766 trc_read_descriptor( ID, eid, name, entry_exit, index ) 
 2767 TRC_ID ID;
 2768 int eid;
 2769 char *name;
 2770 int entry_exit;
 2771 int index;
 2772 {
 2773         TRC_DATADESC DD;
 2774  
 2775         TRC_TEVDESC TD;
 2776         TRC_TEVDESC tdptr;
   ...
 2782         char last;
 2783         char c;
 2784  
 2785         long tmp;
 2786  
 2787         int done;
 2788         int i;
 2789  
 2790         /* Find first bracket */ 
 2791  
 2792         if ( !trc_find_event_str( ID, "{" ) )
 2793                 return( (TRC_TEVDESC) NULL );
 2794  
 2795         /* matching } */ 
 2796  
 2797         /* Create Descriptor Structure */ 
 2798  
 2799         TD = trc_create_tevdesc();   /* Leak (ID: 458.29219) */
 2800  
 2801         TD->refcount = 1;
 2802  
 2803         TD->name = trc_copy_str( name );   /* Leak (ID: 459.29220) */
 2804  
 2805         TD->eid = eid;
 2806  
 2807         TD->entry_exit = entry_exit;
 2808  
 2809         TD->index = index;
 2810  
 2811         /* Read in Data Descriptor Statements */ 
 2812  
 2813         done = 0;
 2814  
 2815         do 
 2816         {
 2817                 /* matching { */ 
 2818  
 2819                 while ( (c = getc( ID->trace_in )) != (char) EOF 
 2820                         && c != '/' && c != '}' );
 2821  
 2822                 TRC_CKEOF( c, "EOF Reading Event Descriptor\n",
 2823                         return( (TRC_TEVDESC) NULL ) );
 2824  
 2825                 /* Another Descriptor Statement */ 
 2826  
 2827                 if ( c == '/' )
 2828                 {
 2829                         if ( TD->ddesc == NULL )
 2830                                 DD = TD->ddesc = trc_create_datadesc();   /* Leak (ID: 457.29218) */
 2831  
 2832                         else 
 2833                                 DD = DD->next = trc_create_datadesc();
 2834  
 2835                         /* Get Second '/' */ 
 2836  
 2837                         c = getc( ID->trace_in );
 2838  
 2839                         TRC_CKEOF( c, "EOF Reading Event Descriptor\n",
 2840                                 return( (TRC_TEVDESC) NULL ) );
 2841  
 2842                         if ( c != '/' )
 2843                         {
 2844                                 printf( "Error Parsing Event Descriptor\n" );
 2845  
 2846                                 return( (TRC_TEVDESC) NULL );
 2847                         }
 2848  
 2849                         /* Read in TRC_DID Name */ 
 2850  
 2851                         if ( !trc_find_event_str( ID, "\"" ) )
 2852                                 return( (TRC_TEVDESC) NULL );
 2853  
 2854                         i = 0;
 2855  
 2856                         while ( (c = getc( ID->trace_in )) != (char) EOF 
 2857                                 && c != '"' && i < 8 )
 2858                         {
 2859                                 did[i++] = c;
 2860                         }
 2861  
 2862                         TRC_CKEOF( c, "EOF Reading Event Descriptor\n",
 2863                                 return( (TRC_TEVDESC) NULL ) );
 2864  
 2865                         if ( c != '"' )
 2866                         {
 2867                                 printf( "Error Parsing Event Descriptor\n" );
 2868  
 2869                                 return( (TRC_TEVDESC) NULL );
 2870                         }
 2871  
 2872                         did[i] = '\0';   /* Buffer Overrun (ID: 463.29224) */
 2873  
 2874                         /* Read in TRC_DID Description */ 
 2875  
 2876                         if ( !trc_find_event_str( ID, "\"" ) )
 2877                                 return( (TRC_TEVDESC) NULL );
 2878  
 2879                         i = 0;
 2880  
 2881                         while ( (c = getc( ID->trace_in )) != (char) EOF 
 2882                                 && c != '"' && i < 1024 )
 2883                         {
 2884                                 diddesc[i++] = c;
 2885                         }
 2886  
 2887                         TRC_CKEOF( c, "EOF Reading Event Descriptor\n",
 2888                                 return( (TRC_TEVDESC) NULL ) );
 2889  
 2890                         if ( c != '"' )
 2891                         {
 2892                                 printf( "Error Parsing Event Descriptor\n" );
 2893  
 2894                                 return( (TRC_TEVDESC) NULL );
 2895                         }
 2896  
 2897                         diddesc[i] = '\0';   /* Buffer Overrun (ID: 462.29223) */
 2898  
 2899                         /* Get Descriptor TRC_DID struct */ 
 2900  
 2901                         DD->did = (TRC_DID) trc_lookup_trie( TRC_DID_TRIE,
 2902                                 (void *) did );
 2903  
 2904                         if ( DD->did == NULL )
 2905                         {
 2906                                 DD->did = trc_create_did();
 2907  
 2908                                 DD->did->name = trc_copy_str( did );
 2909  
 2910                                 DD->did->desc = trc_copy_str( diddesc );
 2911                         }
 2912  
 2913                         /* Get Data Type */ 
 2914  
 2915                         while ( (c = getc( ID->trace_in )) != (char) EOF 
 2916                                 && ( c == ' ' || c == '\t' || c == '\n' ) );
 2917  
 2918                         TRC_CKEOF( c, "EOF Reading Event Descriptor\n",
 2919                                 return( (TRC_TEVDESC) NULL ) );
 2920  
 2921                         dtstr[0] = c;
 2922  
$input_589276 > 2542923                         i = 1;
 2924  
 2925                         while ( (c = getc( ID->trace_in )) != (char) EOF 
 2926                                 && c != ' ' && c != '\t' && c != '\n' && c != '"' )
 2927                         {
 2928                                 dtstr[i++] = c;   /* Buffer Overrun (ID: 460.29221) */
 2929                         }
 2930  
 2931                         TRC_CKEOF( c, "EOF Reading Event Descriptor\n",
 2932                                 return( (TRC_TEVDESC) NULL ) );
 2933  
i > 2542934                         dtstr[i] = '\0';     /* Buffer Overrun */
 2935  
 2936                         DD->dt = trc_get_dt_str( dtstr );
 2937  
 2938                         if ( DD->dt < 0 )
 2939                         {
 2940                                 printf( "Error: Unknown Data Type \"%s\".\n", dtstr );
 2941  
 2942                                 return( (TRC_TEVDESC) NULL );
 2943                         }
 2944  
 2945                         /* Skip over var name */ 
 2946  
 2947                         if ( c != '"' )
 2948                         {
 2949                                 if ( !trc_find_event_str( ID, "\"" ) )
 2950                                         return( (TRC_TEVDESC) NULL );
 2951                         }
 2952  
 2953                         if ( !trc_find_event_str( ID, "\"" ) )
 2954                                 return( (TRC_TEVDESC) NULL );
 2955  
 2956                         /* Check for Data Array */ 
 2957  
 2958                         c = getc( ID->trace_in );
 2959  
 2960                         TRC_CKEOF( c, "EOF Reading Event Descriptor\n",
 2961                                 return( (TRC_TEVDESC) NULL ) );
 2962  
 2963                         if ( c == '[' )
 2964                         {
 2965                                 if ( DD->dt == TEV_DATA_BYTE 
 2966                                         || DD->dt == TEV_DATA_STRING )
 2967                                 {
 2968                                         /* Get closing ']' */ 
 2969  
 2970                                         c = getc( ID->trace_in );
 2971  
 2972                                         TRC_CKEOF( c, "EOF Reading Event Descriptor\n",
 2973                                                 return( (TRC_TEVDESC) NULL ) );
 2974  
 2975                                         if ( c != ']' )
 2976                                         {
 2977                                                 printf( "Error Parsing Event Descriptor\n" );
 2978  
 2979                                                 return( (TRC_TEVDESC) NULL );
 2980                                         }
 2981  
 2982                                         /* Check for another [] */ 
 2983  
 2984                                         c = getc( ID->trace_in );
 2985  
 2986                                         TRC_CKEOF( c, "EOF Reading Event Descriptor\n",
 2987                                                 return( (TRC_TEVDESC) NULL ) );
 2988  
 2989                                         /* [][] -> STRING[] */ 
 2990                                         if ( c == '[' )
 2991                                         {
 2992                                                 if ( DD->dt == TEV_DATA_BYTE )
 2993                                                         DD->dt = TEV_DATA_STRING;
 2994  
 2995                                                 DD->array = TEV_DATA_ARRAY;
 2996                                         }
 2997  
 2998                                         /* [] -> BYTE[] */ 
 2999                                         else 
 3000                                         {
 3001                                                 if ( DD->dt == TEV_DATA_STRING )
 3002                                                         DD->dt = TEV_DATA_BYTE;
 3003  
 3004                                                 DD->array = TEV_DATA_ARRAY;
 3005                                         }
 3006                                 }
 3007  
 3008                                 else 
 3009                                         DD->array = TEV_DATA_ARRAY;
 3010                         }
 3011  
 3012                         else 
 3013                                 DD->array = TEV_DATA_SCALAR;
 3014                 }
 3015  
 3016                 /* End of Descriptor */ 
 3017  
 3018                 else 
 3019                 {
 3020                         if ( !trc_find_event_end( ID ) )
 3021                                 return( (TRC_TEVDESC) NULL );
 3022  
 3023                         done++;
 3024                 }
 3025         }
 3026         while ( !done );
Preconditions 
TRC_DID_TRIE[36].valid != 0
TRC_DID_TRIE[36].value = 0
strlen(TRC_DID_TRIE[36].str) <= 8
strlen(TRC_DID_TRIE[36].str) >= 1
TRC_DID_TRIE >= 3520
$input_12 = 47
$input_585524 <= 8
$input_585524 = strlen(TRC_DID_TRIE[36].str)
$input_585524 >= 1
$input_586588 <= 1024
$input_586588 >= 1
$input_589276 >= 2
$input_614324 = 47
$input_614340 = 34
$input_614356 = 34
$input_614372 != 10
$input_614372 != 32
$input_614372 != 9
$input_614372 <= 254
$input_614372 >= -1
$input_614388 = 10
Postconditions 
DD' = &$heap_434578
TD' = &$heap_434576
c' = $input_614388
did[0]' = *TRC_DID_TRIE[36].str
strlen(&did[0])' = $input_585524
strlen(&diddesc[0])' = $input_586588
done' >= -1
done' <= 0
dtstr[0]' = $input_614372
$heap_434576' = &$heap_434577
bytes_after(&$heap_434576)' = 36
$heap_434576' is allocated by malloc
$heap_434576' is allocated
bytes_before(&$heap_434576)' = 0
((char*)&$heap_434576)[16]' = -1
((char*)&$heap_434576)[20]' = -1
((char*)&$heap_434576)[24]' = &$heap_434578
((char*)&$heap_434576)[28]' = 1
((char*)&$heap_434576)[32]' = 0
((char*)&$heap_434576)[4]' = eid
((char*)&$heap_434576)[8]' = entry_exit
((char*)&$heap_434576)[12]' = index
$heap_434577' = *name
bytes_after(&$heap_434577)' = strlen(name) + 1
$heap_434577' is allocated by malloc
$heap_434577' is allocated
bytes_before(&$heap_434577)' = 0
strlen(&$heap_434577)' = strlen(name)
tocttou($heap_434577)' = tocttou(*name)
$heap_434578' = &$heap_434579
bytes_after(&$heap_434578)' = 24
$heap_434578' is allocated by malloc
$heap_434578' is allocated
bytes_before(&$heap_434578)' = 0
((char*)&$heap_434578)[16]' = -1
((char*)&$heap_434578)[20]' = 0
((char*)&$heap_434578)[4]' = -1
((char*)&$heap_434578)[8]' = -1
((char*)&$heap_434578)[12]' = 0
$heap_434579' = -1
bytes_after(&$heap_434579)' = 16
$heap_434579' is allocated by malloc
$heap_434579' is allocated
bytes_before(&$heap_434579)' = 0
((char*)&$heap_434579)[4]' = &$heap_434580
((char*)&$heap_434579)[8]' = &$heap_434581
((char*)&$heap_434579)[12]' = 0
$heap_434580' = *TRC_DID_TRIE[36].str
bytes_after(&$heap_434580)' = $input_585524 + 1
$heap_434580' is allocated by malloc
$heap_434580' is allocated
bytes_before(&$heap_434580)' = 0
strlen(&$heap_434580)' = $input_585524
tocttou($heap_434580)' = tocttou(did)
bytes_after(&$heap_434581)' = $input_586588 + 1
$heap_434581' is allocated by malloc
$heap_434581' is allocated
bytes_before(&$heap_434581)' = 0
strlen(&$heap_434581)' = $input_586588
tocttou($heap_434581)' = tocttou(diddesc)
i' = $input_589276



Change Warning 461.29222 : Buffer Overrun

Priority:
State:
Finding:
Owner:
Note: