公开(公告)号：CN107301123A

公开(公告)日：2017-10-27

申请号：CN201710367340.1

申请日：2017-05-23

申请人： 国网浙江省电力公司信息通信分公司 ,  华东师范大学

发明人： 沈潇军 ,  姚一杨 ,  戴波 ,  陈建 ,  孔晓昀 ,  龚小刚 ,  戚伟强 ,  王以良 ,  耿继朴 ,  陈可 ,  邢雅菲 ,  刘雄 ,  侯麟 ,  毛大鹏 ,  吴翔 ,  琚小明

IPC分类号： G06F11/36

摘要： 本发明公开了一种表驱动的签名错误检测算法，该算法是基于有限状态自动机理论（FSM），在二维表（CFID表）中存储控制流图的信息，通过比较基本块中的签名和存储在CFID表中的签名检测出非法的指令跳转。对于CFCSS算法不能检测的共享分支扇入节点的非法指令跳转错误，本发明可成功检测出这类错误。实验结果显示，本发明平均错误检测覆盖率达到98.1%，并且本发明在每个基本块中插入的错误检测指令较CFCSS中的更少。