如何使用AutoHarness自动化创建模糊测试工具

官方公众号企业安全新浪微博

FreeBuf.COM网络安全行业门户，每日发布专业的安全资讯、技术剖析。

FreeBuf+小程序把安全装进口袋

系统安全

^{0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9}

如何使用AutoHarness自动化创建模糊测试工具

Alpha_h4ck 2021-10-03 18:18:58 222483

关于AutoHarness

AutoHarness是一款功能强大的自动化工具，可以帮助广大研究人员以自动化的形式生成模糊测试工具。该工具的初衷源于目前模糊代码库中的一个并发问题：大型代码库有数千个函数和代码片段，可以嵌入到库中相当深层的地方。对于更加智能的模糊测试工具来说，想要达到那个代码路径都是非常困难的，有时甚至都不可能到达。对于更加大型的模糊测试项目，例如oss-fuzz，仍然会有部分代码无法被覆盖到。因此，AutoHarness的主要作用就是试图在一定程度上缓解这一问题，并提供一种工具，供安全研究人员用于对代码库初始化测试。

当前版本的AutoHarness仅支持C和C++代码库。

工具安装

该程序利用llvm和clang（libfuzzer、Codeql）来寻找代码中的函数，并使用了Python来生成模糊测试工具。这个程序目前已在Ubuntu 20.04（llvm 12和Python 3）上进行过测试。

首先，我们需要使用下列命令来初始化AutoHarness的安装：

sudo apt-get update;

sudo apt-get install python3 python3-pip llvm-12* clang-12 git;

pip3 install pandas lief subprocess os argparse ast;

接下来，我们还需要安装Codeql进程，具体请参考【这里】。确保已经安装好的命令行工具和代码库。

最后，使用下列命令将项目源码克隆至本地：

git clone https://github.com/parikhakshat/autoharness.git

工具使用

下面的例子中，我们对运行在Nginx中的多个参数模式集执行了AutoHarness，并拿到如图所示的输出结果：

python3 harness.py -L /home/akshat/nginx-1.21.0/objs/ -C /home/akshat/codeql-h/ -M 1 -O /home/akshat/autoharness/ -D nginx -G 1 -Y 1 -F "-I /home/akshat/nginx-1.21.0/objs -I /home/akshat/nginx-1.21.0/src/core -I /home/akshat/nginx-1.21.0/src/event -I /home/akshat/nginx-1.21.0/src/http -I /home/akshat/nginx-1.21.0/src/mail -I /home/akshat/nginx-1.21.0/src/misc -I /home/akshat/nginx-1.21.0/src/os -I /home/akshat/nginx-1.21.0/src/stream -I /home/akshat/nginx-1.21.0/src/os/unix" -X ngx_config.h,ngx_core.h