zjuchenyuan/angora

Angora镜像概述

Angora是一款高效的变异模糊测试器，采用编译时插桩技术，结合多种优化策略提升漏洞发现效率。本Docker镜像封装了Angora工具及其依赖环境，方便用户快速开展模糊测试实验。

核心功能

• 上下文敏感分支覆盖
• 字节级污点跟踪（基于修改的DataFlow Sanitizer）
• 基于梯度下降的搜索算法
• 类型与形状推断
• 输入长度探索

使用场景

• 软件安全漏洞挖掘
• 开源项目安全测试
• 漏洞复现与验证
• 安全研究实验

配置说明

以下以模糊测试MP3Gain 1.6.2为例，介绍使用步骤：

Step1：系统配置

以root或sudo权限执行以下命令（若重启后需重新执行）：

bash
echo "" | sudo tee /proc/sys/kernel/core_pattern
echo 0 | sudo tee /proc/sys/kernel/core_uses_pid
echo performance | sudo tee /sys/devices/system/cpu/cpu*/cpufreq/scaling_governor
echo 0 | sudo tee /proc/sys/kernel/yama/ptrace_scope
echo 1 | sudo tee /proc/sys/kernel/sched_child_runs_first
echo 0 | sudo tee /proc/sys/kernel/randomize_va_space

注：关闭ASLR等设置可能降低系统安全性，但模糊测试通常在专用机器上进行，风险可控。

Step2：编译目标程序

需编译快速版和污点版两个二进制文件，分别存放于./fast/mp3gain和./taint/mp3gain：

bash
wget https://sourceforge.net/projects/mp3gain/files/mp3gain/1.6.2/mp3gain-1_6_2-src.zip/download -O mp3gain-1_6_2-src.zip
mkdir -p mp3gain1.6.2 && cd mp3gain1.6.2
unzip ../mp3gain-1_6_2-src.zip
mkdir -p {fast,taint}

# 编译快速版
docker run --rm -w /work -it -v `pwd`:/work --privileged docker.xuanyuan.run/zjuchenyuan/angora sh -c "make clean; make"
mv mp3gain fast/

# 编译污点版
docker run --rm -w /work -it -v `pwd`:/work --privileged --env USE_TRACK=1 --env ANGORA_TAINT_RULE_LIST=/tmp/abilist.txt docker.xuanyuan.run/zjuchenyuan/angora sh -c "make clean; /angora/tools/gen_library_abilist.sh  /usr/lib/x86_64-linux-gnu/libmpg123.so discard > /tmp/abilist.txt; make"
mv mp3gain taint/

Step3：准备种子文件

从UNIFUZZ获取MP3种子文件：

bash
apt install -y subversion
svn export https://github.com/UNIFUZZ/dockerized_fuzzing_examples/trunk/seed/mp3 seed_mp3

Step4：开始模糊测试

bash
mkdir -p output
rm -rf output/angora
docker run -w /work -it -v `pwd`:/work --privileged docker.xuanyuan.run/zjuchenyuan/angora \
    /angora/angora_fuzzer --input seed_mp3 --output output/angora \
        -t ./taint/mp3gain -- \
        ./fast/mp3gain @@

补充说明

• ABI列表生成：编译污点版时需生成ABI列表，用于DataFlow Sanitizer处理未知函数的标签传播，通过gen_library_abilist.sh工具生成并指定环境变量ANGORA_TAINT_RULE_LIST。
• 输入长度限制：Angora默认最大输入长度为***字节，若需调整可修改源码中的MAX_INPUT_LEN常量。

相关论文

S&P 2018: Angora: Efficient Fuzzing by Principled Search PDF