模糊测试工具AFL变异策略优化

来源 :大连理工大学 | 被引量 : 0次 | 上传用户:a7762350
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着科技的不断进步以及互联网技术的不断发展,软件系统的数量及规模在不断的壮大,保证软件系统的质量是亟待解决的问题。模糊测试技术作为当前软件工程领域用于挖掘软件漏洞的有效方式之一,其在发现软件潜在漏洞方面有着非常显著的效果。模糊测试工具AFL作为当前模糊测试领域最具有代表性的工具之一,其已帮助软件开发者发现了众多软件项目的潜在安全漏洞。同时,AFL也是目前最具有研究价值的工具之一。尽管AFL具有突出的优点,但是仍然存在两个缺点。第一,AFL采用随机的方式选择测试用例的变异位置,降低了其生成测试用例的质量及有效性,可能会导致大量冗余的测试用例生成;第二,AFL采用随机的方式选择测试用例的变异算子,降低了其所生成测试用例的代码覆盖率,导致难以发现深层次的软件漏洞。因此,针对上述模糊测试工具AFL存在的两个缺点,本文提出两种方法。第一,本文提出使用神经网络模型改进AFL对测试用例的变异位置选择。该方法的主要思想是先收集一定数量的测试用例作为训练样本,将其在原始AFL工具中执行;然后,对执行后的数据集进行筛选得到训练模型所需要的数据集;最后,根据得到的训练数据训练神经网络,从而通过神经网络预测最佳的测试用例变异位置,提高生成测试用例的质量及有效性。第二,本文提出一种基于探索-利用模型的变异算子选择方法。该方法通过初始化每个位置下的每种变异算子的回报概率,然后不断探索执行来更新每种变异算子的变异概率值,最终选择回报概率最大的变异算子进行变异,从而生成能有效提高待测软件的代码覆盖率的测试用例,发现深层次的软件漏洞。为验证本文所提方法的有效性,本论文选择readelf、readpng、mupdf以及libxml四种输入文件格式,对比仅针对变异位置的选择进行优化、仅针对变异算子的选择进行优化、以及两者均进行优化情况下各自在输入增益、崩溃数量以及代码覆盖率三个方面的表现情况。实验结果表明,本文所提方法有助于提高生成测试用例的质量及有效性,从而提高待测软件的代码覆盖率,更有效地发现软件漏洞。
其他文献
时间序列数据是指具有时序特征的特殊数据对象。一组序列是根据特定的时间间隔,进行一系列采样得到的数据。时间序列数据来源广泛,还具有数据量大、数据维度高、数据结构复杂等特点,这类数据与其他数据相比研究难度更大,也面临着更多的挑战。传统的时间序列特征提取方法通常需要人为设计特征,效率不高且有可能使特征丢失。近年来,基于深度学习的特征提取取得了优秀的成果,通过模型训练能够有效的提取特征,进而实现时间序列的
在生物医学领域,每天都会有大量的生物医学文献公开发表,而这些文献中蕴含着许多新的药物、疾病、症状之间的相互作用关系,是生物医学研究的重要资源。截至2021年2月,美国国立图书馆所设立的国际性综合生物医学信息书目数据库Medline中就已经有超过2700万篇以上的文献。从这些海量的生物医学文献中高效、准确地抽取出结构化的生物医学知识,对于加速生物医学相关领域的研究具有重要意义。当前,生物医学领域关系
在线课程的数量浩如烟海,对于学习者来说找到对自己最合适的好课程具有十分重要的意义。对于同一个技术的讲解课程,也会有很多资源供学习者选择,但是学习者很难在数量庞大的课程中选择到合适自己的课程。选择到合适自己的课程一般有两个方面的因素:一方面主动权在用户手里,用户通过课程信息和点评选择出课程,另一方面主动权在平台手中,平台通过丰富信息推荐给用户适合他的课程。所以一个深入挖掘评论用途的第三方的课程点评平
枳壳作为重要的中药材之一,是川渝、湖南、江西等地脱贫致富的重要经济作物。而枳壳病虫害的传染性和传播性严重威胁枳壳产品的产量和质量,极大地制约着乡村振兴。因此,枳壳病虫害的早发现、早治疗以及对乡村种植户病虫害防治知识与方法的普及至关重要。现阶段针对枳壳病虫害的图像识别研究仍然较少,依赖人工观察经验识别和管理病虫害效率低、准确率低。因此,基于枳壳病虫害识别算法的研究及智能识别系统的研发对于推进枳壳种植
随着互联网的快速发展,网络广告时代也随之而来。不同于传统的纸媒广告、电视媒体广告,网络广告具有可追踪的特性,所以企业对于量化广告投放效果的需求越来越强烈。但是,量化广告投放效果所需环节众多,企业开发一个功能齐全的软件需要付出巨大的人力成本,导致大部分企业尚不具备量化广告投放效果的能力。除此之外,网络广告的定价权在广告平台手中,对于企业客户,其广告花费不透明。所以,本系统的重心将放在量化广告投放效果
图像拼接技术对同一场景不同视点拍摄的一系列具有公共像素区域的图像实现配准与融合以生成一幅结构自然的高分辨率全景图像,在医学影像生成、全景摄影、智能驾驶、农业生产和林业监测上有着充分的应用。同时,图像拼接又是一项极具挑战性的任务,主要的难点可归为由拍摄视点变化导致的视差问题,以及在视点发生较多移动导致的宽基线问题。视差问题多产生匹配伪影,宽基线则由于匹配信息较少难以有效配准或造成非重叠区的形状失真。
本文以湖北省十堰市某供销社为试点,依托于科技部重点研发计划项目-绿色宜居村镇技术创新项目(2019YFD1101104),针对传统集中采购交易系统中存在的数据易篡改、数据可信程度低、难以处理大规模用户请求等问题,借助分布式思想、排队论和区块链技术设计开发了集中采购系统交易管理子系统,能够有效帮助农民依靠供销社等平台从网上集中采购生产生活物资,降低生产生活成本。首先,针对单个服务器无法处理大规模请求
互联网的迅速发展给人们生活带来了巨大的便利,但是,网络的过度使用和依赖会造成网络成瘾的风险。网瘾不仅会影响学生的学习生活,甚至会导致抑郁、自杀等更严重的后果。因此,提前发现网络成瘾的高风险人群,并在早期阶段及时进行干预治疗是非常有必要的。现阶段针对网瘾的检测方法大多使用心理学家的调查问卷,但是这种方法具有一定的局限性。目前,计算机领域多数研究使用朴素贝叶斯、逻辑回归等传统机器学习算法进行建模,而这
学术文献是科学研究人员明确科研方向或思路、传递学术价值信息、了解研究主题动态及发展规律的重要知识载体。伴随着学术大数据时代的到来,数字化信息资源爆炸式增长,入门学者检索信息时,很难获取、辨别与自己研究主题相关的文献资源,无法对自己的研究主题的现状及发展趋势有初步认识。因此本文设计完成了基于引用网络的主题发展分析系统,以可视化方式帮助入门学者获取主题内关键文献,完成体系化阅读需求,并基于时序引文网络
椭圆检测是计算机视觉中的一项基础性任务,为图像分析提供了有效的支持措施,在很多实际场景中都有着广泛的应用。例如,椭圆检测可以参与对工业器件的质检工作,或者在智能交通中高效的识别交通标志、在医学影像领域中辅助医疗诊断,以及在生物和农业领域中有助于对不同物体的形状分析。因此,在有限资源上运行的快速椭圆检测是各种实时性的计算机视觉系统中非常重要的问题。在椭圆检测过程中,对于在大量的候选片段(边缘或弧段)