jazzer

jazzer是由Code Intelligence开发的JVM平台的覆盖范围引导，过程中的fuzzer。它基于libfuzzer，并将其许多仪器供电的突变特征带入JVM。

jazzer目前支持以下平台：

• Linux X86_64
• MacOS 12+ X86_64和ARM64
• Windows X86_64

以下步骤假设为您的项目设置JUNIT 5.9.0或更高版本，例如，基于官方的Junit5示例。

1. 添加对com.code-intelligence: jazzer -junit:的依赖性。所有jazzer Maven文物都用此钥匙签名。
2. 在新的或现有的测试类中添加新的模糊测试：用@FuzzTest和至少一个参数注释的方法。使用类型FuzzedDataProvider的单个参数，该参数提供了实用程序功能以产生常用的Java值，或者建议byte[]来获得最佳性能和发现的可重复性。
3. 假设您的测试类称为com.example.MyFuzzTests ，请创建Inputs Directory src/test/resources/com/example/MyFuzzTestsInputs 。
4. 使用环境变量jazzer _FUZZ设置为1 ，运行模糊测试，以使Fuzzer迅速尝试新的参数集。如果Fuzzer找到使您的模糊测试失败甚至触发安全问题的参数，则将它们存储在输入目录中。在此模式下，每次测试仅执行单个模糊测试（有关详细信息，请参见＃599）。
5. 在没有jazzer _FUZZ设置的情况下运行模糊测试仅在输入目录中的输入上执行它。这种模式的行为就像传统的单位测试，可确保魔力仪先前发现的问题保持固定，并且还可以用于调试单个输入的模糊测试。

一个简单的基于属性的模糊测试看起来像这样（不包括导入）：

 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示例项目。

可以在文档中找到JUNIT集成的详细说明。

您还可以使用GitHub Release Archives运行独立的jazzer二进制二进制文件，该二进制启动了自己的JVM，该JVM配置用于模糊：

1. 从Github发行页面下载并提取最新版本。
2. 使用public static void fuzzerTestOneInput(FuzzedDataProvider data)方法向您的项目添加新类。
3. 使用jazzer _standalone.jar在classPath上编译您的模糊测试。
4. 运行jazzer二进制（ jazzer .exe在Windows上），指定类Path和Fuzz测试类：

./ jazzer --cp= < classpath > --target_class= < fuzz test class >

如果您看到一个错误说尚未找到libjvm.so ，请确保JAVA_HOME指向JDK。

这些examples目录包括绒毛测试的玩具和现实世界示例。

对jazzer的支持可以在Rules_fuzzing中获得，这是Bazel官方的模糊规则。有关如何在Java Bazel项目中使用jazzer的说明，请参见Readme。

Code Intelligence和Google已合作，为Java，Kotlin和其他基于JVM的语言提供支持，这是Oss-Fuzz，这是Google的开源软件大规模模糊的项目。阅读《 OSS-Fuzz指南》，以了解如何设置Java项目。

可以在贡献中找到有关建筑和测试jazzer进行开发的信息

• 共同的选择和工作流程
• 高级技术

在此处保留了jazzer发现的安全问题和错误列表。如果您发现一些有趣的东西并且信息是公开的，请发送PR将其添加到列表中。

以下开发人员在公开发布之前为jazzer做出了贡献：

Sergej Dechand，Christian Hartlage，Fabian Meumertzheim，SebastianPöplau，Mohammed Qasem，Simon Resch，Henrik Schnor，Khaled Yakdan

jazzer使用的JVM字节码的LLVM风格的边缘覆盖仪器依赖于Jacoco。以前， jazzer使用AFL风格的覆盖仪器作为Kelinci开创的。