Fuzzing Configurations of Program Options

news/2024/7/7 19:25:51

摘要:

尽管许多真实世界的项目都附带配置启用/禁用功能,fuzz大多被用于测试单配置这些项目。在这项工作中,我们首先进行实证研究,以了解程序配置影响起毛性能。我们发现限制竞选一个配置会导致未能覆盖大量的代码。我们还观察到不同的项目配置贡献不同的大量的代码覆盖率,挑战,每一个可以单独有效地晕。出于这两个观测结果,我们建议ConfigFuzz,模糊配置以及正常输入。ConfigFuzz转换目标程序编码其程序选项内fuzzable输入的一部分,所以可以重用现有fuzz的变异算子模糊程序配置。我们实例化ConfigFuzz六个可配置的,常见的模糊目标,并集成在FuzzBench处决。在我们的评估中,ConfigFuzz优于两个基线fuzz四目标,而结果混杂在其他目标由于程序大小和配置空间。我们也分析了期权晕ConfigFuzz以及它们是如何影响性能。

1 介绍

问题:

大多数模糊器(及其科学评估)集中在给定单个固定程序配置(例如,引用[16,19]),因此可能无法正确测试程序功能的重要部分。因此,潜在的罕见缺陷可能会逃过检测,对模糊化性能的科学评估可能无法说明全貌。

现状

对此问题的简单补救方法是模糊所有有效的程序配置。然而,现实世界的程序的配置空间通常很大,这使得彻底模糊所有配置是不可行的。软件测试文献对这个问题进行了广泛的研究。一个广泛采用的解决方案是组合测试[17,18],其提出测试覆盖配置空间的某些属性的配置样本(例如,所有选项对出现在样本中的一些配置中)。此外,已经开发了基于字典或语法的方法来模糊程序配置[27,29].由这些技术生成的程序配置可以用作输入来模糊程序的输入文件。
然而,由于缺乏进一步的预先了解,现有技术将在每个配置上花费相同的时间&#


http://lihuaxi.xjx100.cn/news/1149873.html

相关文章

面了一位5年的测试,真的很失望......

最近看了很多简历,很多候选人年限不小,但是做的都是一些非常传统的项目,想着也不能通过简历就直接否定一个人,何况现在大环境越来 越难,大家找工作也不容易,于是就打算见一见。 在沟通中发现,由…

没有域名,一个服务器Nginx怎么部署多个前端项目

因为没有域名,所以用路径来作区分, 主项目:直接根路由访问该项目,与正常配置无任何差别从项目:此处设置/new路径,为从项目,所有从项目访问路径均要加上/new ①修改Nginx配置文件 Nginx 配置文…

ros的入门知识

ros的入门教程链接: linux ros安装学前小案例-键盘控制小海龟的移动创建工作空间与功能包发布者publisher订阅者subscriber ros的基础知识点 不同的linux系统安装的ros版本是不一样的,linux18.04安装melodic,linux20.04安装noetic。 roscore:所有节点…

opencv 裁剪超大 tif 图像制作深度学习数据集

文章目录 1. 尝试暴力裁剪(24 位)2. 带透明度读取 (32 位)3. 裁剪标签(8 位) 本文只是进行了简单的尝试,未单独处理最右侧、最下侧和右下角区域,且未设置重叠率 若使用 gdal 进行 ti…

Oracle 21c部署 in Docker

目录 # 热分配新硬盘 # 拉取镜像 # 启动数据库 访问Oracle数据库 本环境的用途为开发测试环境;所以,分配给Oracle的资源相对较低;如果在生产环境下,请提前规范分配的CPU、内存、IO、磁盘(本地磁盘 or 网络存储、磁…

基于单片机的电梯控制系统研究内容及设计步骤

本课题的主要任务就是完成一个电梯系统的调度模块 ,即根据每个楼层不同 顾客的按键需求 ,让电梯做出合理的判断 ,正确高效地知道电梯完成各项载客任 务。根据此任务,本课题需要研究的内容有: 1、根据系统的技术要求,进行系统硬件的总体方案设计; 2、学习单片机的相关知识,并且加…

0601-指针的基础

内存 物理存储器和存储地址空间 物理存储器:实际存在的具体存储器芯片。比如:内存条、RAM芯片、ROM芯片。 存储地址空间:对存储器编码的范围。 编码:对每个物理存储单元(一个字节)分配一个号码寻址&…

计算卸载-论文05-双层优化(无线充电与卸载)

标题:《A Divide-and-Conquer Bilevel Optimization Algorithm for Jointly Pricing Computing Resources and Energy in Wireless Powered MEC》 期刊:IEEE TRANSACTIONS ON CYBERNETICS,2022 一、理论梳理 问题:相比于移动云…