Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : File System Race Condition  at pvmd.c:965

Categories: IO.RACE CWE:367
Warning ID: 272.28942
Similar Warnings: 272.28943
Procedure: main
Trace: view
Modified: Thu Nov 26 11:28:59 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/src/pvmd.c
   Enter main
 947 main(argc, argv) 
 948         int argc;
 949         char **argv;
 950 {
 951         int i, j;
 952         char *name = "";
 953         struct passwd *pe;
 954         int testmode = 0;
 955         struct timeval tnow;
 956         char buf[128];
 957  
 958 #ifndef WIN32 
 959         /* check for extension config options */ 
 960         check_ext_input();
 961  
 962         /* make sure 0, 1, 2 are in use */ 
 963         (void)open("/dev/null", O_RDONLY, 0);
true964         (void)open("/dev/null", O_RDONLY, 0);   /* File System Race Condition (ID: 272.28943) */
#string1[0] is accessed by path name965         (void)open("/dev/null", O_RDONLY, 0);     /* File System Race Condition */
Postconditions 
*stdin' is allocated by fopen
bytes_before(stdin)' = 0
errno' != 0
name' = &#string0[0]
testmode' = 0



Change Warning 272.28942 : File System Race Condition

Because they are very similar, this warning shares annotations with warning 272.28943.

Priority:
State:
Finding:
Owner:
Note: