一种基于基本块重划分的控制流错误检测方法

摘要

本发明公开了一种基于基本块重划分的控制流错误检测方法，对目标程序中的基本块进行分类；对目标程序中的基本块进行重划分；为目标程序生成初始标签值；对目标程序进行标签更新代码的插桩；对目标程序进行标签校验代码的插桩；对目标程序进行基本内控制流错误检测代码插桩；对目标程序进行过程间控制流错误检测代码插桩；对插桩检错代码后的目标程序进行故障注入实验。本发明对控制流错误的检测率高，且性能开销低，可应用于太空恶劣环境下瞬时故障导致的程序控制流错误的检测。