54 lines
4.2 KiB
Markdown
54 lines
4.2 KiB
Markdown
### 介绍一下 fuzz 的流程，从选取目标开始
|
||
|
||
**1. 选取目标**
|
||
|
||
Fuzzing 不是盲目的，你需要选择一个合适的、有价值的目标。好的目标通常具有以下特点：
|
||
|
||
- **处理复杂或不受信任的输入**：比如文件解析器、网络协议栈、命令行参数处理程序。这些程序是攻击者的首要目标，因为它们直接暴露在外部输入之下
|
||
- **高权限运行**：如果一个程序以 `root` 或 `SYSTEM` 权限运行，它将是更具吸引力的攻击目标
|
||
- **处理多种数据格式**：例如，一个视频解码器需要处理各种容器格式（MP4, AVI）、编码格式（H.264, VP9）等
|
||
- **有公开源码或已知的开源版本**：如果你有源码，可以使用更高效的**源码插桩**（Source-based Instrumentation）模式，如 AFL++ 或 LibFuzzer。如果没有，则需要使用**二进制插桩**（Binary Instrumentation）模式，如 QEMU
|
||
|
||
**2. 准备工作**
|
||
|
||
在开始模糊测试之前，需要做好充分的准备，这直接影响到 Fuzzing 的效率和成功率
|
||
|
||
- **获取种子文件（Seed Corpus）**：种子文件是模糊测试的起点。你需要收集一批高质量的、能代表正常输入的样本文件。这些样本应该尽可能地覆盖程序的不同功能。高质量的种子文件能显著提高 Fuzzing 效率
|
||
- **编译目标程序**：如果是源码模式，你需要使用 Fuzzer 专用的编译器（例如 `afl-clang-fast`）来编译目标程序。这会在程序中植入探针，用于收集代码覆盖率信息
|
||
- **创建 Fuzzing 脚本**：你需要编写一个脚本，作为 Fuzzer 和目标程序之间的**适配器（Harness）**。这个脚本负责将 Fuzzer 生成的输入数据传递给目标程序。对于文件输入，适配器通常很简单，可能就是 `read()` 或 `fopen()` 函数。对于更复杂的网络协议，适配器需要解析并发送数据包
|
||
- **配置 Fuzzer**：根据你的目标和环境，你需要选择并配置一个合适的 Fuzzer（例如 AFL++）。配置参数包括：
|
||
- Fuzzing 模式（源码、QEMU、网络等）
|
||
- Fuzzing 进程数量
|
||
- 字典文件（如果目标程序有特定的关键字）
|
||
|
||
**3. Fuzzing 运行**
|
||
|
||
这个阶段是 Fuzzing 的核心，Fuzzer 将持续不断地生成、变异和测试输入
|
||
|
||
- **启动 Fuzzer**：运行 Fuzzer 进程，将种子文件作为输入，并指定输出目录
|
||
- **监控 Fuzzing 状态**：在 Fuzzing 过程中，需要持续监控其状态。好的 Fuzzer 都会提供一个状态界面，显示：
|
||
- 测试速度（每秒执行次数）
|
||
- 代码覆盖率
|
||
- 发现的崩溃数量和异常（`timeout`）数量
|
||
- 队列中已有的有价值的输入数量
|
||
- **分析结果**：当 Fuzzer 发现一个崩溃或异常时，它会将导致该问题的输入文件保存在一个特定的目录中。你需要定期检查这个目录，并对新发现的崩溃进行分类和分析
|
||
|
||
**4. 漏洞分析与验证**
|
||
|
||
这个阶段是**人工分析**的过程，目的是将 Fuzzer 发现的“崩溃”转化为可利用的“漏洞”
|
||
|
||
- **漏洞重现**：首先，你需要用调试器（如 GDB, WinDbg）或逆向工具（如 IDA Pro）来加载导致崩溃的输入文件，并**重现崩溃**。这能帮助你确定崩溃的类型和位置
|
||
- **漏洞分类**：将崩溃分为不同的类型，例如**栈溢出、堆溢出、空指针解引用**等。这有助于你理解漏洞的性质
|
||
- **可利用性分析**：并非所有的崩溃都是可利用的漏洞。你需要分析崩溃的原因和上下文，判断攻击者是否能通过它来劫持程序流或执行任意代码
|
||
- **漏洞报告**：一旦确认漏洞是可利用的，你需要编写一份详细的漏洞报告，包括：
|
||
- 漏洞的描述和类型
|
||
- 导致漏洞的输入文件
|
||
- 崩溃发生时的堆栈信息
|
||
- 漏洞的严重性评估
|
||
|
||
**5. 修复与回归测试**
|
||
|
||
这是整个流程的最后一步，也是最重要的
|
||
|
||
- **漏洞修复**：将漏洞报告交给开发者，由他们来修复代码中的缺陷
|
||
- **回归测试**：在修复完成后，你需要将导致漏洞的输入文件添加到你的测试套件中，确保未来的代码修改不会再次引入这个漏洞。这个过程也被称为**回归测试** |