filter_helgrind.c File Reference

Include dependency graph for filter_helgrind.c:

Go to the source code of this file.

Functions
int	main (int argc, char **args)

Function Documentation

main()

int main	(	int	argc,
		char **	args
	)

Definition at line 44 of file filter_helgrind.c.

                                {
   (void) argc;
   (void) args;
 
   char myLine[16384];
   int state, size;
   char type1, type2;
   char fname1[256], fname2[256];
   char *paren1, *paren2;
 
   FILE *HELOUT = fopen("helgrind_out.txt", "r");  // Read the file.
   if (HELOUT == NULL) {
      fprintf(stderr, "Could not open helgrind_out.txt.\n");
      exit(-1);
   }
 
   char PDRR[]="Possible data race during read";
   char PDRW[]="Possible data race during write";
   char TCWW[]="This conflicts with a previous write";
   char TCWR[]="This conflicts with a previous read";
   char atSTR[]="   at ";
 
   // State machine:
   // State 0: We are looking for a line with PDRR or PDRW.
   //          We don't exit until we find it, or run out of lines.
   //          if we find it, we remember which and go to state 1.
   // State 1: Looking for "   at " in column 11. 
   //          When found, we extract the string betweeen '(' and ')'
   //          which is program name:line. go to state 2.
   // State 2: We are searching for TCWW, TCWR, PDRW, PDRR.
   //          If we find the first two:
   //             Remember which, and go to state 3.
   //          If we find either of the second two, go back to State 1.
   // State 3: Looking for "   at " in column 11.
   //          When found, extract the string betweeen '(' and ')',
   //          which is program name:line.
   //          OUTPUT LINE for an investigation.
   //          Go to State 0.
 
   state = 0;        // looking for PDRR, PDRW. 
   while (fgets(myLine, 16384, HELOUT) != NULL) {
      if (strlen(myLine) < 20) continue;
      switch (state) {
         case 0:  // Looking for PDRR or PRDW.
            if (strstr(myLine, PDRR) != NULL) { 
               type1='R';
               state=1;
               continue;
            }
 
            if (strstr(myLine, PDRW) != NULL) {
               type1='W';
               state=1;
               continue;
            }
      
            continue;
            break;
 
         case 1: // Looking for atSTR in column 11.
            if (strncmp(myLine+10, atSTR, 6) != 0) continue;
            paren1=strchr(myLine, '(');
            paren2=strchr(myLine, ')');
            if (paren1 == NULL || paren2 == NULL ||
                paren1 > paren2) {
               state=0;             // Abort, found something I don't understand.
               continue;
            }
 
            size = paren2-paren1-1;          // compute length of name.
            strncpy(fname1, paren1+1, size); // Copy the name.
            fname1[size]=0;                  // install z-terminator.
            state=2;
            continue;
            break;
 
         case 2: // Looking for TCWW, TCWR, PDRR, PDRW.
            if (strstr(myLine, TCWR) != NULL) {
               type2='R';
               state=3;
               continue;
            }
 
            if (strstr(myLine, TCWW) != NULL) { 
               type2='W';
               state=3;
               continue;
            }
 
            if (strstr(myLine, PDRR) != NULL) { 
               type1='R';
               state=1;
               continue;
            }
 
            if (strstr(myLine, PDRW) != NULL) {
               type1='W';
               state=1;
               continue;
            }
 
            continue;
            break;
 
         case 3: // Looking for atSTR in column 11.
            if (strncmp(myLine+10, atSTR, 6) != 0) continue;
            paren1=strchr(myLine, '(');
            paren2=strchr(myLine, ')');
            if (paren1 == NULL || paren2 == NULL ||
                paren1 > paren2) {
               state=0;             // Abort, found something I don't understand.
               continue;
            }
 
            size = paren2-paren1-1;          // compute length of name.
            strncpy(fname2, paren1+1, size); // Copy the name.
            fname2[size]=0;                  // install z-terminator.
            fprintf(stdout, "%c@%-32s %c@%-32s\n", type1, fname1, type2, fname2);
            state=0;
            continue;
            break;
      } // end switch.
   } // end while.
   
   fclose(HELOUT);
   exit(0);
}  

Here is the call graph for this function: