毕设-Fuzz-AFLGo源码阅读-6


AFL种子文件是如何送入目标程序的?

在做实验的过程中,因为要复现漏洞嘛,要把种子文件送入目标程序。这里产生了一个疑问

如果我用重定向的方式把种子文件(二进制文件)送入目标程序中,那么目标程序会显示相应的报错。但是如果我将二进制文件的内容(使用xxd)复制下来,然后在送入程序中,目标程序就不会报错。

在小刘的启发下,我开始对照源码,观察AFL是如何把种子文件送入目标程序。

得到的结论就是,AFL是采用重定向的方式将种子文件送入目标程序的。


  1. 首先是启动参数中含有@@的(目标程序接受文件名,作为输入参数)

@@本身代表的就是运行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

  1. 然后是启动参数中不包含@@的(目标程序接受标准输入作为输入参数)

$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

  1. 紧接着会运行perform_dry_run(..)执行 input 文件夹下的预先准备的所有测试用例
  1. perform_dry_run(..)的循环里面会调用calibrate_case(...)
  1. calibrate_case(...)在没有启动fork server的时候,会调用 init_forkserver(argv)
  1. 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看到的内容和重定向到标准输入得到的内容肯定是不一致的。 那你把看到的内容复制出来,然后再送给程序后,显示的结果 肯定 和重定向送入程序显示的结果 不一致。

xxd

ASCII

那重定向是输入的什么呢?以什么方式输入的呢?

一般来说接受标准输入的程序,会使用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");
}

文章作者: 美食家李老叭
版权声明: 本博客所有文章除特別声明外,均采用 CC BY 4.0 许可协议。转载请注明来源 美食家李老叭 !
评论
  目录