首页 | 本学科首页   官方微博 | 高级检索  
     

基于级联森林的控制流错误检测优化算法
引用本文:董志腾,顾晶晶.基于级联森林的控制流错误检测优化算法[J].小型微型计算机系统,2022(5):1088-1095.
作者姓名:董志腾  顾晶晶
作者单位:南京航空航天大学计算机科学与技术学院
基金项目:国家自然科学基金项目(62072235)资助;
摘    要:在单粒子翻转引起的瞬时故障中,控制流错误占很大比例.主流的控制流错误软件检测方法依靠插桩标签来检测控制流错误.但基于标签的检测算法很难在标签插桩的开销和错误检测率之间找到一个平衡.本文提出一种智能的基本块拆分方法,在不用修改原有检测算法的基础上,提升控制流错误的检测率,同时尽可能的减小额外开销.首先,使用GDB调试工具...

关 键 词:控制流错误检测  LLVM  级联森林  单粒子翻转
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号