模糊测试工具AFL源码浅析

立聪堂德州十三局店  金牌会员 | 2022-10-25 23:22:07 | 显示全部楼层 | 阅读模式
打印 上一主题 下一主题
楼主

主题 801|帖子 801|积分 2403

前言

AFL是一款著名的模糊测试的工具，最近在阅读AFL源码，记录一下，方便以后查阅。
环境


  • 项目：AFL
  • 编译项目：将编译的优化选项关闭，即改写成-O0
[img=720,514.601226993865]https://m-1254331109.cos.ap-guangzhou.myqcloud.com/202210251527686.png[/img]
afl-gcc.c

使用gdb加载afl-gcc，并使用set arg -o test test.c设置参数
[img=720,392.3562753036437]https://m-1254331109.cos.ap-guangzhou.myqcloud.com/202210251527688.png[/img]
find_as函数


  • find_as函数首先会通过AFL_PATH环境变量的值从而获得AFL对应的路径
  • 若上述环境变量不存在则获取当前afl-gcc所在的文件路径
  • 判断该路径下的as文件是否具有可执行权限
  1. u8 *afl_path = getenv("AFL_PATH");
  2. ...
  3. if (afl_path) {
  4. ​
  5.     tmp = alloc_printf("%s/as", afl_path); //将AFL所在路径与字符as进行拼接
  6. ​
  7.     if (!access(tmp, X_OK)) { //函数用来判断指定的文件或目录是否有可执行权限，若指定方式有效则返回0，否则返回-1
  8.       as_path = afl_path;
  9.       ck_free(tmp);
  10.       return;
  11.     }
  12. ​
  13.     ck_free(tmp);
  14. ​
  15.   }
  16. ​
  17.   slash = strrchr(argv0, '/'); //在参数argv0所指向的字符串中搜索最后一次出现字符'/'
  18. ​
  19.   if (slash) {
  20. ​
  21.     u8 *dir;
  22. ​
  23.     *slash = 0;
  24.     dir = ck_strdup(argv0);
  25.     *slash = '/';
  26. ​
  27.     tmp = alloc_printf("%s/afl-as", dir); //将当前AFL所在的路径跟afl-as进行拼接
  28. ​
  29.     if (!access(tmp, X_OK)) {
  30.       as_path = dir;
  31.       ck_free(tmp);
  32.       return;
  33.     }
  34. ...
复制代码
 
【----帮助网安学习，以下所有学习资料免费领！加vx：yj009991，备注 “博客园” 获取！】
　① 网安学习成长路径思维导图
　② 60+网安经典常用工具包
　③ 100+SRC漏洞分析报告
　④ 150+网安攻防实战技术电子书
　⑤ 最权威CISSP 认证考试指南+题库
　⑥ 超1800页CTF实战技巧手册
　⑦ 最新网安大厂面试题合集（含答案）
　⑧ APP客户端安全检测指南（安卓+IOS）
edit_params函数


  • edit_params函数实际就是准备需要传入编译器的参数，如编译器的类型gcc或clang
  • 其次就是是否需要开启保护如canary等
  • 最后就是判断是否开启内存泄漏探测的工具，如ASAN，该工具是针对C/C++ 的快速内存错误检测工具
  1.   ...
  2.   cc_params = ck_alloc((argc + 128) * sizeof(u8*));
  3. ​
  4.   name = strrchr(argv[0], '/'); //获取可执行文件名称
  5.   if (!name) name = argv[0]; else name++; /*跳过路径符'/' */
  6. ​
  7.   if (!strncmp(name, "afl-clang", 9)) { //判断编译器是否为clang
  8.       ...
  9.   }
  10.   else {
  11.     if (!strcmp(name, "afl-g++")) {
  12.       u8* alt_cxx = getenv("AFL_CXX");
  13.       cc_params[0] = alt_cxx ? alt_cxx : (u8*)"g++";
  14.     } else if (!strcmp(name, "afl-gcj")) {
  15.       u8* alt_cc = getenv("AFL_GCJ");
  16.       cc_params[0] = alt_cc ? alt_cc : (u8*)"gcj";
  17.     } else {
  18.       u8* alt_cc = getenv("AFL_CC");
  19.       cc_params[0] = alt_cc ? alt_cc : (u8*)"gcc"; //如环境变量没写入AFL_CC则默认使用gcc
  20.     }
  21.   }
  22.   while (--argc) {
  23.     u8* cur = *(++argv); //读取下一个参数
  24. ​
  25.     if (!strncmp(cur, "-B", 2)) { //若参数是-B
  26. ​
  27.       if (!be_quiet) WARNF("-B is already set, overriding"); //用于设置编译器的搜索路径
  28. ​
  29.       if (!cur[2] && argc > 1) { argc--; argv++; }//继续读取下一个参数
  30.       continue;
  31. ​
  32.     }
  33. ​
  34.     if (!strcmp(cur, "-integrated-as")) continue;
  35. ​
  36.     if (!strcmp(cur, "-pipe")) continue;
  37. ​
  38. #if defined(__FreeBSD__) && defined(__x86_64__)
  39.     if (!strcmp(cur, "-m32")) m32_set = 1;
  40. #endif
  41. ​
  42.     if (!strcmp(cur, "-fsanitize=address") ||
  43.         !strcmp(cur, "-fsanitize=memory")) asan_set = 1; //内存访问的错误
  44. ​
  45.     if (strstr(cur, "FORTIFY_SOURCE")) fortify_set = 1;//缓冲区溢出问题的检查
  46. ​
  47.     cc_params[cc_par_cnt++] = cur; //cc_params用于存放的参数
  48. ​
  49.   }
  50. ​
  51.   cc_params[cc_par_cnt++] = "-B"; //参数-B
  52.   cc_params[cc_par_cnt++] = as_path; //afl-as的路径
  53. ​
  54.   if (clang_mode)
  55.     cc_params[cc_par_cnt++] = "-no-integrated-as";
  56. ​
  57.   if (getenv("AFL_HARDEN")) {
  58. ​
  59.     cc_params[cc_par_cnt++] = "-fstack-protector-all"; //canary保护
  60. ​
  61.     if (!fortify_set)
  62.       cc_params[cc_par_cnt++] = "-D_FORTIFY_SOURCE=2";
  63. ​
  64.   }
  65. ​
  66.   if (asan_set) {
  67. ​
  68.     /* Pass this on to afl-as to adjust map density. */
  69. ​
  70.     setenv("AFL_USE_ASAN", "1", 1);
  71. ​
  72.   } else if (getenv("AFL_USE_ASAN")) {
  73. ​
  74.     if (getenv("AFL_USE_MSAN"))
  75.       FATAL("ASAN and MSAN are mutually exclusive");
  76. ​
  77.     if (getenv("AFL_HARDEN"))
  78.       FATAL("ASAN and AFL_HARDEN are mutually exclusive");
  79. ​
  80.     cc_params[cc_par_cnt++] = "-U_FORTIFY_SOURCE";
  81.     cc_params[cc_par_cnt++] = "-fsanitize=address";
  82. ​
  83.   } else if (getenv("AFL_USE_MSAN")) {
  84. ​
  85.     if (getenv("AFL_USE_ASAN"))
  86.       FATAL("ASAN and MSAN are mutually exclusive");
  87. ​
  88.     if (getenv("AFL_HARDEN"))
  89.       FATAL("MSAN and AFL_HARDEN are mutually exclusive");
  90. ​
  91.     cc_params[cc_par_cnt++] = "-U_FORTIFY_SOURCE";
  92.     cc_params[cc_par_cnt++] = "-fsanitize=memory";
  93.   }
  94.   ...
  95.       cc_params[cc_par_cnt++] = "-g";
  96.   ...
  97.     cc_params[cc_par_cnt++] = "-O3";
  98.     cc_params[cc_par_cnt++] = "-funroll-loops";
  99.     /* Two indicators that you're building for fuzzing; one of them is
  100.        AFL-specific, the other is shared with libfuzzer. */
  101.     cc_params[cc_par_cnt++] = "-D__AFL_COMPILER=1";
  102.     cc_params[cc_par_cnt++] = "-DFUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION=1";
  103.   }
  104.   if (getenv("AFL_NO_BUILTIN")) {
  105.     cc_params[cc_par_cnt++] = "-fno-builtin-strcmp";
  106.     cc_params[cc_par_cnt++] = "-fno-builtin-strncmp";
  107.     cc_params[cc_par_cnt++] = "-fno-builtin-strcasecmp";
  108.     cc_params[cc_par_cnt++] = "-fno-builtin-strncasecmp";
  109.     cc_params[cc_par_cnt++] = "-fno-builtin-memcmp";
  110.     cc_params[cc_par_cnt++] = "-fno-builtin-strstr";
  111.     cc_params[cc_par_cnt++] = "-fno-builtin-strcasestr";
  112.   }
  113.   cc_params[cc_par_cnt] = NULL;
  114. }
复制代码
通过edit_params函数后
[img=720,301.72062904717853]https://m-1254331109.cos.ap-guangzhou.myqcloud.com/202210251527689.png[/img]
可以传递给编译器的参数增加了-B . -g -O3 -funroll-loops -D__AFL_COMPILER=1 -DFUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION=1这几项
main函数


  • 首先调用isatty函数判断描述符是否为终端机以及是否为静默模式，即不打印任何信息，SAYF即输出函数用于输出提示字符
  • 接着通过find_as函数搜索as文件所在的路径
  • 接着通过edit_params函数编辑获取需要传入编译器的参数
  • 最后通过execvp函数启动gcc或其他编译器
  1.   /*
  2.     isatty函数用于判断文件描述词是否是为终端机
  3.     获取AFL_QUIET的环境变量
  4.   */
  5.   if (isatty(2) && !getenv("AFL_QUIET")) { //判断是否静默模式
  6.     /*
  7.       #ifdef MESSAGES_TO_STDOUT
  8.       #  define SAYF(x...)    printf(x)
  9.       #else
  10.       #  define SAYF(x...)    fprintf(stderr, x)
  11.       #endif
  12.     */
  13.     SAYF(cCYA "afl-cc " cBRI VERSION cRST " by <lcamtuf@google.com>\n");
  14. ​
  15.   } else be_quiet = 1;
  16. ​
  17.   if (argc < 2) { //参数个数小于两个
  18. ​
  19.     SAYF("\n"
  20.          "This is a helper application for afl-fuzz. It serves as a drop-in replacement\n"
  21.          "for gcc or clang, letting you recompile third-party code with the required\n"
  22.          "runtime instrumentation. A common use pattern would be one of the following:\n\n"
  23. ​
  24.          "  CC=%s/afl-gcc ./configure\n"
  25.          "  CXX=%s/afl-g++ ./configure\n\n"
  26. ​
  27.          "You can specify custom next-stage toolchain via AFL_CC, AFL_CXX, and AFL_AS.\n"
  28.          "Setting AFL_HARDEN enables hardening optimizations in the compiled code.\n\n",
  29.          BIN_PATH, BIN_PATH);
  30. ​
  31.     exit(1);
  32. ​
  33.   }
  34. ​
  35.   find_as(argv[0]); //用于寻找as所在路径
  36. ​
  37.   edit_params(argc, argv);//用于获取编译参数
  38. ​
  39.   execvp(cc_params[0], (char**)cc_params);//启动gcc或其他编译器
复制代码
 
大致流程图
[img=720,237.33333333333334]https://m-1254331109.cos.ap-guangzhou.myqcloud.com/202210251527690.png[/img]
afl-gcc可以看作是劫持了gcc的一个程序，从而修改as的路径(为了后续的插桩做准备)，并且添加所有fuzzing所需要的参数再传入实际的编译器中去(这里以gcc作为例子)
afl-as.c

edit_params函数

afl-as.c的edit_params函数比较简单

  • 首先是确定as文件所在的路径，若没有设置环境变量则直接使用as作为汇编器所在路径的参数
  • 其次是检测.s文件是否在临时目录下，这里我做了测试如果.s不在临时目录则无法插桩成功
  • 最后随机生成文件名，将该文件作为插桩后的文件并作为传输传入汇编器
  1.   u8 *tmp_dir = getenv("TMPDIR"), *afl_as = getenv("AFL_AS"); //afl-as的地址
  2.   ...
  3.   as_params = ck_alloc((argc + 32) * sizeof(u8*)); //给参数分配空间
  4. ​
  5.   as_params[0] = afl_as ? afl_as : (u8*)"as";
  6. ​
  7.   as_params[argc] = 0; //截断符
  8.   ...
  9.   //用于记录文件是64位还是32位
  10.   for (i = 1; i < argc - 1; i++) {
  11.     if (!strcmp(argv[i], "--64")) use_64bit = 1;
  12.     else if (!strcmp(argv[i], "--32")) use_64bit = 0;  
  13.   ...
  14.     if (strncmp(input_file, tmp_dir, strlen(tmp_dir)) &&
  15.         strncmp(input_file, "/var/tmp/", 9) &&
  16.         strncmp(input_file, "/tmp/", 5)) pass_thru = 1; //汇编文件需要放在临时目录下，否则后续无法对文件进行插桩
  17. ​
  18.   }
  19.   modified_file = alloc_printf("%s/.afl-%u-%u.s", tmp_dir, getpid(),
  20.                                (u32)time(NULL)); //随机生成文件名，作为插桩的目标文件
  21.   ...
  22.   as_params[as_par_cnt++] = modified_file; //将待修改的文件名作为汇编器的参数
  23.   as_params[as_par_cnt]   = NULL;
复制代码
add_instrumentation函数

add_instrumentation函数是插桩的关键函数

  • 首先是分别打开需要编译的文件以及存放插桩后的文件，并且对需要编译的文件逐行逐行进行扫描
  • 其次对于以下情况的代码块不进行插桩处理

    • pass_thru = 1，这里经调试发现只要.s文件存在于临时目录下pass_thru的值就会为0，pass_thru = 1的意思是只传递数据不进行插桩
    • skip_intel = 1即为跳过intel的汇编语法的代码
    • 不在.text段内
    • 在.text段但是不处于函数标签或者分支标签

  • trampoline_fmt_64与trampoline_fmt_32即为需要插桩的代码，并会记录总共插桩了几处
  • 若进行了插桩处理，那么则需要在文件末尾插入main_payload_64，是与afl进行fuzzing相关的函数
  1.    ...
  2.    if (input_file) { //需要编译的文件
  3. ​
  4.     inf = fopen(input_file, "r");
  5.     if (!inf) PFATAL("Unable to read '%s'", input_file);
  6. ​
  7.   } else inf = stdin;
  8. ​
  9.   outfd = open(modified_file, O_WRONLY | O_EXCL | O_CREAT, 0600); //打开存放插桩后的文件
  10. ​
  11.   if (outfd < 0) PFATAL("Unable to write to '%s'", modified_file);
  12. ​
  13.   outf = fdopen(outfd, "w");
  14. ​
  15.   if (!outf) PFATAL("fdopen() failed");  
  16.   while (fgets(line, MAX_LINE, inf)) { //对需要汇编的文件进行一行一行的扫描
  17. ​
  18.     /* In some cases, we want to defer writing the instrumentation trampoline
  19.        until after all the labels, macros, comments, etc. If we're in this
  20.        mode, and if the line starts with a tab followed by a character, dump
  21.        the trampoline now. */
  22. ​
  23.     //isalpha是一种函数：判断字符ch是否为英文字母
  24.     //#  define R(x) (random() % (x))
  25.     if (!pass_thru && !skip_intel && !skip_app && !skip_csect && instr_ok &&
  26.         instrument_next && line[0] == '\t' && isalpha(line[1])) {
  27. ​
  28.       fprintf(outf, use_64bit ? trampoline_fmt_64 : trampoline_fmt_32,
  29.               R(MAP_SIZE)); //将插桩代码写入改写文件中,trampoline_fmt_64为64位程序的插桩代码，trampoline_fmt_32为32位程序的插桩代码
  30. ​
  31.       instrument_next = 0;
  32.       ins_lines++; //总共插桩了多少处地方
  33.     }
  34.     ...
  35.     if (line[0] == '\t' && line[1] == '.') {
  36. ​
  37.       /* OpenBSD puts jump tables directly inline with the code, which is
  38.          a bit annoying. They use a specific format of p2align directives
  39.          around them, so we use that as a signal.
  40.         OpenBSD为一个类unix的操作系统
  41.        */
  42. ​
  43.       if (!clang_mode && instr_ok && !strncmp(line + 2, "p2align ", 8) &&
  44.           isdigit(line[10]) && line[11] == '\n') skip_next_label = 1; //跳转到下一个标签
  45.    
  46.       if (!strncmp(line + 2, "text\n", 5) ||
  47.           !strncmp(line + 2, "section\t.text", 13) ||
  48.           !strncmp(line + 2, "section\t__TEXT,__text", 21) ||
  49.           !strncmp(line + 2, "section __TEXT,__text", 21)) {
  50.         instr_ok = 1; //只要是text段就是我们应该插桩的段
  51.         continue;
  52.       }
  53. ​
  54.       if (!strncmp(line + 2, "section\t", 8) ||
  55.           !strncmp(line + 2, "section ", 8) ||
  56.           !strncmp(line + 2, "bss\n", 4) ||
  57.           !strncmp(line + 2, "data\n", 5)) {
  58.         instr_ok = 0; //不需要插桩的段
  59.         continue;
  60.       }
  61. ​
  62.     }   
  63.     ...
  64.     if (line[0] == '\t') {//检测jnz等分支指令
  65. ​
  66.       if (line[1] == 'j' && line[2] != 'm' && R(100) < inst_ratio) { //绝对跳转jmp不进行插桩处理
  67. ​
  68.         fprintf(outf, use_64bit ? trampoline_fmt_64 : trampoline_fmt_32,
  69.                 R(MAP_SIZE)); //给分支跳转指令进行插桩
  70. ​
  71.         ins_lines++; //插桩的指令数
  72. ​
  73.       }
  74.       continue; //插桩完直接跳过
  75.     }
  76.     ...
  77.     if (strstr(line, ":")) { //检测标签
  78. ​
  79.       if (line[0] == '.') {
  80. ​
  81.         /* Apple: .L<num> / .LBB<num> */
  82.   
  83.         if ((isdigit(line[2]) || (clang_mode && !strncmp(line + 1, "LBB", 3))) //分支标签
  84.             && R(100) < inst_ratio) {
  85.             
  86.           ...
  87.           if (!skip_next_label) instrument_next = 1; else skip_next_label = 0;//若该标签不需要跳转则记录下来，该标签需要插桩
  88. ​
  89.         }
  90. ​
  91.       } else { //函数标签
  92. ​
  93.         /* Function label (always instrumented, deferred mode). */
  94. ​
  95.         instrument_next = 1;//函数标签都需要进行插桩
  96.    
  97.       }
  98. ​
  99.     }
  100. ​
  101.   }
  102.     if (ins_lines)
  103.     fputs(use_64bit ? main_payload_64 : main_payload_32, outf); //若进行插桩处理则需要插入main_payload_64
复制代码
这里重点关注一下插桩的位置

  • 情况一：函数入口，例如main函数
函数标签处的插桩如下图所示，插桩的位置是函数第一条指令的上方进行插桩
[img=720,345.69948186528495]https://m-1254331109.cos.ap-guangzhou.myqcloud.com/202210251527691.png[/img]

  • 情况二：分支跳转，例如jle指令
扫描到分支跳转指令，则直接在跳转指令下方进行插桩处理，如下图所示
[img=720,341.59678345778286]https://m-1254331109.cos.ap-guangzhou.myqcloud.com/202210251527692.png[/img]

  • 情况三：.L标签
.L为本地标签，afl-as.c也会扫描该标签并进行插桩处理，可以看到跳转指令的目的地地址就是以.L，因此.L可以认为分支的起始位置，与函数标签一样，会在第一条指令上方进行插桩处理
[img=720,417.4755043227666]https://m-1254331109.cos.ap-guangzhou.myqcloud.com/202210251527693.png[/img]
main函数

main函数主要经过edit_params函数修改了传入汇编器的参数，并且对汇编文件进行插桩处理，最后使用execvp函数启动汇编器进行汇编处理
  1.   ...
  2.   gettimeofday(&tv, &tz);
  3. ​
  4.   rand_seed = tv.tv_sec ^ tv.tv_usec ^ getpid();//随机种子
  5. ​
  6.   srandom(rand_seed);//通过种子生成随机数
  7. ​
  8.   edit_params(argc, argv); //加载参数，并在/tmp/目录下生成临时的汇编文件
  9. ​
  10.   if (inst_ratio_str) {
  11. ​
  12.     if (sscanf(inst_ratio_str, "%u", &inst_ratio) != 1 || inst_ratio > 100)
  13.       FATAL("Bad value of AFL_INST_RATIO (must be between 0 and 100)");
  14. ​
  15.   }
  16. ​
  17.   if (getenv(AS_LOOP_ENV_VAR))
  18.     FATAL("Endless loop when calling 'as' (remove '.' from your PATH)");
  19. ​
  20.   setenv(AS_LOOP_ENV_VAR, "1", 1);
  21. ​
  22.   /* When compiling with ASAN, we don't have a particularly elegant way to skip
  23.      ASAN-specific branches. But we can probabilistically compensate for
  24.      that... */
  25. ​
  26.   if (getenv("AFL_USE_ASAN") || getenv("AFL_USE_MSAN")) {
  27.     sanitizer = 1;
  28.     inst_ratio /= 3;
  29.   }
  30. ​
  31.   if (!just_version) add_instrumentation();//对文件进行插桩处理
  32. ​
  33.   if (!(pid = fork())) {
  34. ​
  35.     execvp(as_params[0], (char**)as_params);//将插桩后的文件传入汇编器中
  36.     FATAL("Oops, failed to execute '%s' - check your PATH", as_params[0]);
  37. ​
  38. ...
复制代码
传入汇编器的参数情况
[img=720,150.69767441860466]https://m-1254331109.cos.ap-guangzhou.myqcloud.com/202210251529661.png[/img]
大致流程图
[img=720,382.22222222222223]https://m-1254331109.cos.ap-guangzhou.myqcloud.com/202210251527694.png[/img]
afl-as相当于劫持了as从而修改汇编的文件名以及对相应的汇编文件进行插桩处理
afl-as.h

该文件放置了插桩需要的代码如trampoline_fmt_64、trampoline_fmt_32、main_payload_64以及main_payload_32，这些代码结合fuzzing过程有关。
总结

afl-gcc与afl-as可以看作是劫持了编译器，将fuzzing相关的参数设置好并对编译文件进行相应的插桩后再调用实际的编译器。
更多靶场实验练习、网安学习资料，请点击这里>>
 

免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！
回复

使用道具 举报

0 个回复

正序浏览
返回列表

快速回复

高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 or 立即注册

本版积分规则

立聪堂德州十三局店

金牌会员
这个人很懒什么都没写!

楼主热帖

标签云

挺好的 服务器
微信订阅号
微信服务号
微信客服
小程序
H5
关于我们 商务合作 网站地图
©Copyright 2022-2024 杭州祥升科技有限公司 版权所有 浙ICP备20004199号
快速回复 返回顶部 返回列表