Abstract:

The paper introduces  for CFCSS, briefly analyzes the running routine of the GCC compiler, gives the concrete methods for how to extend the CFCSS algorithm in the GCC compiler and then compiles a single C language program in the extended GCC. Finally, we perform the CFCSS algorithm’s valid verification by fault injection experiments. The experiment shows the new program can check the error of the control flow when it runs, which is compiled by the GCC compiler after extending the CFCSS algorithm. The above conclusion gives great support to positioning and recovering the faults in the next step and lays a good foundation for solving the computer running faults in the space.

Key words: GCC;intermediate code;optimization;control flow error detection algorithm