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

作     者：郑伟宁 庄毅 顾浩为 ZHENG Wei-ning;Zhuang Yi;GU Hao-wei

作者机构：南京航空航天大学计算机科学与技术学院江苏南京211106 中华中学江苏南京211106 

基　　金：国家自然科学基金资助项目(61572253) “十三五”装备预研领域基金资助项目(61402420101HK02001) 

出 版 物：《计算机与现代化》 (Computer and Modernization)

年 卷 期：2020年第8期

页      码：41-50页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1006-2475.2020.08.007

馆 藏 号：203964730...