当前位置： 首页 > news >正文

VirtFuzz：一款基于VirtIO的Linux内核模糊测试工具

news 文章来源：https://blog.csdn.net/FreeBuf_/article/details/139603082 2024/10/28 8:21:09

关于VirtFuzz

VirtFuzz是一款功能强大的Linux内核模糊测试工具，该工具使用LibAFL构建，可以利用VirtIO向目标设备的内核子系统提供输入测试用例，广大研究人员可以使用该工具测试Linux内核的安全性。

工具要求

1、Rust；

2、修补的QEMU；

3、Linux虚拟机系统镜像；

4、修补的内核；

环境配置

修补的QEMU

针对VirtIO设备的QEMU构建命令如下（QEMU构建方式请参考这篇【文档】）：

curl https://download.qemu.org/qemu-8.2.2.tar.xz -o qemu.tar.xztar xvJf qemu.tar.xzmv qemu-8.2.2 qemucd qemupatch -p1 < $SCRIPT_DIR/../qemu-patch.patchmkdir buildcd build../configure --target-list=x86_64-softmmumake -j$(nproc)

Debian虚拟机镜像

下列命令使用了Syzkaller的脚本，可以使用下列命令创建一个虚拟机访客镜像：

cd guestimage./create-image.sh -d stretch

修补的内核

最后，VirtFuzz的正常工作还需要一个修补的内核，因此，我们可以拉取一个内核版本并应用我们的补丁。参考命令如下：

git clone git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.gitcd linuxgit checkout v6.0../virtfuzz/kernel-patches/apply.sh# Depending on the target, apply the patches to annotate for a specific device../virtfuzz/kernel-patches/annotate-80211.sh# Make the configmake x86_64_defconfigmake kvm_guest.configscripts/kconfig/merge_config.sh -m .config ../virtfuzz/kernel-config/base.config# For example enable KASANscripts/kconfig/merge_config.sh -m .config ../virtfuzz/kernel-config/kasan.configmake olddefconfigmake -j$(nproc)

工具下载

广大研究人员可以直接使用下列命令将该项目源码克隆至本地：

git clone https://github.com/seemoo-lab/VirtFuzz.git

工具使用

项目克隆至本地后，我们将能够获取到下列工具组件：

1、virtfuzz-fuzz：模糊测试器

2、virtfuzz-proxy：代理

3、virtfuzz-replay：一些实用脚本

模糊测试器使用

下列命令可以查看工具的所有参数选项：

cargo run --release --bin virtfuzz-fuzz

比如说，我们可以使用下列命令对WLAN栈执行模糊测试：

export QEMU=PATH_TO-qemu-system-x86_64export IMAGE=guestimage/stretch.imgexport KERNEL=PATH_TO/linux/arch/x86/boot/bzImagecargo run --release --package virtfuzz-fuzz -- --device-definition device-definitions/hwsim-scan.json --cores 0-1 --stages standard

此时，模糊测试器会通过mac802.11_hwsim驱动程序对802.11栈运行两个测试实例。

下列命令可以查看工具的帮助信息：

cargo run --release --package virtfuzz-fuzz -- --help

模糊测试选项

在开发过程中，我们还提供了一些选项来支持自定义模糊测试任务。

选择一个目标

工具还支持使用--device-definition参数给模糊测试器传递一个包含了设备定义的JSON文件，如果想使用预构建的设备定义文件，可以直接使用--device参数：

-d, --device <DEVICE>
--device-definition <DEVICE_DEFINITION>

跟踪比较

--stages参数可以选择测试覆盖率，可选项为standard（AFL-Map风格）或cmplog（跟踪比较）：

-s, --stages <STAGES>

其他

某些子系统（例如蓝牙子系统）可能会在处于完全可用状态之前进行初始化，并与硬件交换某些信息。为了提升模糊测试的速度，我们可以给工具提供一个包含了已记录初始化数据的PCAP文件：

--init-path <INIT_PATH>

下列命令可以在开始模糊测试前等待虚拟机发送第一帧：

--wait-for-rx

执行下列命令后，如果虚拟机发送了一个命令，模糊测试器会伪造一个命令执行完成的消息：

--bt-fake-cc

许可证协议

本项目的开发与发布遵循GPL-3.0开源许可协议。

项目地址

VirtFuzz：【GitHub传送门】

参考资料

GitHub - AFLplusplus/LibAFL: Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

CSDL | IEEE Computer Society

syzkaller/tools/create-image.sh at master · google/syzkaller · GitHub

相关文章：

VirtFuzz：一款基于VirtIO的Linux内核模糊测试工具

关于VirtFuzz VirtFuzz是一款功能强大的Linux内核模糊测试工具&#xff0c;该工具使用LibAFL构建&#xff0c;可以利用VirtIO向目标设备的内核子系统提供输入测试用例&#xff0c;广大研究人员可以使用该工具测试Linux内核的安全性。 工具要求 1、Rust&#xff1b; 2、修补的Q…...

编程日记 2024/6/19 3:55:01

统计学一(术语，正态)

目录 一&#xff0c;常用术语 二&#xff0c;正态分布&#xff08;Normal Distribution&#xff09; 三&#xff0c;中心极限定理(Central Limit Theorem) 一&#xff0c;常用术语 population(族群)&#xff1a;要统计的总的 populationSize(族群数量)&#xff1a;要统计的总…...

编程日记 2024/6/19 3:52:59

CleanMyMac X for Mac系统优化垃圾清理软件卸载 工具(小白轻松上手，简单易学)

Mac分享吧 文章目录 效果一、准备工作二、开始安装1、双击运行软件&#xff0c;将其从左侧拖入右侧文件夹中&#xff0c;等待安装完毕2、启动台显示软件图标&#xff0c;表示安装成功 三、运行测试1、打开软件&#xff0c;配置2、授权&#xff0c;允许完全磁盘访问 安装完成&a…...

编程日记 2024/6/19 3:51:58

从0开始开发一个简单web界面的学习笔记(HTML类)

文章目录 什么是HTML页面vscode 开放工具搭建第一个HTML页面编写vscode 如何快速生成代码框架html标签——注释、标题、段落、换行标签格式化标签img 标签(src 属性01)img 属性02(alt、title、width/height、border)a标签href属性a标签target属性表格标签01 基本属性表格标签02…...

编程日记 2024/6/19 3:50:57

【机器学习】对大规模的文本数据进行多标签的分类处理

1. 引言 1.1. NLP研究的背景 随着人工智能技术的飞速发展&#xff0c;智能助手、聊天机器人和虚拟客服的需求正呈现出爆炸性增长。这些技术不仅为人们提供了极大的生活便利&#xff0c;如日程管理、信息查询和情感陪伴&#xff0c;还在工作场景中显著提高了效率。聊天机器人凭…...

编程日记 2024/6/19 3:49:56

C++之std::type_identity

目录 1.简介 2.C20的std::type_identity 3.使用 type_identity 3.1.阻止参数推导 3.1.1.模板参数推导过程中的隐式类型转换 3.1.2.强制显式实例化 3.2.阻止推断指引 3.3.类型保持 3.4.满足一些稀奇古怪的语法 4.示例 5.总结 1.简介 std::type_identity 是 C17 引入的…...

编程日记 2024/6/19 3:48:54

头歌资源库（10）拼数字

一、 问题描述 二、算法思想 初始化一个长度为10的数组count&#xff0c;用于记录卡片中每个数字的数量。 从1开始依次尝试拼出正整数&#xff0c;直到无法拼出下一个数为止。 对于每个尝试拼出的正整数&#xff0c;遍历其每一位的数字&#xff0c;检查该数字在count中是否还…...

编程日记 2024/6/19 3:45:50

虚谷数据库-定时作业

虚谷数据库提供定时作业机制&#xff0c;用于定时、定期、自动的进行某些操作&#xff0c;可通过系统包 dbms_scheduler 进行定时作业创建、调度、查看、删除等。 DBMS_SCHEDULER 系统包封装了以下过程/函数&#xff1a;ENABLE、DISABLE、SET_JOB_ARGUMENT_VALUE、DROP_JOB、R…...

编程日记 2024/6/19 3:43:48

AWD攻防比赛流程手册

AWD简单介绍&#xff1a; AWD&#xff1a;Attack With Defence&#xff0c;即攻防对抗&#xff0c;比赛中每个队伍维护多台服务器&#xff08;一般两三台&#xff0c;视小组参赛人数而定&#xff09;&#xff0c;服务器中存在多个漏洞&#xff08;web层、系统层、中间件层等&am…...

编程日记 2024/6/19 3:42:46

Golang的json解析--Gjson库的使用举例

目录 简介 安装 原生的json解析 Gjson使用举例 基本使用 键路径 使用示例 其他资源 简介 在 Golang 中&#xff0c;解析 JSON 数据是一项非常常见的任务。Go提供了标准的JSON包&#xff0c;可以轻松地将JSON数据序列化和反序列化。但是&#xff0c;在使用标准JSON包…...

编程日记 2024/6/19 3:41:44

基于Langchain构建本地大型语言模型（LLM）问答系统的经验分享

基于Langchain构建本地大型语言模型&#xff08;LLM&#xff09;问答系统的经验分享 https://download.csdn.net/download/xziyuan/89334371?spm1001.2101.3001.9500 最近&#xff0c;我一直在探索如何利用Langchain来构建一个本地的大型语言模型问答系统。在这个过程中&…...

编程日记 2024/6/19 3:40:43

对抗式生成模仿学习（GAIL）

目录 1 预先基础知识 1.1 对抗生成网络&#xff08;GAN&#xff09; 1.1.1 基本概念 1.1.2 损失函数 1.1.2.1 固定G&#xff0c;求解令损失函数最大的D 1.1.2.2 固定D&#xff0c;求解令损失函数最小的G 1.2 对抗式生成模仿学习特点 2 对抗式生成模仿学习&#xff08;…...

编程日记 2024/6/19 3:39:42

信息系统项目管理师 | 新一代信息技术

关注WX&#xff1a;CodingTechWork 物联网 定义 The Internet of Things是指通过信息传感设备&#xff0c;按约定的协议&#xff0c;将任何物品与互联网连接&#xff0c;进行信息交互和通信&#xff0c;以实现智能化识别。定位、跟踪、监控和管理的一种网络。物联网主要解决…...

编程日记 2024/6/19 3:38:40

安全宣传咨询日活动向媒体投稿记住这个投稿好方法

在信息爆炸的时代,作为单位的信息宣传员,我肩负着将每一次重要活动,特别是像“安全宣传咨询日”这样的公益活动,有效传达给公众的重任。这份工作看似简单,实则充满了挑战,尤其是在我初涉此领域时,那段曲折而又难忘的投稿经历,至今记忆犹新。 初探投稿之海,遭遇重重困难 起初,我…...

编程日记 2024/6/19 3:37:38

第7章：系统架构设计基础知识-软件架构风格

由于历史原因&#xff0c;研究者和工程人员对Sofiware Architecture(简称SA)的翻译不尽相同&#xff0c;其软件的“体系结构”和“架构”具有相同的含义。 系统架构其实就是系统的结构&#xff0c;系统架构设计其实就是要给相关利益方说清楚通过什么样的结构来解决需求中功能和…...

编程日记 2024/6/19 3:36:37

自制调色小工具给图片加滤镜，修改图片红、绿、蓝通道及亮度，修改图片颜色

上篇&#xff1a; 上篇我们给地图添加了锐化、模糊等滤镜&#xff0c;这篇来写一个小工具给图片调色。 调色比锐化等滤镜要简单许多&#xff0c;直接拿到像素值修改即可。不需要用到卷积核。。。(*^▽^*) 核心原理就是图像结构&#xff0c;使用context.getImageData获取图像像…...

编程日记 2024/6/19 3:35:36

【Redis】java客户端（SpringData和jedis）

https://www.oz6.cn/articles/58 https://www.bilibili.com/video/BV1cr4y1671t/?p16 redis官网客户端介绍&#xff1a;https://redis.io/docs/latest/develop/connect/clients/ jedis maven引入依赖 <dependencies><!--引入Jedis依赖--><dependency><…...

编程日记 2024/6/19 3:34:35

大数据安全经典面试题及回答（上）

目录 一、大数据安全的主要挑战及应对策略 二、大数据安全中的“五个V”及其影响 三、在Hadoop集群中实施数据加密的步骤和注意事项 四、在大数据环境中实施访问控制和身份认证 五、大数据环境中数据备份和恢复的策略 六、大数据处理过程中保护用户隐私的策略 七、大数据…...

编程日记 2024/6/19 3:33:34

vi/vim使用命令

你是否在编辑文件时以为键盘坏了&#xff0c;为什么不能删除呢&#xff0c;为什么不能敲代码呢&#xff0c;当你初识vi&#xff0c;会觉得这个东西设计很难用&#xff0c;这篇教程带你熟练得用上这款经典的工具&#xff0c;当你熟练了这款工具就会真正体会到高效率打码 Vi 是在…...

编程日记 2024/6/19 3:31:31

webpack打包gz文件，nginx开启gzip压缩

wepback配置 webpack4配合"compression-webpack-plugin": "^6.1.2"打包压缩gz chain.plugin("compression").use(new CompressionPlugin({test: /\.js$|\.html$|\.css$/,threshold: 10240, // 超过10KB的压缩deleteOriginalAssets: false,// 保…...

编程日记 2024/6/19 3:30:30

微服务开发与实战Day11 - 微服务面试篇

一、分布式事务 1. CAP定理 1998年&#xff0c;加州大学的计算机科学及Eric Brewer提出&#xff0c;分布式系统有三个指标&#xff1a; Consistency&#xff08;一致性&#xff09;Availability&#xff08;可用性&#xff09;Partition tolerance&#xff08;分区容错性&am…...

编程日记 2024/6/19 3:29:29

基于Spring Boot+VUE职称评审管理系统

1管理员功能模块 管理员登录&#xff0c;通过填写注册时输入的用户名、密码、角色进行登录&#xff0c;如图1所示。 图1管理员登录界面图 管理员登录进入职称评审管理系统可以查看首页、个人中心、用户管理、评审员管理、省份管理、评审条件管理、职称申请管理、结果公布管理、…...

编程日记 2024/6/19 3:26:27

MySQL 基本语法讲解及示例（上）

第一节&#xff1a;MySQL的基本操作 1. 创建数据库 在 MySQL 中&#xff0c;创建数据库的步骤如下&#xff1a; 命令行操作 打开 MySQL 命令行客户端或连接到 MySQL 服务器。 输入以下命令创建一个数据库&#xff1a; CREATE DATABASE database_name;例如&#xff0c;创建一…...

编程日记 2024/6/19 3:25:25

6.18作业

完善对话框&#xff0c;点击登录对话框&#xff0c;如果账号和密码匹配&#xff0c;则弹出信息对话框&#xff0c;给出提示”登录成功“&#xff0c;提供一个Ok按钮&#xff0c;用户点击Ok后&#xff0c;关闭登录界面&#xff0c;跳转到其他界面 如果账号和密码不匹配&#xff…...

编程日记 2024/6/19 3:24:24

Excel文件转换为HTML文件

文章目录 前言安装python包python代码 前言 将一个Excel文件转换为HTML文件 安装python包 使用pandas和openpyxl库来实现这个功能 pip install pandas openpyxlpython代码 1、首先使用tkinter库中的filedialog模块弹出一个对话框来选择要转换的Excel文件 2、使用pandas库…...

编程日记 2024/6/19 3:23:23

MySQL数据库入门

1、MySQL概述 MySQL官方网站 https://www.mysql.com/downloads/ MySQL被Oracle公司收购了&#xff0c;作者又重新编写了一个开源的数据库管理系统&#xff0c;Mariadb 2、MySQL产品&版本 2、数据库在网站架构中的角色 LAMP LNMP网站架构 3、安装MySQL-基于yum 查…...

编程日记 2024/6/19 3:22:22

vue element-ui 下拉框 以及 input 限制输入，小数点后保留两位 界面设计案例 和 例子：支持mp4和m3u8视频播放

vue input 限制输入&#xff0c;小数点后保留两位 以及 图片垂直居中显示 和 分享 git 小技巧-CSDN博客文章浏览阅读430次&#xff0c;点赞5次&#xff0c;收藏4次。error:Your local changes to the following files would be overwritten by merge:_error: your local change…...

编程日记 2024/6/19 3:21:21

Python基础用法 之 运算符

1.算数运算符 符号作用说明举例加与“”相同 - 减与“-”相同*乘 与“ ”相同 9*218/除 与“ ”相同 9/24.5 、6/32.0//求商&#xff08;整数部分&#xff09; 两个数据做除法的 商 9//24%取余&#xff08;余数部分&#xff09; 是两个数据做除法的 余数 9%21**幂、次方2**…...

编程日记 2024/6/19 3:20:20

事务所管理系统的设计

管理员账户功能包括&#xff1a;系统首页&#xff0c;个人中心&#xff0c;管理员管理&#xff0c;客户管理&#xff0c;评论管理&#xff0c;基础数据管理&#xff0c;公告信息管理 客户账户功能包括&#xff1a;系统首页&#xff0c;个人中心&#xff0c;律师管理&#xff0…...

编程日记 2024/6/19 3:19:19

airsim安装

继续进行&#xff0c;遇到下面的报错 Cannot find path HKEY_CLASSES_ROOT\Unreal.ProjectFile\shell\rungenproj 在Git地址的issue中&#xff0c;搜到下面的解决方法&#xff0c;根因是安装Unreal Engine之后未重启电脑&#xff0c;文件未关联导致&#xff0c;或者出现重定向…...

编程日记 2024/6/19 3:18:18

河南住房和城乡建设厅网站主页/seo快速排名优化方法

http://knockoutjs.com/examples/cartEditor.html javascript已然逆天了 好用的表单控件扩展 Jquery之后又一必选插件转载于:https://www.cnblogs.com/dabaopku/archive/2012/05/08/2489446.html...

编程日记 2024/10/28 7:45:34

thinkphp做网站有什么好处/淘宝数据分析工具

synology git 服务器问题处理 安装 synology 上的 git 套件, 发现使用过程中存在很多问题. permission 问题## 将对应的目录设为git所有者 chown git:users git fatal: Interactive git shell is not enabled. hint: ~/git-shell-commands should exist and have read and exec…...

编程日记 2024/10/28 4:07:12

网站诚信认证电话销售/百度大数据官网入口

作者&#xff1a;陈曦 日期&#xff1a;2012-6-23 14:24:27 环境&#xff1a;[Mac 10.7.1 Lion Inteli3支持64位指令 gcc4.2.1 xcode4.2] 转载请注明出处 Q1&#xff1a;编译生成的可执行文件内部是如何被执行的&#xff1f; A&#xff1a;当然&#xff0c;首先需要知道它…...

编程日记 2024/10/28 2:52:52

php开发系统网站建设/360优化大师官方下载最新版

1. 初识实时流处理 1.1. 业务现状分析 统计主站每个&#xff08;指定&#xff09;课程访问的客户、地域信息分布地域&#xff1a;ip转换客户端&#xff1a;useragent获取如上两个操作&#xff1a;采用离线&#xff08;Spark/MapReduce&#xff09;的方式进行统计 实现步骤课程编…...

编程日记 2024/10/28 2:38:37

推荐广州微信网站建设/页面设计漂亮的网站

1.选择唯一性索引 唯一性索引的值是唯一的&#xff0c;可以更快速的通过该索引来确定某条记录。例如&#xff0c;学生表中学号是具有唯一性的字段。为该字段建立唯一性索引可以很快的确定某个学生的信息。如果使用姓名的话&#xff0c;可能存在同名现象&#xff0c;从而降低查…...

编程日记 2024/10/27 22:29:54

dedecms做网站/汕头网站建设

http://www.linuxdiyf.com/linux/25211.html 归纳解决flash插件大法&#xff1a; 启动器中找到 软件更新&#xff0c;启动&#xff0c;点击 其它软件&#xff0c;把Canonical合作伙伴前方框 选上&#xff0c;目的把第三方合作伙伴源加上。 点击终端&#xff1a; 输入&#xff1…...

编程日记 2024/10/27 21:31:20