基于变异位置和操作的灰盒测试输入生成方法研究

来源 :中国科学技术大学 | 被引量 : 0次 | 上传用户:yobisisi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机技术的广泛应用,计算机软件的安全性变得愈发重要。软件漏洞作为影响计算机软件安全的重要因素之一,一旦被攻击者利用,其后果可能会非常严重。因此,及时发现并修复软件漏洞意义重大。然而通过安全专家审计软件源代码来挖掘漏洞是一种效率低下的漏洞挖掘方式。导向性灰盒测试(Directed Greybox Fuzzing)作为一种自动化的漏洞挖掘技术,相比于代码审计,能够高效地挖掘漏洞,因此受到了学术界和工业界的广泛关注。在导向性灰盒测试中,输入所对应的执行路径与目标代码段之间的距离就是输入的质量,距离越近,质量越高。目前的导向性灰盒测试工具由于在输入生成阶段随机选择变异位置和操作,导致生成的输入质量较差,最终造成了测试结束时生成的输入中能够到达目标代码段的输入所占比例较低这个问题。为了解决上述问题,需要在输入生成阶段选择对应着高质量输入的变异位置和操作。目前针对灰盒测试的优化工作可分为两类,一类使用了程序分析技术,另一类使用了机器学习技术。但是这两类工作都没有对变异时使用的选择策略进行优化,因此不能显著提高生成的输入中能够到达目标代码段的输入所占比例。本文分别利用程序分析技术和机器学习技术对变异时使用的选择策略进行了优化,完成了下面的工作:1.基于强化学习的输入生成方法。为了提高生成的输入中能够到达目标代码段的输入所占的比例,本工作提出了一种基于强化学习的输入生成方法。将基于种子输入生成新输入时如何选择变异位置和操作这一问题看作一个强化学习问题,环境状态为种子输入的执行路径,动作空间为变异位置和操作的组合空间,所选动作的即时奖励值为新输入与种子输入两者与目标代码段的距离之差。在基于种子输入生成新输入时,利用强化学习算法选择变异位置和操作。相较于目前的输入生成方法,该方法的创新之处在于该方法利用强化学习技术学习了变异位置和操作对所生成输入质量的影响,利用学习到的知识选择变异位置和操作。同时,本工作还提出了一种更适用于设置即时奖励的距离表示方法。相比于目前的输入生成方法,本工作提出的输入生成方法最高可将生成的输入中能够到达目标代码段的输入所占的比例提高11.6%。2.基于污点推断的输入生成方法。为了提高导向性灰盒测试的效率,本工作提出了 一种基于污点推断的输入生成方法。对于一条无法到达目标代码段的执行路径,找到该路径中最后一个目标代码段的前驱节点,通过改变该前驱节点的分支选择所生成的新路径,相比于原路径,与目标代码段的距离更近。基于上述分析,本工作以改变种子输入的执行路径中最后一个目标代码段的前驱节点的分支选择为目标,利用污点推断技术选择变异位置和操作,从而改善了新输入的质量。相比于广泛使用的测试工具AFLGo,基于该方法的测试工具最高可将生成的输入中能够到达目标代码段的输入所占的比例提高15.7%。总体而言,本文提出的两种输入生成方法各有优缺点。基于强化学习的输入生成方法在对语义复杂的应用程序进行测试的场景下表现更好,基于污点推断的输入生成方法在对输入语法简单的应用程序进行测试的场景下表现更好。
其他文献
近年来,外骨骼等穿戴式机器人设备在军事、医疗、康复、工业等领域获得极为迅速的发展。穿戴式机器人在运动辅助过程中根据人体运动模式提供相应的辅助是临床应用环节人机共融的关键因素。因此,精准的人体动作识别是提高穿戴式机器人设备助力性能和适应能力的基础,对实现柔顺助力、促进运动功能康复等至关重要。目前下肢动作模式识别技术还存在数据量少、识别率低的问题。本文以下肢动作为对象,采集行走、上下楼及负重上下楼五种
学位
中国共产党领导的纪检监察体制经历了从初步建立、曲折探索、恢复发展到改革创新的四个重要阶段。新时代的纪检监察体制在地方如何更为有效运行,不仅是政治学和法学研究的重要课题,也是社会学研究的重要课题。本论文的中心研究问题是,压力型体制的制度一统性设置作为中国国家纪检监察体制自上而下改革和运行的强制性制度基础,为什么会产生国家纪检监察体制改革创新和地方纪检监察体制运行实践之间的张力现象。具体来说,第一,以
学位
研究目的:在初三年级的立定跳远课程中,除了提高测试成绩之外,能够让学生在掌握立定跳远技术动作的同时,有效发展学生相关身体素质以及运动能力是非常重要的。在立定跳远项目中下肢肌群是完成双脚跳跃动作的主要肌群,因此双侧下肢拥有良好的爆发力以及对称的发力可以直接影响到立定跳远的技术动作与成绩。本研究根据立定跳远专项的发力特点,将复合式训练以单、双侧结合的练习方式应用于初三年级立定跳远课程的教学中,探究该方
学位
本文基于国内外对高性能混凝土(HPC)耐硫酸盐侵蚀的研究现状,石粉含量对混凝土耐硫酸盐侵蚀性能有影响,但对耐硫酸盐侵蚀的最佳石粉含量并没有具体研究。本文运用室内基础试验、模型试验、扫描电子显微镜(SEM)、X射线衍射(XRD)、纳米压痕等手段对机制砂HPC的耐久性及力学性能进行研究,得出了机制砂HPC能够替代天然砂HPC,并在此基础上配制不同石粉含量的机制砂,通过耐硫酸盐侵蚀的试验,表明改变机制砂
学位
新中国成立以来,党中央和政府高度重视教育事业,在人口数量多、发展落后、基础薄弱的国家迅速推进教育发展,义务教育逐步普及,偏远农村的教育保障也逐步完善,教育公平的持续深化有效阻止了贫困的代际传递,为国家的发展提供了坚实的人才保障。如今,我国进入中国特色社会主义的新时代,教育的矛盾也转化为“人民群众对更好更公平教育的需要与不平衡、不充分的教育发展之间的矛盾”,因此,未来我们需要更加注重教育公平。教师作
学位
近年来,中共中央和教育部连续颁布了多部文件用以强调中华传统文化的重要地位,本研究以中华传统文化在高中生物学中的渗透为主题进行探索。将中华传统文化融入到生物学课堂教学中,可以让学生对知识点产生学习兴趣,帮助学生理解和记忆相应的知识点,且对于学生的思想道德素质和科学文化素质能有所提升。在国家大力倡导文化自信和文化自强的背景下,在课堂中融入传统文化有助于增加学生的爱国情怀和民族自信。在挖掘生物学教材和试
学位
随着国民经济的不断发展,我国汽车保有量不断增加,引发对能源需求不断增加,以及对降低道路交通事故发生的迫切需求。这些都要求我国汽车工业朝着智能化、电动化不断转型发展。为降低汽车燃油消耗,基于线控电子液压制动系统的新一代线控制动技术能够通过制动能量回收技术有效增加新能源车辆续驶里程。另一方面,基于线控制动技术带来的主动制动能力,是紧急自动制动功能发展的基础。本文基于线控电子液压制动系统,开发了车辆纵向
学位
近些年,名人故居和古建筑频频遭到破坏,古建筑保护值得人们关注和思考,随着古建筑保护日益得到重视,保护技术逐渐成为研究焦点,但目前我国对国外古建筑修缮和保护类文本的翻译较少。因此,本文以三位作家Pere Roca,Paulo B.Lourenco和Angelo Gaetani所著的《历史建筑与保护》第三章内容为实践素材,该书中谈及大量中国古建筑,翻译该文本可以帮助中国内学者了解外国人对我国古建筑保存
学位
不锈钢结构具有造型美观、力学性能稳定、耐腐蚀性好、易于维护和全寿命周期成本低等优点,其应用前景十分广阔。不锈钢材料的应力-应变关系呈现显著的非线性,同时基于不锈钢材料下的开口冷成型构件易发生截面屈曲,因而此类构件具有复杂的非线性屈曲行为。加劲能有效提高冷成型薄壁构件的承载能力,针对以上问题本文开展了折叠翼缘C形腹板中间加劲不锈钢短梁的受剪承载力研究,主要开展了试验研究、数值模拟和参数化分析。在折叠
学位
伴随高城镇化发展及人民生活水平、机动车保有量的不断提高,在城市停车基础设施建设滞后且土地资源受限的情况下,城市停车矛盾日益突出。建设占地面积小、自动化程度高的机械式立体车库已成为现阶段缓解停车难的有效路径之一。平面移动类立体车库是近年来发展较快的全自动立体车库,但目前由于缺乏高效的车辆存取路径规划方法,导致已建成的全自动立体车库仍存在存取车体验不佳、存取车等候时间长、停车泊位利用低等问题。针对上述
学位