一种检测控制流错误的多层分段标签方法

摘要：

提出一种利用多层分段标签实现的控制流错误检测技术CFMSL,可通过对多层分段标签的更新和检查在线检测出程序的控制流错误.CFMSL在编译时将标签更新与检查指令自动嵌入程序中,从而实现程序运行时的动态检查效果.本文提出的标签设计与计算方法较为新颖,可较大地降低方法的时空开销,并且具有处理复杂程序以及检测细微控制流错误的能力.通过编写的LLVM pass文件,CFMSL具备批量化、自动化处理程序的能力.最后使用本文设计的故障注入工具模拟控制流错误对软件的影响,同时评估CFMSL的错误检测能力与时空开销.实验结果表明,相较于其他方法,CFMSL在保证较高检错能力的同时具有较低时空开销,显示出了本文提出的方法的优越性.

关键词：多层分段标签、控制流错误、错误检测、故障注入、开销

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目;"十三五"装备预研领域基金资助项目

在线出版日期：2020-08-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：41-50