一种针对线性汇编程序的控制流恢复方法.pdfVIP

第9 卷 第10期 Vol.9 No.10 2016 年 5 月 May 2016 一种针对线性汇编程序的控制流恢复方法 邱远强，徐建军，孟宪凯，邵则铭* （国防科学技术大学计算机学院，长沙 410073 ） 摘要：研究提出一种软件实现的针对线性汇编程序的控制流错误恢复（detecting and correct control-flow errors for linear assembly ，DCCLA ）方法。首先将程序划分为循环体块和非循环体块，并为其设计和分配静态标签， 然后通过插入计数指令和比较指令，实现对程序块内部、块与块之间的控制流错误的检测与恢复。在此基础 上，通过对循环体状态及活跃变量的备份实现对由控制流导致的数据流故障的恢复。故障注入实验表明， DCCLA 以41