【摘 要】
：
如今，基于符号化执行技术的动态软件测试被人们广泛应用，然而符号化执行遍历路径时带来的路径爆炸问题限制了其性能。应用了基于动态符号化执行技术的系统Angr，它加载待测二进制
【基金项目】
：
国家重点研发计划（2016YFB0200400）,国防科技卓越人才项目（2017-JCJQ-ZQ-013）,湖南省科技领军人才项目（2017RS3045）,国防科技大学本科教育教学研究课题（U2015013）,国防科技大学研究生教育教学改革研究课题（yjsy2016012）,湖南省学位与研究生教育教学改革研究项目（JG2017B004）
论文部分内容阅读
如今，基于符号化执行技术的动态软件测试被人们广泛应用，然而符号化执行遍历路径时带来的路径爆炸问题限制了其性能。应用了基于动态符号化执行技术的系统Angr，它加载待测二进制程序，并转化成中间语言符号化遍历程序。提出将待测程序根据特点分类的方法，调整遍历时的参数设置，对遍历过程剪枝，缓解了路径爆炸问题。为了分析Angr在软件测试中的应用方法，我们使用该系统对几种类别的程序分别进行了参数调整，以便扩展应用于更多软件系统的漏洞探测中。
其他文献
上海高考改革对上海高中物理教学产生了重大影响。新高考模式的背景下,如何提高高三物理复习教学的有效性是亟待解决的问题。将物理小实验融入高三复习教学,可以有效提高复习
我国现代的教育主要注重对学生的能力的培养与塑造,而不是一味地去向学生传授知识。因此在教育的过程中就要加入激励教育。从目前的状况来看,小学语文的教学受到了很多传统概
英语是初中课程的一个重要组成部分,在英语课程中,英语语法是学好英语最基础的内容,掌握好语法知识才能够组织英语句子,进而将其运用到生活实践中。初中英语在学生学习英语的
在新课程改革的背景下,对各个阶段的教学提出众多的要求。其中在小学语文教学的过程中,为了提高学生的语文水平,教师应该将阅读教学与作文训练相结合,促使学生能够在阅读学习
小学语文作文能力是衡量小学学生语文能力的一个重要方面,小学生应该把提升作文能力作为语文学习的重要内容。良好的写作能力也有助于在书面上准确表达自己的想法,观点以及构
高年级的数学课堂依然可以贯穿游戏,而且很有必要。课堂游戏是为教学服务的,必须与教学内容密切相关。要适时开展课堂游戏。课堂游戏要贴近高年级年龄特点。课堂游戏要有多样
圆极化天线是一种应用非常广泛的天线形式,尤其是在卫星通信和卫星定位设备中,随着这些系统的发展,对天线提出了越来越高的要求,低剖面、宽波束覆盖的圆极化天线越来越受到追
在现代社会中,真正支配着我们的主导权力形式不是凌驾于社会之上的超验权威和暴力,而是体现在财富和资本中的权力。资本作为货币最直接的权力就是购买力,购买力的无限膨胀最
合成水滑石广泛应用于塑料领域,可以作为PVC热稳定剂、阻燃剂以及氨纶、聚烯烃生产过程中的吸酸剂,用于食品包装、医疗用品等。近年来,我国合成水滑石产量以15%左右的年增长
数学作为小学教育教学阶段的主干科目，对于小学生数学意识、数学思维的培养和形成具有很重要的促进意义，数学教师要全面认识到该学科对小学生发展及成长的作用，不断更新教学理念