【论文速读】| DeepGo:预测式定向灰盒模糊测试

2024-03-13 15:44

本文主要是介绍【论文速读】| DeepGo:预测式定向灰盒模糊测试,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

图片

本次分享论文为:DeepGo: Predictive Directed Greybox Fuzzing

基本信息

原文作者:Peihong Lin, Pengfei Wang, Xu Zhou, Wei Xie, Gen Zhang, Kai Lu

作者单位:国防科技大学计算机学院

关键词:Directed Greybox Fuzzing, Path Transition Model, Reinforcement Learning, Deep Neural Networks

原文链接:

https://www.ndss-symposium.org/wp-content/uploads/2024-514-paper.pdf

开源代码:

https://gitee.com/paynelin/DeepGo

论文要点

论文简介:本文提出了一种名为DeepGo的预测式定向性灰盒模糊测试方法,通过结合历史和预测信息,利用深度神经网络和强化学习技术,有效地引导模糊测试达到目标路径,优化测试效率。

研究背景:定向性灰盒模糊测试(DGF)是一种高效的代码测试技术,通过定义可测量的适应性指标,选取潜在的种子进行变异,以逐渐接近目标站点。然而,现有的DGF技术主要依赖于启发式算法进行适应性指标的优化,缺乏对未执行路径的预见性。

图片

研究贡献:

a.提出了路径转换模型,将DGF视为通过特定路径转换序列达到目标站点的过程,并使用序列奖励作为适应性指标。

b.构建了虚拟集成环境(VEE)使用深度神经网络(DNNs)来模仿路径转换模型并预测潜在路径转换及其对应的奖励。

c.开发了一种强化学习模糊测试(RLF)模型,结合历史和预测的路径转换来生成最优路径转换序列。

d.通过行为群组的概念综合优化模糊测试的关键步骤,提高了测试效率。

引言

DeepGo的研究背景基于现有定向性灰盒模糊测试(DGF)技术的局限性,特别是在优化适应性指标时的缺乏预见性和效率低下的问题。通过引入路径转换模型、虚拟集成环境(VEE)、强化学习模糊测试(RLF)模型和行为群组优化策略,DeepGo能够预测和优化模糊测试过程,实现更高效和精确的测试目标达成。

背景知识

研究讨论了定向性灰盒模糊测试的基本概念、深度神经网络在模拟程序分支行为中的应用、强化学习在序列决策问题解决中的作用、基于模型的策略优化和粒子群优化算法在提高模糊测试效率中的应用。

论文方法

理论背景:通过深入分析DGF的限制,提出一种新的模型——路径转换模型,使用序列奖励作为新的适应性指标。

方法实现: 

a.虚拟集成环境(VEE):利用深度神经网络模仿路径转换模型,预测未执行路径的潜在转换及其奖励。

b.强化学习模糊测试(RLF)模型:结合历史和预测信息,优化路径选择策略,生成最优路径转换序列。

c.行为群组优化:通过多元素粒子群优化算法同时优化模糊测试的关键步骤,提高测试效率。

实验

实验设置:在两个基准测试套件上评估DeepGo,包含25个程序和100个目标站点。

实验结果:DeepGo与现有技术相比,在达到目标站点和暴露已知漏洞方面显示出显著的速度提升,证明了其预测能力和效率。

论文结论

DeepGo通过引入路径转换模型、虚拟集成环境(VEE)、强化学习模糊测试(RLF)模型和行为群组优化策略,显著优化了定向性灰盒模糊测试的效率和精度。实验结果证明了DeepGo在提高目标站点达成速度和暴露已知漏洞方面的优势,为未来的模糊测试技术发展提供了新的方向。

原作者:论文解读智能体

润色:Fancy

校对:小椰风

图片

这篇关于【论文速读】| DeepGo:预测式定向灰盒模糊测试的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/805364

相关文章

性能测试介绍

性能测试是一种测试方法,旨在评估系统、应用程序或组件在现实场景中的性能表现和可靠性。它通常用于衡量系统在不同负载条件下的响应时间、吞吐量、资源利用率、稳定性和可扩展性等关键指标。 为什么要进行性能测试 通过性能测试,可以确定系统是否能够满足预期的性能要求,找出性能瓶颈和潜在的问题,并进行优化和调整。 发现性能瓶颈:性能测试可以帮助发现系统的性能瓶颈,即系统在高负载或高并发情况下可能出现的问题

字节面试 | 如何测试RocketMQ、RocketMQ?

字节面试:RocketMQ是怎么测试的呢? 答: 首先保证消息的消费正确、设计逆向用例,在验证消息内容为空等情况时的消费正确性; 推送大批量MQ,通过Admin控制台查看MQ消费的情况,是否出现消费假死、TPS是否正常等等问题。(上述都是临场发挥,但是RocketMQ真正的测试点,还真的需要探讨) 01 先了解RocketMQ 作为测试也是要简单了解RocketMQ。简单来说,就是一个分

【测试】输入正确用户名和密码,点击登录没有响应的可能性原因

目录 一、前端问题 1. 界面交互问题 2. 输入数据校验问题 二、网络问题 1. 网络连接中断 2. 代理设置问题 三、后端问题 1. 服务器故障 2. 数据库问题 3. 权限问题: 四、其他问题 1. 缓存问题 2. 第三方服务问题 3. 配置问题 一、前端问题 1. 界面交互问题 登录按钮的点击事件未正确绑定,导致点击后无法触发登录操作。 页面可能存在

业务中14个需要进行A/B测试的时刻[信息图]

在本指南中,我们将全面了解有关 A/B测试 的所有内容。 我们将介绍不同类型的A/B测试,如何有效地规划和启动测试,如何评估测试是否成功,您应该关注哪些指标,多年来我们发现的常见错误等等。 什么是A/B测试? A/B测试(有时称为“分割测试”)是一种实验类型,其中您创建两种或多种内容变体——如登录页面、电子邮件或广告——并将它们显示给不同的受众群体,以查看哪一种效果最好。 本质上,A/B测

AI hospital 论文Idea

一、Benchmarking Large Language Models on Communicative Medical Coaching: A Dataset and a Novel System论文地址含代码 大多数现有模型和工具主要迎合以患者为中心的服务。这项工作深入探讨了LLMs在提高医疗专业人员的沟通能力。目标是构建一个模拟实践环境,人类医生(即医学学习者)可以在其中与患者代理进行医学

论文翻译:arxiv-2024 Benchmark Data Contamination of Large Language Models: A Survey

Benchmark Data Contamination of Large Language Models: A Survey https://arxiv.org/abs/2406.04244 大规模语言模型的基准数据污染:一项综述 文章目录 大规模语言模型的基准数据污染:一项综述摘要1 引言 摘要 大规模语言模型(LLMs),如GPT-4、Claude-3和Gemini的快

论文阅读笔记: Segment Anything

文章目录 Segment Anything摘要引言任务模型数据引擎数据集负责任的人工智能 Segment Anything Model图像编码器提示编码器mask解码器解决歧义损失和训练 Segment Anything 论文地址: https://arxiv.org/abs/2304.02643 代码地址:https://github.com/facebookresear

论文翻译:ICLR-2024 PROVING TEST SET CONTAMINATION IN BLACK BOX LANGUAGE MODELS

PROVING TEST SET CONTAMINATION IN BLACK BOX LANGUAGE MODELS https://openreview.net/forum?id=KS8mIvetg2 验证测试集污染在黑盒语言模型中 文章目录 验证测试集污染在黑盒语言模型中摘要1 引言 摘要 大型语言模型是在大量互联网数据上训练的,这引发了人们的担忧和猜测,即它们可能已

OmniGlue论文详解(特征匹配)

OmniGlue论文详解(特征匹配) 摘要1. 引言2. 相关工作2.1. 广义局部特征匹配2.2. 稀疏可学习匹配2.3. 半稠密可学习匹配2.4. 与其他图像表示匹配 3. OmniGlue3.1. 模型概述3.2. OmniGlue 细节3.2.1. 特征提取3.2.2. 利用DINOv2构建图形。3.2.3. 信息传播与新的指导3.2.4. 匹配层和损失函数3.2.5. 与Super

BERT 论文逐段精读【论文精读】

BERT: 近 3 年 NLP 最火 CV: 大数据集上的训练好的 NN 模型,提升 CV 任务的性能 —— ImageNet 的 CNN 模型 NLP: BERT 简化了 NLP 任务的训练,提升了 NLP 任务的性能 BERT 如何站在巨人的肩膀上的?使用了哪些 NLP 已有的技术和思想?哪些是 BERT 的创新? 1标题 + 作者 BERT: Pre-trainin