AFL种子文件是如何送入目标程序的?
在做实验的过程中,因为要复现漏洞嘛,要把种子文件送入目标程序。这里产生了一个疑问
如果我用重定向的方式把种子文件(二进制文件)送入目标程序中,那么目标程序会显示相应的报错。但是如果我将二进制文件的内容(使用xxd)复制下来,然后在送入程序中,目标程序就不会报错。
在小刘的启发下,我开始对照源码,观察AFL是如何把种子文件送入目标程序。
得到的结论就是,AFL是采用重定向的方式将种子文件送入目标程序的。
- 首先是启动参数中含有@@的(目标程序接受文件名,作为输入参数)
@@
本身代表的就是运行xmllint过程中,需要送进去的文件名
$AFLGO/afl-fuzz -m none -z exp -c 45m -i in -o out ./xmllint --valid --recover @@
AFL会找到@@
的位置,然后把@@
替换成out/.cur_input。并且指定out_file
为。out/.cur_input
。
具体细节可以参照函数 detect_file_args
- 然后是启动参数中不包含@@的(目标程序接受标准输入作为输入参数)
$AFLGO/afl-fuzz -m none -z exp -c 45m -i in -o out binutils/cxxfilt
AFL会创建cur_input
文件,然后把out_fd
作为.cur_input
的文件描述符
具体细节参照函数setup_stdio_file
- 紧接着会运行
perform_dry_run(..)
执行 input 文件夹下的预先准备的所有测试用例
perform_dry_run(..)
的循环里面会调用calibrate_case(...)
calibrate_case(...)
在没有启动fork server的时候,会调用init_forkserver(argv)
init_forkserver(argv)
中的子进程会进行重定向
// 如果指定了out_file,则标准输入重定向到dev_null_fd,否则重定向到out_fd
if (out_file) {
dup2(dev_null_fd, 0);
} else {
dup2(out_fd, 0);
close(out_fd);
}
到此,也就是接受文件名作为参数的,会把标准输入重定向为NULL。接受标准输入作为参数的,回把out_fd指向的文件内容以标准输入的形式输入到程序中。
特别说明,在每一次fuzz的过程中。AFL都会调用类似于write_to_testcase
的函数,将新的变异过的文件内容,写入out_file
中,并清楚原来的内容。
在fuzz的过程中,用到哪个种子文件就打开哪个,然后把种子文件的内容复制到.cur_input
文件里面, 再对 .cur_input
文件中内容进行 位翻转等一系列变异操作,同时观察是否可以保留下来。如果能保留下来,就保留。不能保留就进行下面的变异步骤。之后循环往复。
为什么二进制文件使用xxd查看的内容 和 重定向到标准输入得到的内容不一致
xxd
看到的是ASCII码,ASCII码一共就只有128个,也就是从0x 00 - 0x 7F
。超过这个范围的编码,在xxd命令里面一律显示为.
。 除此之外,还有一些控制码,比如退格(Backspace)、回车(Enter)等等,同样也会被显示为.
。
所以你使用xxd看到的内容和重定向到标准输入得到的内容肯定是不一致的。 那你把看到的内容复制出来,然后再送给程序后,显示的结果 肯定 和重定向送入程序显示的结果 不一致。
那重定向是输入的什么呢?以什么方式输入的呢?
一般来说接受标准输入的程序,会使用getchar()来获取标准输入的内容。
我就用做了一个测试, 发现显示不了的就是按二进制输入的估计。反正到程序里面之后都是以二进制的方式在判断。他只是没有对应的字符显示罢了。
#include <stdio.h>
#include <string.h>
int main(int argc, char** argv) {
static char mbuffer[32767];
unsigned i=0,j = 0;
char c;
memset(mbuffer,-1,32767);
c = getchar ();
while (c != EOF){
mbuffer[i++] = c;
c = getchar ();
}
while(mbuffer[j]!=-1){
printf("%c",mbuffer[j++]);
}
printf("\n");
}