test fuzz-04-模糊测试 jazzer Coverage-guided, in-process fuzzing for the JVM

拓展阅读

jazzer

Jazzer是由Code Intelligence开发的一款基于覆盖率引导的JVM平台内部模糊测试工具。

它基于libFuzzer，并将许多基于仪器的变异特性引入了JVM。

Jazzer目前支持以下平台：

Linux x86_64
macOS 12+ x86_64和arm64
Windows x86_64

快速入门

您可以使用Docker尝试Jazzer的Autofuzz模式，在此模式下，它会自动生成要传递给给定Java函数的参数，并报告意外的异常和检测到的安全问题：

bash 复制代码

docker run -it cifuzz/jazzer-autofuzz \
   com.mikesamuel:json-sanitizer:1.2.0 \
   com.google.json.JsonSanitizer::sanitize \
   --autofuzz_ignore=java.lang.ArrayIndexOutOfBoundsException

这里，前两个参数是Java库的Maven坐标和要进行模糊测试的Java函数的完全限定名称，采用"方法引用"形式。

可选的--autofuzz_ignore标志接受一个要忽略的未捕获异常类的列表。

几秒钟后，Jazzer应该会触发一个AssertionError，复现它在此库中发现的一个已修复的错误。

使用

使用 Jazzer 通过 JUnit 5 进行...

假设您的项目已经设置了 JUnit 5.9.0 或更高版本，例如基于官方的 junit5-samples。

添加依赖项 com.code-intelligence:jazzer-junit:<latest version>。所有 Jazzer Maven 构件都使用此密钥进行签名。
在新的或现有测试类中添加一个新的模糊测试：一个使用 @FuzzTest 注释的方法，并至少一个参数。建议使用类型为 FuzzedDataProvider 的单个参数，该参数提供用于生成常用 Java 值的实用函数，或使用 byte[] 以获得最佳性能和发现的可重现性。
假设您的测试类名为 com.example.MyFuzzTests，请创建 inputs 目录 src/test/resources/com/example/MyFuzzTestsInputs。
运行一个模糊测试，将环境变量 JAZZER_FUZZ 设置为 1，以便模糊测试器快速尝试新的参数集。如果模糊测试器找到使您的模糊测试失败甚至触发安全问题的参数，它将将它们存储在 inputs 目录中。在此模式下，每次测试运行仅执行单个模糊测试（有关详细信息，请参见＃599）。
在不设置 JAZZER_FUZZ 的情况下运行模糊测试，以仅对 inputs 目录中的输入执行测试。此模式的行为类似于传统的单元测试，确保模糊测试器先前发现的问题已被修复，并且还可以用于在单个输入上调试模糊测试。

一个简单的基于属性的模糊测试可能如下所示（不包括导入）：

java 复制代码

class ParserTests {
   @Test
   void unitTest() {
      assertEquals("foobar", SomeScheme.decode(SomeScheme.encode("foobar")));
   }

   @FuzzTest
   void fuzzTest(FuzzedDataProvider data) {
      String input = data.consumeRemainingAsString();
      assertEquals(input, SomeScheme.decode(SomeScheme.encode(input)));
   }
}

可以在 examples/junit 中找到一个完整的 Maven 示例项目。