摘要：本文首先对CFCSS（控制流检错算法）进行了介绍,对GCC编译器的运行流程进行了简要分析,再次给出了在GCC编译器中扩充CFCSS算法的具体方法,最后通过故障注入实验对扩充后的GCC进行了有效性验证。实验表明,扩充了CFCSS算法的GCC编译器所编译的程序在运行过程中具有控制流检错能力。这为我们下一步的故障定位和故障恢复提供了有力的支持,为解决星载计算机的运行故障奠定了基础。

关键词：gcc 中间层代码 优化 控制流检错算法 

单位：国防科学技术大学继续教育学院 湖南长沙410073 国防科学技术大学计算机学院 湖南长沙410073