【摘 要】
：
提出一种利用多层分段标签实现的控制流错误检测技术CFMSL,可通过对多层分段标签的更新和检查在线检测出程序的控制流错误。CFMSL在编译时将标签更新与检查指令自动嵌入程序
【机 构】
：
南京航空航天大学计算机科学与技术学院,中华中学
【基金项目】
：
国家自然科学基金资助项目(61572253),“十三五”装备预研领域基金资助项目(61402420101HK02001)
论文部分内容阅读
提出一种利用多层分段标签实现的控制流错误检测技术CFMSL,可通过对多层分段标签的更新和检查在线检测出程序的控制流错误。CFMSL在编译时将标签更新与检查指令自动嵌入程序中,从而实现程序运行时的动态检查效果。本文提出的标签设计与计算方法较为新颖,可较大地降低方法的时空开销,并且具有处理复杂程序以及检测细微控制流错误的能力。通过编写的LLVM pass文件,CFMSL具备批量化、自动化处理程序的能力。最后使用本文设计的故障注入工具模拟控制流错误对软件的影响,同时评估CFMSL的错误检测能力与时空开销。实验结
其他文献
馒;呆晴地了..,几.,纲琴!」尸.为,,.‘1、!l毛<sub>弓</sub><sub>(</sub>场<sub>一</sub>二【月门厄曲艺万一一—一一〕<sub><</sub>sub>一</sub><sub><</sub>sub>1</sub>.<s
高职教育肩负着培养和造就一大批具有创业意识、创新能力和创造精神的新一代创新型劳动者的重任。培养高职学生的创新思维能力是高职学生就业后自主创新实践的关键。本文对创
目的分享日本的医院感染管理成功经验,希望为促进我国医院感染管理工作的更大进步提供参考依据。方法参加第六次＂中日培养中西部地区医院感染对策领导研修项目＂后,结合在日本国
近年来,软件缺陷预测的研究引起了大量关注。软件缺陷预测中普遍存在类别不平衡问题,即有缺陷样本要远少于无缺陷样本,而有缺陷样本又是预测的重点。上述问题使得缺陷预测模
新一轮课程改革推动了课程三级管理模式深入贯彻,这就要求校本课程的研究与开发应努力把中华优秀传统文化融入课程体系,使学生更加亲近中国优秀传统文化。将中华优秀传统文化
指挥口语是指挥语言的重要分支,是军事活动中最基本的指挥、联络、交际工具,是军事活动中一切战略战术、决策方案和敌方情报信息以及军营文化的载体,也是军人群体中相互交流,
近日,河南省政府办公厅印发《关于加快推进农业信息化和数字乡村建设的实施意见》(下称《意见》),明确用3~5年时间,推动全省农业信息化和数字乡村建设取得重要进展,力争走在
介绍世界各国制动系统黏着限制设置及增黏方式,通过对制动系统黏着系数设置的探讨,对我国高速动车组利用黏着系数的方法进行研究,并介绍几种车辆有效增黏的方法。
目的:探讨碧兰麻在高血压患者拔牙中的应用.方法:采用碧兰麻加压注射麻醉拔牙,自身对照观察麻醉效果及安全性.结果:碧兰麻在高血压患者拔牙麻醉的完全无痛率达81.82%,并对血
电脑用久了,系统问题总是越来越多,性能低下、执行缓慢、错误频繁以及莫名其妙的各种问题,实在是让人烦不胜烦。难道只能忍耐,直到系统自行崩溃的那一天吗?面对系统问题,我们