AFL++模糊测试

已于 2023-09-08 17:38:27 修改
阅读量1.5k 收藏 7
点赞数 1
分类专栏： Fuzz模糊测试 文章标签： AFL++ 模糊测试 Fuzz
于 2023-09-08 17:37:39 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/leiwuhen92/article/details/132764550
版权

一、AFL++

这里我们主要使用AFL++ Fuzzing 测试IOT的二进制文件，当我们解压提取一个固件时，能够获得大量的IOT二进制应用 ，如果要进行漏洞挖掘则需要将二进制文件进行逆向分析，然后查找危险函数以及输入接口，对于一个大型的应用，直接进行二进制分析会大大降低我们的效率，所以可以使用Fuzzing技术对IOT的二进制文件进行模糊测试，提高漏洞挖掘效率。
   
对于IOT的二进制文件通常由于架构的不同，不能直接进行Fuzzing， AFL++可以使用Qemu、Unicorn或Frida 三种模式进行Fuzzing，虽然不如有源码进行Fuzzing高效，但是其适用面广，并且同样能提高漏洞挖掘效率。
    
AFL++使用qemu用户模式模拟仿真来运行二进制文件，其使用的qemu是进行修改的版本，在程序执行时检测基本块，根据收集的信息生成测试用例，通过生成的大量测试用例触发不同的代码路径，从而提高代码的覆盖率，提高触发Crash的概率。
    
AFL++和其他的类似的Fuzzing工具（AFL，hongfuzz等）一样，仅适用于文件输入的Fuzzing，不支持从套接字输入的程序，对于套接字的Fuzzing测试在下篇进行讲解，本篇文件将重点落在环境的搭建及文件输入相关的二进制应用的Fuzzing

二、AFL++环境搭建

系统环境：任何Linux系统上编译
测试固件：TP-Link SR20、Cisco RV130X 
$ sudo apt update
$ sudo apt install git make build-essential clang ninja-build pkg-config libglib2.0-dev libpixman-1-dev
$ git clone https://github.com/AFLplusplus/AFLplusplus.git
$ cd AFLplusplus
$ make all
$ cd qemu_mode
$ CPU_TARGET=arm ./build_qemu_support.sh # 这里编译ARM架构的

三、AFL++案例

3.1、AFL++测试TP-Link SR20路由器固件

使用Binwalk提取固件： 
$ binwalk -Me tpra_sr20v1_us-up-ver1-2-1-P522_20180518-rel77140_2018-05-21_08.42.04.bin
解包后结果：
接下来我们查找来自文件输入的程序进行Fuzzing测试：
这里可以看到大家耳熟能详的bmp2tiff应用，那么我们就拿bmp2tiff进行Fuzzing测试，生成一个bmp的测试用例，将测试用例放到创建的bmp-input文件夹中，同时创建bmp-output Fuzzing输出文件夹
查看bmp2tiff指令的使用方法：
执行bmp2tiff：
接下来， root权限下执行以下命令进行Fuzzing测试： 
$ QEMU_LD_PREFIX=./squashfs-root/   /root/桌面/AFLplusplus/afl-fuzz  \
    -Q \
    -i bmp-input \
    -o bmp-output \
    -- ./squashfs-root/usr/bin/bmp2tiff @@ /dev/null

-Q：适用qemu模式
-i：输入文件夹
-o：输出文件夹
@@：表示将用来替换的样本
/dev/null：忽略错误信息
可以看到在Fuzzing期间触发了21个crash。
这里使用程序直接解析生成的crash文件：

3.2、AFL++测试Cisco RV130X路由器的固件

固件下载地址如下： 可以从  https://software.cisco.com/download/home/285026141/type/282465789/release/1.0.3.55?i=!pp  下载。该文件名为  RV130X_FW_1.0.3.55.bin
binwalk提取固件，提取后的文件系统如下：
我们将研究对 /usr/sbin/ 中的 jsonparse 和 xmlparser1 二进制文件进行模糊测试。 这些程序接受来自文件的输入，非常适合模糊测试。 我们没有可用的源代码，因此我们必须使用 Qemu 模式。

3.2.1、模糊测试xmlparser1

在模糊测试之前，我们需要知道程序如何接受输入。使用 –help 参数使用 qemu-arm-static 运行 xmlparser1 会显示使用情况。它接受带有 -f 参数的文件名。-d 参数代表调试。
qemu-arm-static -L . ./usr/sbin/ xmlparser1 --help    # -L path  EMU_LD_PREFIX  set the elf interpreter prefix to 'path'
我们可以创建一个 测试 XML 文件并运行 xmlparser1: test.xml 
<?xml version="1.0" encoding="UTF-8"?><shiporder orderid="889923" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:noNamespaceSchemaLocation="shiporder.xsd"><orderperson>John Smith</orderperson><shipto><name>Ola Nordmann</name><address>Langgt 23</address><city>4000 Stavanger</city><country>Norway</country></shipto><item><title>Empire Burlesque</title><note>Special Edition</note><quantity>1</quantity><price>10.90</price></item><item><title>Hide your heart</title><quantity>1</quantity><price>9.90</price></item></shiporder>
创建两个目录 input-xml 和 output-xml 并将 test.xml 文件移动到 input-xml，如图所示。
运行 xmlparser1：
xmlparser1 显示 test.xml 文件的解析内容。 我们现在可以继续进行模糊测试。 要运行模糊器，我们需要提供一个输入文件，模糊器将使用该文件生成进一步的测试用例。 我们将指定 test.xml 作为我们的输入文件。
我们现在可以启动 afl-fuzz: 
$ /root/桌面/my_firmwares/_RV130X_FW_1.0.3.55.bin.extracted/
$ QEMU_LD_PREFIX=./squashfs-root/ /root/桌面/AFLplusplus/afl-fuzz \
            -Q \
            -i input-xml/ \
            -o output-xml/ \
            -- ./squashfs-root/usr/sbin/xmlparser1 -f @@

-Q：在 Qemu 模式下使用 AFL++
-i：输入目录的路径
-o：输出目录的路径。此目录将包含触发二进制文件上有趣行为的文件，例如崩溃或挂起
在运行时，AFL++ 会将@@ 参数替换为输入文件的名称
​​

3.2.2、模糊测试 jsonparse

创建一个 测试JSON文件 并在其上运行jsonparser：test.json 
{"name":"Jason Ray","profession":"Software Engineer","age":31,"address":{"city":"New York","postalCode":64780,"Country":"USA"},"socialProfiles":[{"name":"Twitter","link":"https://twitter.com"},{"name":"Facebook","link":"https://www.facebook.com"}]}
创建两个目录 input-json 和 output-json 并将 test.json 文件移动到 input-json：
运行jsonparser：
root权限下执行如下命令进行Fuzzing测试： 
$ /root/桌面/my_firmwares/_RV130X_FW_1.0.3.55.bin.extracted/
QEMU_LD_PREFIX=./squashfs-root/ /root/桌面/AFLplusplus/afl-fuzz \
    -Q \
    -i input-json \
    -o output-json \
    -- ./squashfs-root/usr/sbin/jsonparse @@
可以看到也出现了crash，这里使用程序直接解析生成的crash文件：
这里可以看到触发段错误。

四、参考

青霄
关注
  • 1
    点赞
  • 踩
  • 7
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Fuzz-With-Wine-Demo:一组使用AFL ++ QEMU模糊Win32二进制文件的帮助程序和示例
03-09
WINE和AFL ++演示的模糊测试 注意：基于Wine的fuzzinf与-W命令行开关集成在AFL ++中，因此此存储库中的脚本是旧式的，但示例仍然有效 一组使用AFL ++ QEMU模糊Win32二进制文件的帮助程序和示例 要求 要用AFL ++ QEMU模糊Win32 PE应用程序，必须确保Linux发行版能够在没有预加载器的情况下运行Wine。 只需输入以下内容即可检查： $ WINELOADERNOEXEC=1 wine cmd 您还需要python3和pefile包。 绒毛 克隆的master分支并构建qemu_mode（对于本示例，请使用CPU_TARGET = i386）。 将afl-wine-trace脚本复制到AFL ++路径或导出AFL_PATH。 Wine为异常处理安装了一些信号处理程序，但是对于模糊测试，我们希望禁用它们并让模糊程序崩溃。 使用make构
libfiowrapper:使用AFL ++进行模糊测试时，用于包装所有文件调用的库
05-23
libfiowrapper 创建该库是为了帮助模糊正在从文件读取数据的应用程序。 它挂接文件调用并将其替换为内存访问。 有两个库可供使用： libfioinfo.so-该库仅收集应用程序中使用的不同文件调用的统计信息 libfiowrapper.so-此库用于仅通过内存访问来替换文件函数调用。 建造 要构建只需运行： make 要显示更多信息，请构建调试版本： make debug 演示应用程序位于./examples目录中。 要构建它们，只需运行： cd ./examples/demo make 运行演示应用 生成后，examples \ demo目录将包含3个应用程序： info-demo-此应用程序仅与clang兼容。 file-fuzz-demo，file-fuzz-demo-posix-这些应用程序使用afl-clang-fast进行编译。 它们可用于通过简
2024年网安最新AFL++简单学习_afl++ iot(1)
2401_84297796的博客
05-01 120
QEMU_LD_PREFIX=./squashfs-root/ /home/iot/tools/AFLplusplus/afl-fuzz -Q -i squashfs-root/bmp-input/ -o squashfs-root/bmp-output/ – ./squashfs-root/usr/bin/bmp2tiff @@ /dev/null # root权限下。这个方向初期比较容易入门一些，掌握一些基本技术，拿起各种现成的工具就可以开黑了。
AFL++ (PlusPlus) 介绍与实践
热门推荐
qq_40229814的博客
02-23 1万+
文章目录一、AFL++简介缝合块AFL基础款1 基于覆盖率指标的反馈2 变异3 fork 服务器缝合怪 一、AFL++简介 AFL++ 结合现今所有基于AFL框架改进方案，形成一个整体，即取其精华，去其糟粕，形成一款终极版AFL——AFL++。 下面以AFL基础款框架的几个部分，分别介绍AFL++结合了哪些改良部分。 缝合块 AFL基础款 AFL 是一款基于突变的、覆盖率引导的FUZZer。 它改变一组测试用例以达到程序中以前未探索的代码。覆盖率发生变化时，触发新覆盖率的测试用例将保存为测试用例队列的一部分
【AFL++代码详解】系统概览
z1nk的博客
12-25 333
模糊测试工具AFL++源码README
AFL++: Combining Incremental Steps of Fuzzing Research 翻译
大草的博客
01-20 2262
Combining Incremental Steps of Fuzzing Research 论文翻译
Fuzz_AFL学习
Im_print的博客
07-07 600
Fuzz与AFL概念、原理及实现细节
【论文分享】LibAFL: A Framework to Build Modular and Reusable Fuzzers
^_^
08-30 1873
AFL是软件安全测试领域的一个重要里程碑，使得fuzzing成为了一个主要的研究领域，并带动了大量的研究去提高fuzzing流水线上的各个方面。许多研究是通过fork AFL的代码来进行实现的。虽然一开始看起来挺合适的，但是要把多种fork合并到一个fuzzer，需要大量的工程开销，阻碍了不同技术客观和公正的评估。严重碎片化的fuzzing的生态阻止了研究者组合多种技术来实现新的原型系统。为了解决这个问题，这篇文章提出了LibAFL，一个框架来构建模块化和可重用的fuzzer。...
黑盒模糊测试之AFL++
席八
09-08 1288
运行 1 个带有 LAF （ + ） 的 afl-fuzz -Q 实例，或者您可以使用 FRIDA 模式，只需切换并删除 LAF 实例AFL_PRELOAD=libcmpcov.soAFL_COMPCOV_LEVEL=2-Q-O。然后运行尽可能多的实例，只要你有-Q模式的内核，或者 - 甚至更好 - 使用二进制重写器，如Dyninst，RetroWrite，ZAFL等。如果二进制重写器适用于您的目标，那么您可以正常使用afl-fuzz，并且它的速度将是QEMU模式的两倍（但比QEMU持久模式慢）。
2024年网络安全最全AFL++简单学习_afl++ iot，oppo网络安全面试题
最新发布
2401_84265571的博客
05-06 726
例如你当你要fuzzing的目标对随着输入的规模内存变化非常敏感，那么制作一批很大的文件与较小的文件可能是一个策略，具体是否是否有效取决于你经验、以及对目标的理解。此外，需要注意控制语料库的规模，太过庞大的语料库并不是好的选择，太过潘达的语料库会拖慢fuzzing的效率，尽可能用相对较小的语料覆盖更多目标代码的预期功能即可。对于基于变异的模糊测试工具而言，需要为其准备一个或多个起始的输入案例，这些案例通常能够很好的测试目标程序的预期功能，这样我们就可以尽可能多的覆盖目标程序。收集语料的来源多种多样。
《【黑盒模糊测试】路由器固件漏洞挖掘实战-AFL++ qemu-mode》配套练习实例
02-21
在《【黑盒模糊测试】路由器固件漏洞挖掘实战--AFL++ qemu_mode》这篇教程中，你将学习如何设置和使用AFL++的qemu-mode来对路由器固件（如`RV130X_FW_1.0.3.55.bin`）进行模糊测试。这通常包括以下步骤： 1. **准备...
TriforceAFL:AFLQEMU具有全系统仿真功能的模糊测试
03-11
TriforceAFL:AFLQEMU具有全系统仿真功能的模糊测试
LibAFL-legacy:AFL ++作为库
03-22
LibAFL最初由 GSOC指导者作为GSOC项目开发：内容介绍模糊测试的要素特征LibAFL入门介绍LibAFL是构建模糊器的框架，并支持多线程。 LibAFL背后的主要概念不是构建“最佳”模糊器，而是为您提供轻松为特定目标制作...
Grammar-Mutator:用于 AFL++ 的基于语法的自定义修改器
08-04
语法修改器 - AFL++ 用于 AFL++ 的基于语法的自定义修改器，用于处理高度结构化的输入。 开发商： 导师： , 概述我们开发了一个语法修改器来... 可以在此处找到使用 AFL++ Grammmar Mutator 的 Apache 模糊测试文章：
【AFL++代码详解】简易使用教程
z1nk的博客
01-11 941
介绍AFL++的简易使用
漏洞挖掘之Fuzzing和AFL原理理解
秀玉轩晨的博客
11-02 5090
漏洞挖掘技术 漏洞挖掘发展过程中，有很多的技术被提出，最有效的技术仍然是Fuzzing。学术界提出的包括静态分析，动态分析，污点分析，符号分析等方法多少具有局限性。 Fuzzing与AFL漏洞挖掘技术Fuzzing与AFL的历史Fuzzing的原理思想AFLAFL的工作流程 Fuzzing与AFL的历史 Fuzzing在90年代被提出，目前已有30年历史，但真正大的发展是在2013年，它是一个动态测试的过程基本思路是想办法生成一大堆输入，扔给程序测试，观察在测试过程中出现的bug和问题。 整个过程的核心是怎
AFL-FUZZ学习笔记：QEMU模式的使用（MIPS架构）
niu_niu_的博客
08-16 5659
最近在学习使用AFL（American Fuzzy Lop）进行漏洞挖掘，简单的记录一下。
深入分析 afl / qemu-mode(qemu模式) / afl-unicorn 编译及安装存在的问题以及相应的解决方案
个人笔记
03-24 1万+
0x10 AFL简介 模糊测试（Fuzzing）在安全界广为流传，被用来进行漏洞挖掘。通过向目标系统提供非预期的输入并监视异常记过来发现软件的漏洞。 0x11 AFL AFL（American Fuzzy Lop）是由安全研究员Michał Zalewski（@lcamtuf）开发的一款基于覆盖引导（Coverage-guided）的模糊测试工具，它通过记录输入样本的代码覆盖率，从而调整输入样本以...
AFL模糊测试
无痕的博客
09-08 2841
fuzz测试工具-AFL，实现对源码或二进制文件的模糊测试
模糊测试afl-qemu
11-29
AFL-QEMU是American Fuzzy Lop（AFL）模糊测试工具与Quick Emulator（QEMU）虚拟机结合的工具，能够有效地进行模糊测试。在进行AFL-QEMU模糊测试时，首先需要准备好目标程序和测试样本，然后通过AFL对目标程序进行模糊测试。AFL会自动生成各种输入样本，然后通过QEMU虚拟机执行目标程序，监控程序的执行情况，如崩溃、内存泄漏等异常情况。通过这种方式，可以发现程序的潜在漏洞和安全问题。 值得注意的是，AFL-QEMU的模糊测试过程需要一定的耗时和计算资源，因为它需要不断地生成和执行大量的测试样本，同时监控程序的执行情况。因此，在进行模糊测试时，需要充分考虑计算资源的配置和时间成本。 另外，在使用AFL-QEMU进行模糊测试时，需要做好充分的测试样本准备工作，以及对目标程序的执行环境进行适当的配置和调整。同时，还需要对测试结果进行及时的分析和总结，及时修复程序中出现的问题和漏洞。 总的来说，AFL-QEMU模糊测试是一种高效的安全测试方法，能够帮助发现和修复目标程序中的安全漏洞和问题。通过不断地完善和改进测试过程，可以提高软件的安全性和稳定性。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值