Text  |   XML   |   Visible Warnings:

Pvm : Pvm analysis 1 : Null Pointer Dereference  at pvmd.c:1304

Categories: LANG.MEM.NPD CWE:476
Warning ID: 2658.2703
Procedure: check_ext_input
Trace: View
Modified: Wed Sep 2 12:42:39 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/pvmd.c
   Enter check_ext_input
 1264 check_ext_input() 
 1265 {
 1266         char input[256];
 1267  
 1268         char *ptr, *ptr2;
 1269  
 1270         char c;
 1271  
 1272         int flags;
 1273         int i;
 1274  
 1275         /* Set stdin Non-Blocking */ 
 1276  
 1277         flags = fcntl( 0, F_GETFL, 0 );
 1278  
 1279         fcntl( 0, F_SETFL, flags | O_NDELAY );
 1280  
 1281         /* Test for Input */ 
 1282  
 1283         i = 0;
 1284  
 1285         while ( (int)(input[i] = getc( stdin )) != (char) EOF 
 1286                         && input[i] != '\n' && i < 255 )
 1287                 i++;
 1288  
 1289         input[i] = '\0';
 1290  
 1291         /* Parse Extension Options Here */ 
 1292  
 1293         if ( i ) {
 1294                 ptr = input;
 1295                 while ( *ptr != '\0' )
 1296                 {
 1297                         /* Virtual Machine ID */ 
 1298                         if ( !strncmp( "PVM_VMID=", ptr, 9 ) ) {
 1299                                 ptr2 = ptr + 9;
 1300                                 while ( *ptr2 != ' ' && *ptr2 != '\t' && *ptr2 != '\0' )
 1301                                         ptr2++;
 1302                                 c = *ptr2;
 1303                                 *ptr2 = '\0';
true1304                                 pvmputenv(STRALLOC(ptr));     /* Null Pointer Dereference */
Preconditions 
&$unknown_786178 >= &input[0] + 9
$unknown_786178 != 0
$unknown_786178 != 32
$unknown_786178 != 9
((char*)&$unknown_786178)[2] = 32
((char*)&$unknown_786178)[1] != 0
((char*)&$unknown_786178)[1] != 32
((char*)&$unknown_786178)[1] != 9
input[0] != 0
input[9] != 0
input[9] != 32
input[9] != 9
$input_6828 <= 255
$input_6828 >= -1
Postconditions 
strlen(&$unknown_786178)' = 2
((char*)&$unknown_786178)[2]' = 0
c' = ((char*)&$unknown_786178)[2]
codesonar_distance_tweak' = 3
errno' != 0
flags' = -1
i' = 255
strlen(&input[0])' = 255
input[255]' = 0
ptr' = &input[0]
ptr2' = &$unknown_786178 + 2



Change Warning 2658.2703 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: