基于覆盖率的灰盒测试工具，诸如AFL、AFLFast、AFLGo、Angora等，通过预先定义好的通用变异操作符对种子进行突变，检查输入在经过变异后是否产生了新的分支覆盖，是否足够“有趣”。轻量级的程序插桩将辅助fuzzer对输入用例的“有趣”性做出评估，并挑选其中足够新颖的输入作为下一轮突变的种子文件。

由于传统的基于覆盖率的灰盒测试工具，其突变都是比特级别的种子文件内容突变，缺乏对输入结构层面的一定感知能力，因此对于有高度结构化输入的程序，fuzzer经过突变产生的大量畸形输入难以通过格式文件的文件解析阶段。目前聚焦此类问题有两种主要的解决方案：基于字典的突变及动态污点分析。但这两种方案都只是进行文件内容上比特位层级的突变，且字典操作上难以构建合法语义块，故均未能实现对文件结构层级上的突变。

因此，针对当前工作对文件结构缺乏感知的问题，Van-Thuan Pham等人在AFL的基础上推出了AFLSMART，可以根据文件内部的层级结构信息产生新的种子文件，提升fuzzer的有效性与可用性。在AFL的基础上，AFLSMART参照了 Peach 的 File Cracker 组件，将文件按块划分，抽象为一个可以用 xml 文件描述的树形的结构，并引入了如下特性：

虚拟结构表示（Virtual Structure）

文件块层次的突变（Smart Mutation Operators）

基于有效性的种子能量调度（Valid-based Power Schedule）

针对有高度结构化输入的被测程序，AFLSMART的有效性来自于其文件块层级的突变。为了此种突变的实现，需要对文件的层级结构的表示进行设计。AFLSMART参照了 Peach 的 File Cracker 组件，将文件按块划分，块与块之间按层级结构组成一颗二叉树。File Cracker组件的代码可见于peach-3.0.202.patch。根据在smart-chunks.h中的声明，块内数据域包含id、类型、起始字节偏移、末尾字节偏移、修改标志位，指针域包含同级块、后继块指针：

由上可知，chunk在数据结构的层面上其实就是一个二叉树的节点。

在AFLSMART的启动过程中，需要用-g选项来指定.xml模板格式文件，此处-g的处理代码在afl-fuzz.c中：

在一开始AFLSMART的参数配置阶段，仅用fopen()的方式，检查指定的模板格式文件是否存在

接着，虚拟结构树的构建发生在在afl-fuzz.c中fuzz_one()的CALIBRATION阶段，其调用代码如下：

其中update_input_structure()进行的即使虚拟结构树的构建工作，其函数实现定义在afl-fuzz.c中，代码如下：

由此，我们可以看到，在CALIBRATION阶段，AFLSMART从种子队列获取一个种子文件，根据先前指定的.xml模板文件，利用peach的File Cracker工具解析该种子文件，并将解析结果格式化地输出为一个.repaired.chunks文件。以wav文件为例，解析完毕后的输出文件内容如下：

接着在update_input_structure()内，AFLSMART会根据解析过程File Cracker的输出信息，计算种子文件的有效度，并根据.repaired.chunks文件，调用get_chunks()展开虚拟结构树的构建工作。get_chunks()的实现在smart-chunks.c中，代码如下：

可以看出，get_chunks()内调用add_path()，逐行解析.repaired.chunks文件的内容，构建相应的虚拟结构树，其构建过程即数据结构中常见的二叉树的构建，在此不再赘述。以上文中的.repaired.chunks文件为例，其虚拟结构树的图示如下：

基于上节的虚拟结构表示，AFLSMART定义了三种文件块层次的突变：块删除（smart deletion）、同类块添加（smart addition）、同类块替换（smart splicing）。

其实现代码可见afl-fuzz.c中的higher_order_fuzzing()，代码很长，在此不完全列举，下文介绍各个文件块突变因子时逐步列举。

流程上，higher_order_fuzzing()的主要步骤有如下几个：

有50%的概率不进行突变，块删除、块添加、同类块替换的概率均为16.7%，其实现代码如下：

在higher_order_fuzzing()中，AFLSMART调用linearize_chunks()，将当前虚拟结构树中第一、二层级及更深层级的chunk的指针分别收集到first_chunks_array、second_chunks_array、deeper_chunks_array中，并将对应的chunk数目收集到total_first_chunks、total_second_chunks、total_deeper_chunks。

linearize_chunks()的实现代码在afl-fuzz.c中，实现如下：

由此可见，linearize_chunks()会根据虚拟结构树中各个chunk的层级，将其指针递归地收集到各级数组中，实现线性化。倘若在执行命令中加入了-c选项，即启用composite_mode时，AFLSMART将对更深层级的块进行线性化收集工作。

顾名思义，块删除操作即移除种子文件中的某个块。首先会进行虚拟树节点的线性化收集工作，即调用linearize_chunks()：

在完成线性化收集工作后，AFLSMART将依次从first_chunks_array、second_chunks_array、deeper_chunks_array中，调用get_chunk_to_delete()，随机挑选出一个起始字节偏移、末尾字节偏移已知的块，作为待删除的目标块，并获取该块的起始字节偏移以及长度，便于块删除后的字节偏移调整工作。这个过程的代码如下：

get_chunk_to_delete()实现在afl-fuzz.c中，代码如下：

待删除的块挑选完毕后，即开始块删除操作。调用memmove()，将待删除目标块之后的内存，拷贝至待删目标块的位置；调用search_and_destory_chunk()，在虚拟结构树上删除待删除目标块对应的子树，并调整相关chunk的起始字节偏移与末尾字节偏移。此部分的代码如下：

其中，search_and_destory_chunk()负责虚拟结构树上递归地进行目标块及其子块的删除与块偏移调整工作，在smart_chunks.c中实现，代码如下：

最终实现的效果如其论文中所示的一致：

同类块替换操作，可以把当前种子文件中的某一块替换为另一种子文件的同类型块。

该突变操作首先会随机选择一个种子文件作为源种子文件，其代码如下：

可以看出，代码中通过随机选择一个tid、在种子队列中遍历查找的形式来随机挑选一个测试用例，作为同类块替换的源种子文件。

接着，进行虚拟树节点的线性化收集工作，调用linearize_chunks()，此部分在上文中已有叙述。

在线性化收集虚拟树节点后，AFLSMART开始随机地从当前种子文件中挑选一个将被替换的目标块，其流程代码如下：

其中get_target_to_splice()是一个实现在afl-fuzz.c的一个功能函数，其功能在于随机地从块指针数组中挑选一个可修改的块，输出该块的指针、起始字节偏移、块长度以及块的类型。get_target_to_splice()的代码如下：

挑选完当前种子文件的待替换块后，根据待替换块的类型，AFLSMART调用get_chunks_of_type()，在源种子文件的虚拟结构树中递归地寻找与源块类型相同、长度不大于目标块的块，复制这些块并将其副本链接成单链表结构的worklist。同类块替换操作的源块就在这个worklist中随机挑选。其流程代码如下：

随后，同类型的源块以及目标块已经挑选完毕，正式开始同类块的替换操作：

读取源种子文件，便于获取源块的数据内容，代码如下：

调用memcpy()、memmove()，在当前种子文件的缓冲区内进行块内容的替换以及种子文件大小的调整：

块内容替换完毕后，调整当前种子文件的虚拟结构树，其中的操作包括删除目标块节点及其子树（delete_chunks()）、块内字节偏移的调整（reduce_byte_positions()）、新块节点及其子树的整合（copy_children_with_new_offset()）：

最终实现的效果如其论文中所示的一致：

与图片稍许不同的，代码中要求替换过程中，源块的长度不应当大于目标块的长度，而论文里的图片刚好相反了←_←

同类块添加操作，可以在当前种子文件中的某一块（头块）的末尾，添加另一种子文件的同类型块（尾块）。

同样地，该突变操作首先进行虚拟树节点的线性化收集工作，调用linearize_chunks()，此部分在上文中已有叙述。

接着调用get_parent_to_insert_child()，从各级块指针数组中随机挑选一个有子块的块作为块添加的父块，并获取其起始字节偏移、块长以及块类别，此部分代码如下：

get_parent_to_insert_child()在afl-fuzz.c中有所实现，代码如下：

在获取头块成功后，AFLSMART从当前种子队列中随机挑选一个种子文件作为同类块添加的源种子文件，并根据头块的类型，从源种子文件中列举出同类型的worklist块单链表，随机挑选出一个尾块。此步骤与同类块替换中的一致，不再赘述。

选定头块和尾块完毕后，则正式开始进行同类块的添加操作：

读取源种子文件，便于获取尾块的数据内容，代码如下：

调用memmove()、memcpy()，在当前种子文件的缓冲区内腾出头块末尾的内存空间，将尾块数据复制进去，并对种子文件大小进行调整：

当前种子文件缓冲区调整完毕后，即开始对其虚拟结构树进行调整。该过程涉及到块内字节偏移的调整（increase_byte_positions_except_target_children）、新块节点及其子树的构建（copy_children_with_new_offset）：

最终实现的效果如其论文中所示的一致：

在AFLSMART中，能量指一个种子文件在种子队列中被选中所需的等待时间，能量越高，等待时间越短，优先级越高。在AFL中，体积小、执行时间短的种子文件将被分配更多的能量；而AFLSMART通过Peach获取种子文件的有效性，有效性越高的种子将获得越高的能量，具体的能量分配公式如下：

其中，$s$表示种子文件；$p_v(s)$表示种子文件$s$在AFLSMART中被分配的能量；$p(s)$表示种子文件$s$在AFL中被分配的能量；$v(s)$表示种子文件$s$的有效性，由peach获取；$U$表示设定的最大能量。

可以看出，种子的有效性越高，AFLSMART为其分配的能量越多。

种子有效性计算的对应代码位于update_input_structure()，实现在afl-fuzz.c，在前文虚拟结构表示一节中已有表述。

相较于传统的对文件内容进行比特、字节级别突变的fuzzer，AFLSMART实现的块级突变还是挺有意思的，在此写下自己的一些学习总结。新人帖，无论是内容还是排版等，都欢迎大家批评指正。(～￣▽￣)～

AFLSMART项目地址：https://github.com/aflsmart/aflsmart

AFLSMART文章：https://thuanpv.github.io/publications/TSE19_aflsmart.pdf

[招生]科锐逆向工程师培训(2024年11月15日实地，远程教学同时开班, 第51期)