【摘 要】
：
为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题,提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首
【机 构】
：
四川大学网络空间安全学院,四川大学电子信息学院
论文部分内容阅读
为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题,提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍样本文件深入程序内部的比较指令,随后对目标文件进行插桩来为比较指令建立实时的比较进度信息,通过比较进度衡量样本的重要程度;然后基于模糊测试过程中实时的路径覆盖信息为经过稀有路径的样本增加其被挑选进行变异的概率;最后根据比较进度信息并结合启发式策略有针对性地对样本文件进行变异,通过变异引导提高模糊测试中生成能够绕过程序规约检查的有效样本的效率。实验结果表明所提方法发现crash及发现新路径的能力均优于模糊测试工具AFL-Dyninst。
其他文献
高校教师思想政治工作关系着高校立德树人目标的实现。当前,各高校教师思想政治工作取得了一定成效,但从全局来看,高校教师思想政治工作仍处于薄弱环节。文章基于2016年上海9
基层老年社会组织是社会组织的重要组成部分,是更好地开展老年人工作的重要平台。为了掌握基层老年社会组织的发展困境,以中山市为调研对象,在实地调研的基础上,分析了基层老
新闻侵权作为民事行为特殊侵权中的一种,其本身有着丰富的内涵与很强的研究价值。而在众多新闻侵权的表现形式里,新闻侵害隐私权又是最为受到社会关注的。因此,新闻侵害隐私
通过对徐闻县主产区菠萝种植习惯、土壤、气候特征的调查,初步概括了当地菠萝生产现状和特点,并大致分析了传统种植中存在的一些问题以及影响产量的客观因素,并针对主要生产
江苏省无锡宜兴市张阳花卉苗木种植专业合作社由湖滏镇张阳村书记李上彬于2008年牵头成立，入社成员1200多人，种植面积达5000余亩。2016年实现销售额9560万元，成员均增收5万元。
目的:探讨静脉麻醉下改良手法整复肩关节前脱位的经验。方法:回顾性分析45例肩关节前脱位,在静脉麻醉下采用改良手牵足蹬法整复的临床效果。结果:45例皆急诊复位成功,随访4~6
小学是学生思想品德形成的关键时期,在小学思想品德教学中,运用信息技术有利于提升学生的学习热情,增强课堂教学效果。对信息技术在小学思想品德课应用的意义和措施进行探讨
<正> 看了本刊第一期《对外合资谈判要有“国家队”精神》一文所反映的问题,很有同感。我认为,不仅在对外合资谈判中,而且在一切对外经济活动中,都要有“国家队”精神。三十
9月以来,受开学季影响及中秋、国庆的临近,面粉价格不断上涨。但与之相反的是,麸皮价格却持续走弱。对此,专家表示,从需求角度看,饲料养殖的需求增幅有限,因此对于相关原料的
在江苏省宿迁市宿豫区丁嘴镇蚕茧收购现场，前来销售蚕茧的蚕农络绎不绝。收购现场停了平板车、三轮车等车辆，车上满载着1袋袋洁白饱满的蚕茧，收购人员正热情地称重，一片忙碌的号