AFL++简单学习_afl++ iot

最新推荐文章于 2024-10-09 20:23:22 发布
最新推荐文章于 2024-10-09 20:23:22 发布
阅读量943 收藏 18
点赞数 27
文章标签： 学习 物联网
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/2401_86454660/article/details/141876115
版权

简介

AFL++ 是 Google 的 AFL 的一个分支，具有更快的速度，更多的突变，更多的自定义模块等

  • AFL++可以使用Qemu、Unicorn或Frida 三种模式进行Fuzzing，虽然不如有源码进行Fuzzing高效，但是其适用面广，并且同样能提高漏洞挖掘效率。
  • AFL++的qemu模式可完成对无源码固件的Fuzzing测试，目前还不支持MIPS。
  • AFL++使用qemu用户模式模拟仿真来运行二进制文件，其使用的qemu是进行修改的版本，在程序执行时检测基本块，根据收集的信息生成测试用例，通过生成的大量测试用例触发不同的代码路径，从而提高代码的覆盖率，提高触发Crash的概率。
    在这里插入图片描述
    在这里插入图片描述
    在这里插入图片描述
    在这里插入图片描述
    在这里插入图片描述

论文：Andrea Fioraldi, Dominik Maier, Heiko Eißfeldt, and Marc Heuse. “AFL++: Combining incremental steps of fuzzing research”. In 14th USENIX Workshop on Offensive Technologies (WOOT 20). USENIX Association, Aug. 2020.
论文讲解：https://mp.weixin.qq.com/s/a_Y0-pvn-WDbfS91lzZNrQ
源码：https://github.com/AFLplusplus/AFLplusplus

编译AFL++

Docker 构建

docker pull aflplusplus/aflplusplus
docker run -ti -v /location/of/your/target:/src aflplusplus/aflplusplus

自行构建

环境

Ubuntu18.04
afl++ v4.09
gcc9 g++9
clang llvm-dev

sudo apt-get update
sudo apt-get install -y build-essential python3-dev automake cmake git flex bison libglib2.0-dev libpixman-1-dev python3-setuptools cargo libgtk-3-dev
#try to install llvm 14 and install the distro default if that fails
sudo apt-get install -y lld-14 llvm-14 llvm-14-dev clang-14 || sudo apt-get install -y lld llvm llvm-dev clang
sudo apt-get install -y gcc-$(gcc --version|head -n1|sed 's/\..*//'|sed 's/.* //')-plugin-dev libstdc++-$(gcc --version|head -n1|sed 's/\..*//'|sed 's/.* //')-dev
sudo apt-get install -y ninja-build # for QEMU mode
git clone https://github.com/AFLplusplus/AFLplusplus
cd AFLplusplus
make distrib
sudo make install

make distrib还构建了 FRIDA 模式、QEMU 模式、unicorn_mode 等。如果你只想要普通的 AFL++：
make all
如果您想要编译一些辅助工具但对纯二进制目标不感兴趣，请选择：
make source-only

构建目标选项
  • all：主要的 AFL++ 二进制文件和 llvm/gcc 工具
  • binary-only：仅二进制模糊测试的所有内容：frida_mode、nyx_mode、qemu_mode、frida_mode、unicorn_mode、coresight_mode、libdislocator、libtokencap
  • source-only：用于源代码模糊测试的所有内容：nyx_mode、libdislocator、libtokencap
  • distrib：一切（适用于仅二进制和源代码模糊测试）
  • man：从程序的帮助选项创建简单的手册页
  • install：安装使用上面的构建选项编译的所有内容
  • clean：清理所有已编译的内容，而不是下载的内容（除非不在结帐时）
  • deepclean：清理所有内容，包括下载
  • code-format：格式化代码，请在提交并发送 PR 之前执行此操作！
  • tests：运行测试用例以确保所有功能仍然正常工作
  • unit：执行单元测试（基于cmocka）
  • help：显示这些构建选项
编译选项

STATIC - 编译 AFL++ 静态
CODE_COVERAGE - 编译代码覆盖率目标（请参阅 docs/instrumentation/README.llvm.md）
ASAN_BUILD - 使用内存清理程序编译 AFL++ 以进行调试
UBSAN_BUILD - 使用未定义的行为清理程序编译 AFL++ 工具以进行调试
DEBUG - 无优化、-ggdb3、所有警告和 -Werror
LLVM_DEBUG - 显示 llvm 弃用警告
PROFILING - 使用分析信息编译 afl-fuzz
INTROSPECTION - 使用突变内省编译 afl-fuzz
NO_PYTHON - 禁用 python 支持
NO_SPLICING - 禁用 afl-fuzz 中的剪接突变，不建议用于正常模糊测试
NO_UTF - 不要在状态屏幕中使用 UTF-8 进行线条渲染（回退到普通 AFL 的 G1 框绘图）
NO_NYX - 禁用构建 nyx 模式依赖项
NO_CORESIGHT - 禁用构建 coresight（仅限arm64）
NO_UNICORN_ARM64 - 禁用在arm64上构建独角兽
AFL_NO_X86 - 如果在非 intel/amd 平台上编译
LLVM_CONFIG - 如果您的发行版不使用 llvm-config 的标准名称（例如 Debian）

AFL++使用

测试目标及其说明

  • Binary-only: fuzzing_binary-only_targets.md
  • GUI programs: best_practices.md#fuzzing-a-gui-program
  • Libraries: frida_mode/README.md
  • Network services: best_practices.md#fuzzing-a-network-service
  • Non-linux: unicorn_mode/README.md

选择测试目标

例如： Cisco RV130 VPN 路由器的固件：https://software.cisco.com/download/home/285026141/type/282465789/release/1.0.3.55?i=!pp
该文件名为RV130X_FW_1.0.3.55.bin
使用binwalk提取二进制文件，jsonparse和xmlparser1二进制文件进行模糊测试，由于没有源码，所以需要使用qemu模式
例如：
TP-Link SR20路由器的固件，固件的下载地址如下：https://static.tp-link.com/2018/201806/20180611/SR20(US)_V1_180518.zip

$ binwalk -Me tpra_sr20v1_us-up-ver1-2-1-P522_20180518-rel77140_2018-05-21_08.42.04.bin

了解目标接受的输入

qemu-arm-static和 --help 参数运行xmlparser1会显示用法
在这里插入图片描述
我们可以创建一个测试 XML 文件并运行xmlparser1。
在这里插入图片描述

收集语料库

对于基于变异的模糊测试工具而言，需要为其准备一个或多个起始的输入案例，这些案例通常能够很好的测试目标程序的预期功能，这样我们就可以尽可能多的覆盖目标程序。

收集语料的来源多种多样。通常目标程序会包含一些测试用例，我们可以将其做位我们初始语料的一部分，此外互联网上也有些公开的语料库你可以收集他们做为你的需要。

关于语料库的主动性选择，这个更多需要你对fuzzing 目标内部结构的了解。例如你当你要fuzzing的目标对随着输入的规模内存变化非常敏感，那么制作一批很大的文件与较小的文件可能是一个策略，具体是否是否有效取决于你经验、以及对目标的理解。

此外，需要注意控制语料库的规模，太过庞大的语料库并不是好的选择，太过潘达的语料库会拖慢fuzzing的效率，尽可能用相对较小的语料覆盖更多目标代码的预期功能即可。

一些常见的在线样本集

https://files.fuzzing-project.org/
http://samples.ffmpeg.org/
http://lcamtuf.coredump.cx/afl/demo/
https://github.com/MozillaSecurity/fuzzdata
https://github.com/strongcourage/fuzzing-corpus
https://github.com/Cisco-Talos/clamav-fuzz-corpus
https://github.com/mozilla/pdf.js/tree/master/test/pdfs
https://github.com/codelibs/fess-testdata
https://github.com/google/honggfuzz/tree/master/examples/apache-httpd
精简语料库

在AFL++中可以使用工具afl-cmin从语料库中去除不会产生新路径和覆盖氛围的重复输入，并且AFL++官方提示强烈建议我们对语料库唯一化，这是一个几乎不会产生坏处的友谊操作。
具体的使用如下：

  • 将收集到的所有种子文件放入一个目录中，例如 INPUTS。
  • 运行 afl-cmin：

# 如果要通过模糊测试来调用目标程序 bin/target INPUTFILE ，请将目标程序将从中读取的 INPUTFILE 参数替换为 @@
afl-cmin -i INPUTS -o INPUTS_UNIQUE -- bin/target -someopt @@
# 如果目标从 stdin（标准输入）读取，只需省略 ， @@ 因为这是默认值：
afl-cmin -i INPUTS -o INPUTS_UNIQUE -- bin/target -someopt
构建输入输出文件

需要自行构建输入文件夹：用来存储初始种子，即将上述种子存到一个文件夹中
需要构建输出文件夹：用来存储测试反馈与记录

运行AFL++

如果程序从 stdin 读取，afl-fuzz请像这样运行：

./afl-fuzz -i seeds_dir -o output_dir -- \
/path/to/tested/program [...program's cmdline...]

要添加字典，请添加-x /path/to/dictionary.txt到 afl-fuzz。
如果程序从文件获取输入，则可以将其放入@@程序的命令行中；AFL++ 将为您放置一个自动生成的文件名。
以上面目标为例：


$ 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权限下
# -Q：适用qemu模式
# -i：输入文件夹
# -o：输出文件夹
# @@：表示将用来替换的样本
# /dev/null：忽略错误信息
2401_86454660
关注
AFL++ (PlusPlus) 介绍与实践
qq_40229814的博客
02-23 1万+
文章目录一、AFL++简介缝合块AFL基础款1 基于覆盖率指标的反馈2 变异3 fork 服务器缝合怪 一、AFL++简介 AFL++ 结合现今所有基于AFL框架改进方案，形成一个整体，即取其精华，去其糟粕，形成一款终极版AFL——AFL++。 下面以AFL基础款框架的几个部分，分别介绍AFL++结合了哪些改良部分。 缝合块 AFL基础款 AFL 是一款基于突变的、覆盖率引导的FUZZer。 它改变一组测试用例以达到程序中以前未探索的代码。覆盖率发生变化时，触发新覆盖率的测试用例将保存为测试用例队列的一部分
AFL++: Combining Incremental Steps of Fuzzing Research
席八
10-13 7961
AFL++：结合模糊化研究的增量步骤 摘要 在本文中，我们介绍了AFL++，一个社区驱动的开源工具，它结合了最先进的模糊研究，使研究具有可比性、可复制性、可组合性，最重要的是可使用性。它提供了多种新颖的特性，例如它的定制变异器api，能够在许多阶段扩展模糊化过程。有了它，经验丰富的安全测试人员也可以编写特定目标的变体。我们希望AFL++不仅能成为当前研究的一个新的基线工具，也能成为未来研究的一个新的基线工具，因为它可以快速测试新技术，不仅可以评估单一技术相对于现有技术的有效性，还可以与其他技术相结合。本文对
AFL++简单学习
qq_42981705的博客
01-16 1918
AFL++：一个覆盖率引导的模糊测试工具
安装并使用AFL++
zaizai123123456的博客
08-04 513
AFL++使用初体验，fuzzing fuzzing fuzzing~
AFL++模糊测试
无痕的博客
09-08 1789
fuzz测试工具--AFL++，可以使用Qemu、Unicorn或Frida 三种模式对IOT二进制文件进行Fuzzing测试
黑盒模糊测试之AFL++
席八
09-08 1398
运行 1 个带有 LAF （ + ） 的 afl-fuzz -Q 实例，或者您可以使用 FRIDA 模式，只需切换并删除 LAF 实例AFL_PRELOAD=libcmpcov.soAFL_COMPCOV_LEVEL=2-Q-O。然后运行尽可能多的实例，只要你有-Q模式的内核，或者 - 甚至更好 - 使用二进制重写器，如Dyninst，RetroWrite，ZAFL等。如果二进制重写器适用于您的目标，那么您可以正常使用afl-fuzz，并且它的速度将是QEMU模式的两倍（但比QEMU持久模式慢）。
IOT Fuzz 两种思路
Hello World.c
05-24 2856
两种 FUZZ 框架介绍 代码和测试用例 基于BooFuzz做网络协议黑盒Fuzz BooFuzz框架 https://boofuzz.readthedocs.io/en/stable/user/quickstart.html https://github.com/jtpereyda/boofuzz Boofuzz是久经世故的Sulley Fuzz的分支和继承者。除了大量的错误修复，boofuzz的目标是可扩展性。目标是:Fuzz一切。 基于BooFuzz做Ftp服务Fuzz BooFuzz是基于状态和数据
afl模糊测试实验实验报告
08-05
afl模糊测试实验报告 AFL（American Fuzzy Lop）是一种模糊测试工具，用于检测软件中的漏洞和错误。本实验报告将介绍如何使用AFL进行模糊测试，特别是使用dcmtk模拟PACS（Picture Archiving and Communication ...
使用Afl-fuzz (American Fuzzy Lop) 进行fuzzing测试（三）——技术白皮书（technical whitepaper）
JochenZou的专栏
08-03 8800
Technical “whitepaper” for afl-fuzz0. 设计声明Design statementAmerican Fuzzy Lop并不是集中某一规则或者某一理论的POC代码，而是集多种实用型的技术开发的高效、简单、健壮、易用的模糊测试工具。1. 覆盖率衡量Coverage measurements通过插桩的形式注入到被编译的程序中，实现对分支（branch、edge
IoT安全软件：Armis二次开发_安全测试与验证方法
最新发布
chenlz2007的博客
10-09 887
安全测试与验证是IoT安全软件开发过程中的关键环节，通过黑盒测试、白盒测试、灰盒测试、模糊测试等方法，结合静态分析工具、动态分析工具和漏洞扫描工具，可以全面检测和修复潜在的安全漏洞。同时，合理的安全测试计划和管理实践，如自动化测试、持续集成和漏洞管理，可以提高测试效率和质量，确保软件在实际应用中的安全性。通过具体的测试案例和代码示例，我们可以更好地理解和实施这些测试方法，保障IoT系统的安全性和可靠性。
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构
aflplusplus-hier:带有分层种子调度程序的aflafl ++
05-09
这是基于AFLplusplus（2.68c，Qemu模式）开发的，这要归功于其出色的维护人员和社区 生成并运行 请遵循构建afl ++及其qemu模式的说明（请参阅README_aflpp） 另外，正在运行的命令与afl ++相同（请记住添加“ -Q”以启动qemu模式），此外 要启用多层次覆盖率指标，请设置环境变量“ AFL_USE_MULTI_LEVEL_COV = 1” 要启用分层调度程序，请设置环境变量“ AFL_USE_HIER_SCHEDULE = 1” 我们强烈建议添加“ -d”以跳过确定性突变阶段 我们使用EXPLORE功率计划（“ -p探索”）
AFL模糊测试工具中针对二进制程序的测试技巧
理解AFL模糊测试工具 AFL（American Fuzzy Lop）是一种广泛应用于软件安全测试领域的模糊测试工具。本章将介绍AFL的基本概念、工作原理、特点以及在二进制程序测试中的应用。 ## 1.1 AFL简介 AFL是由Lcamtuf...
AFL++实战（一）-黑盒测试FFmpeg
someng的博客
06-29 6063
AFL++下载及安装 git clone https://github.com/AFLplusplus/AFLplusplus cd AFLplusplus apt install build-essential libtool-bin python3-dev automake flex bison libglib2.0-dev libpixman-1-dev clang python3-setuptools llvm make distrib make install 如果输入 afl-fuzz -Q
AFL++实战（三）-测试nodejs
someng的博客
07-03 921
# 安装 apt-get install -y --no-install-recommends python gawk software-properties-common add-apt-repository -y ppa:ubuntu-toolchain-r/test apt-get install -y --no-install-recommends libstdc++6 git clone --depth 1 https://github.com/mozilla/gecko-dev git clon
网络安全最全AFL++简单学习_afl++ iot
2401_84300859的博客
05-04 1105
AFL++作为一个覆盖率引导的模糊测试工具，拥有自己的变异算法，由于其使用广泛，因此相关教程及实验资料较多，学习使用的曲线平滑，并且其目前更新频率较高，对LLVM的支持以及各类Sanitizer的支持也使得其能更快的发现更多的漏洞。其对于闭源应用程序（使用-Q参数开启QEMU模式）和有源码的应用程序都可以进行FUZZING，但是对于复杂的程序会碰见路径爆炸或执行速度较慢的问题，后者可以通过AFL++的持久模式来进行加速，此时需要使用者对被测程序拥有一定的了解（可能涉及到逆向和源码修改的问题）。
AFL++: Combining Incremental Steps of Fuzzing Research 翻译
大草的博客
01-20 2403
Combining Incremental Steps of Fuzzing Research 论文翻译
AFL+2016CCS
07-25
AFL++最初是作为AFL补丁和补丁的集合，但后来重新实施了非基于AFL的研究，例如REDQUEEN，以及对AFL的研究级扩展，以使其可以用于AFL++。在AFL++的基础上添加了新颖的功能。AFL++的种子调度是其中一个重要的功能。...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值