diff --git a/2019/07/09/afl-first-try/index.html b/2019/07/09/afl-first-try/index.html index 1d797ad9..1c3eb451 100644 --- a/2019/07/09/afl-first-try/index.html +++ b/2019/07/09/afl-first-try/index.html @@ -88,7 +88,7 @@ - + @@ -454,7 +454,7 @@ 
1
2
3
4
5
6
7
8
> $ CPU_TARGET=x86_64 ./build_qemu_support.sh
> [+] Build process successful!
> [*] Copying binary...
> -rwxr-xr-x 1 han han 10972920 7月   9 10:43 ../afl-qemu-trace
> [+] Successfully created '../afl-qemu-trace'.
> [!] Note: can't test instrumentation when CPU_TARGET set.
> [+] All set, you can now (hopefully) use the -Q mode in afl-fuzz!
>
-

0x01白盒测试

目标程序编译

    +

    0x01 白盒测试

    目标程序编译

    1. 源代码

      1
      2
      3
      4
      5
      6
      7
      8
      9
      10
      11
      12
      13
      14
      #undef _FORTIFY_SOURCE
      #include <stdio.h>
      #include <stdlib.h>
      #include <unistd.h>

      void vulnerable_function() {
      	char buf[128];
      	read(STDIN_FILENO, buf, 256);
      }

      int main(int argc, char** argv) {
      	vulnerable_function();
      	write(STDOUT_FILENO, "Hello, World\n", 13);
      }
      2. @@ -524,7 +524,7 @@
    -

    0x02代码覆盖率及其相关概念

    +

    0x02 代码覆盖率及其相关概念

    代码覆盖率是模糊测试中一个极其重要的概念，使用代码覆盖率可以评估和改进测试过程，执行到的代码越多，找到bug的可能性就越大，毕竟，在覆盖的代码中并不能100%发现bug，在未覆盖的代码中却是100%找不到任何bug的。
    代码覆盖率是一种度量代码的覆盖程度的方式，也就是指源代码中的某行代码是否已执行；对二进制程序，还可将此概念理解为汇编代码中的某条指令是否已执行。其计量方式很多，但无论是GCC的GCOV还是LLVM的SanitizerCoverage，都提供函数（function）、基本块（basic-block）、边界（edge）三种级别的覆盖率检测。

    计算代码覆盖率

    GCOV：插桩生成覆盖率 LCOV：图形展示覆盖率 afl-cov：调用前两个工具计算afl测试用例的覆盖率

    @@ -540,7 +540,7 @@

-

0x03黑盒测试（使用qemu

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
$ ./afl-fuzz -i ../vuln/testcase/ -o ../vuln/outQemu -Q ../vuln/v1
american fuzzy lop 2.52b (v1)

┌─ process timing ─────────────────────────────────────┬─ overall results ─────┐
│        run time : 0 days, 0 hrs, 0 min, 41 sec       │  cycles done : 232    │
│   last new path : none yet (odd, check syntax!)      │  total paths : 2      │
│ last uniq crash : 0 days, 0 hrs, 0 min, 41 sec       │ uniq crashes : 1      │
│  last uniq hang : none seen yet                      │   uniq hangs : 0      │
├─ cycle progress ────────────────────┬─ map coverage ─┴───────────────────────┤
│  now processing : 0* (0.00%)        │    map density : 0.04% / 0.04%         │
│ paths timed out : 0 (0.00%)         │ count coverage : 1.00 bits/tuple       │
├─ stage progress ────────────────────┼─ findings in depth ────────────────────┤
│  now trying : havoc                 │ favored paths : 1 (50.00%)             │
│ stage execs : 255/256 (99.61%)      │  new edges on : 1 (50.00%)             │
│ total execs : 121k                  │ total crashes : 33 (1 unique)          │
│  exec speed : 2860/sec              │  total tmouts : 0 (0 unique)           │
├─ fuzzing strategy yields ───────────┴───────────────┬─ path geometry ────────┤
│   bit flips : 0/56, 0/54, 0/50                      │    levels : 1          │
│  byte flips : 0/7, 0/5, 0/1                         │   pending : 0          │
│ arithmetics : 0/392, 0/25, 0/0                      │  pend fav : 0          │
│  known ints : 0/36, 0/138, 0/44                     │ own finds : 0          │
│  dictionary : 0/0, 0/0, 0/0                         │  imported : n/a        │
│       havoc : 1/120k, 0/0                           │ stability : 100.00%    │
│        trim : 82.61%/5, 0.00%                       ├────────────────────────┘
^C────────────────────────────────────────────────────┘          [cpu000:102%]
+

0x03 黑盒测试（使用qemu

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
$ ./afl-fuzz -i ../vuln/testcase/ -o ../vuln/outQemu -Q ../vuln/v1
american fuzzy lop 2.52b (v1)

┌─ process timing ─────────────────────────────────────┬─ overall results ─────┐
│        run time : 0 days, 0 hrs, 0 min, 41 sec       │  cycles done : 232    │
│   last new path : none yet (odd, check syntax!)      │  total paths : 2      │
│ last uniq crash : 0 days, 0 hrs, 0 min, 41 sec       │ uniq crashes : 1      │
│  last uniq hang : none seen yet                      │   uniq hangs : 0      │
├─ cycle progress ────────────────────┬─ map coverage ─┴───────────────────────┤
│  now processing : 0* (0.00%)        │    map density : 0.04% / 0.04%         │
│ paths timed out : 0 (0.00%)         │ count coverage : 1.00 bits/tuple       │
├─ stage progress ────────────────────┼─ findings in depth ────────────────────┤
│  now trying : havoc                 │ favored paths : 1 (50.00%)             │
│ stage execs : 255/256 (99.61%)      │  new edges on : 1 (50.00%)             │
│ total execs : 121k                  │ total crashes : 33 (1 unique)          │
│  exec speed : 2860/sec              │  total tmouts : 0 (0 unique)           │
├─ fuzzing strategy yields ───────────┴───────────────┬─ path geometry ────────┤
│   bit flips : 0/56, 0/54, 0/50                      │    levels : 1          │
│  byte flips : 0/7, 0/5, 0/1                         │   pending : 0          │
│ arithmetics : 0/392, 0/25, 0/0                      │  pend fav : 0          │
│  known ints : 0/36, 0/138, 0/44                     │ own finds : 0          │
│  dictionary : 0/0, 0/0, 0/0                         │  imported : n/a        │
│       havoc : 1/120k, 0/0                           │ stability : 100.00%    │
│        trim : 82.61%/5, 0.00%                       ├────────────────────────┘
^C────────────────────────────────────────────────────┘          [cpu000:102%]
@@ -776,7 +776,7 @@ -
  1. 0x01白盒测试
    1. 目标程序编译
    2. 测试插桩程序
    3. 执行FUZZER
    4. afl何时结束
    5. 处理输出结果
    6. 崩溃类型和可利用性
  2. 0x02代码覆盖率及其相关概念
    1. 计算代码覆盖率
  3. 0x03黑盒测试（使用qemu
+
  1. 0x01 白盒测试
    1. 目标程序编译
    2. 测试插桩程序
    3. 执行FUZZER
    4. afl何时结束
    5. 处理输出结果
    6. 崩溃类型和可利用性
  2. 0x02 代码覆盖率及其相关概念
    1. 计算代码覆盖率
  3. 0x03 黑盒测试（使用qemu
diff --git a/search.xml b/search.xml index 0d8c8579..6c92cdb7 100644 --- a/search.xml +++ b/search.xml @@ -3,7 +3,7 @@ <![CDATA[AFL-爱之初体验]]> %2F2019%2F07%2F09%2Fafl-first-try%2F - + 二进制 diff --git a/sitemap.xml b/sitemap.xml index 84ec15a7..fb81826e 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -4,7 +4,7 @@ https://cool-y.github.io/2019/07/09/afl-first-try/ - 2019-07-09T08:57:59.215Z + 2019-07-09T09:03:52.647Z