Janus 文件系统模糊测试工具使用指南

1. 项目介绍

Janus 是一个在 Linux 上针对文件系统进行模糊测试的先进工具。它通过同时探索文件系统和系统调用的二维输入空间，有效地发现内核文件系统中的内存损坏问题。Janus 是 AFL（American Fuzzy Lop）的一个变种，其目标不是传统的虚拟机，而是 Linux 内核库（LKL）。Janus 已经发现了大约 100 个独特的崩溃，并获得了 32 个 CVE 编号。目前，Janus 支持对 ext4、btrfs 和 F2FS 文件系统的图像解析。

2. 项目快速启动

2.1 环境准备

确保你的环境满足以下要求：

• 操作系统：Ubuntu 16.04 LTS
• clang 6.0.0（从源码编译）
• gcc 5.0.0（默认安装）

2.2 编译 Janus

1. 编译 ff-gcc（用于插桩）：

   cd ff-gcc
   make
   

2. 编译核心模糊测试引擎：

   cd core
   make
   

3. 编译（移植的）LKL 4.17：

   cd lkl
   

   例如，如果你想模糊测试 btrfs：

   ./compile -t btrfs -c
   

4. 编译图像解析器：

   cd fs/btrfs
   make
   

2.3 运行模糊测试

1. 创建种子程序目录：

   mkdir prog
   

2. 生成种子程序：

   ./core/create_corpus istat/btrfs.istat prog
   

3. 创建输入和输出目录：

   mkdir input
   mkdir output
   

4. 运行模糊测试：

   ./core/afl-image-syscall/afl-fuzz -b btrfs -s fs/btrfs/btrfs_wrapper.so -e ./samples/evaluation/btrfs-00.image -S btrfs -y prog -i input -o output -m none -u 2 -- ./lkl/tools/lkl/btrfs-combined -t btrfs -p @@
   

3. 应用案例和最佳实践

3.1 应用案例

Janus 主要用于发现文件系统中的内存损坏问题。例如，通过模糊测试 btrfs 文件系统，Janus 可以生成大量的测试用例，帮助开发者发现并修复潜在的漏洞。

3.2 最佳实践

• 并行模糊测试：Janus 支持并行模糊测试，可以通过创建多个 Janus 实例来提高测试效率。
• 生成可复现的测试用例：使用 afl-parse 工具可以生成可复现的测试用例，便于开发者调试和修复问题。

4. 典型生态项目

• AFL（American Fuzzy Lop）：Janus 是 AFL 的一个变种，AFL 是一个广泛使用的模糊测试工具，主要用于发现软件中的漏洞。
• Linux Kernel Library (LKL)：Janus 的目标是 LKL，LKL 是一个用于在用户空间运行 Linux 内核的库。
• btrfs、ext4、F2FS：Janus 目前支持对这些文件系统进行模糊测试，未来可能会扩展到更多文件系统。

通过以上步骤，你可以快速上手并使用 Janus 进行文件系统的模糊测试。