freeBuf
主站

分类

漏洞 工具 极客 Web安全 系统安全 网络安全 无线安全 设备/客户端安全 数据安全 安全管理 企业安全 工控安全

特色

头条 人物志 活动 视频 观点 招聘 报告 资讯 区块链安全 标准与合规 容器安全 公开课

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

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

FreeBuf+小程序

FreeBuf+小程序

如何使用AutoHarness自动化创建模糊测试工具
2021-10-03 18:18:58

关于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

通过进一步调试编译并添加更多头文件等,肯定可以提高成功率。注意:nginx项目在编译后没有任何共享对象。不过,该程序支持将PIE可执行程序转换为共享库。

计划添加的功能

结构化模糊测试

实现基于Harness的创建功能

并行模糊测试/假阳性检测

项目地址

AutoHarness:GitHub传送门

参考资料

https://lief.quarkslab.com/doc/latest/tutorials/08_elf_bin2lib.html

本文作者:, 转载请注明来自FreeBuf.COM

# 模糊测试
被以下专辑收录,发现更多精彩内容
+ 收入我的专辑
评论 按热度排序

登录/注册后在FreeBuf发布内容哦

相关推荐
\
  • 0 文章数
  • 0 评论数
  • 0 关注者
文章目录
登录 / 注册后在FreeBuf发布内容哦
收入专辑