tree-crasher

tree-crasher 是一个易于使用的基于语法的黑盒模糊器。它使用 tree-sitter 语法解析多个输入文件，并生成由其 AST（抽象语法树）拼接而成的新文件。

tree-crasher 旨在填补与 Gramatron、Nautilus 和 Grammarinator 等更高级的基于语法的模糊器不同的市场。它不通过完整的、手工编写的语法和基于覆盖率的反馈等复杂技术来追求最大覆盖率和错误发现，而是通过使用现成的 tree-sitter 语法，并且不需要对目标进行任何仪器化（甚至不需要源代码）来实现最大易用性。简而言之，tree-crasher 希望成为基于语法的模糊器的 Radamsa。

tree-crasher 使用 treereduce 自动最小化生成的测试用例。

有关更多信息，请参阅 文档。

示例

在阅读这些示例时，请注意模糊测试可能会导致不可预测的行为。始终在具有内存限制、无网络访问和无重要文件的虚拟机或 Docker 容器中进行模糊测试。

JavaScript 解释器

获取一组 JavaScript 文件并将它们放入 corpus/ (例如，使用 此脚本)。然后这是模糊 JerryScript 和 Boa 的方法

tree-crasher-javascript corpus/ jerry
tree-crasher-javascript corpus/ boa

(默认情况下，tree-crasher 将输入传递给目标的标准输入 stdin.)

Python 的正则表达式引擎

编写 rx.py 如下

import re
import sys
try:
    s = sys.stdin.read()
    r = re.compile(s)
    print(r.match(s))
except:
    pass

将一些示例正则表达式放入 corpus/。然后

tree-crasher-regex corpus/ -- python3 $PWD/rx.py

rustc

tree-crasher 在 rustc 中发现了许多错误。以下是操作方法！命令行上的特殊 @@ 符号将被 tree-crasher 生成的文件替换。

tree-crasher-rust \
  --interesting-stderr "(?m)^error: internal compiler error:" \
  corpus \ 
  -- \
  rustc +nightly --crate-type=lib --emit=mir -Zmir-opt-level=4 @@.rs

(正则表达式语法是 regex crate 的语法。)

更多示例

有关更多示例，请参阅 文档。

发现错误

tree-crasher 使用 tree-splicer 生成测试用例，请查看该项目的 README 中发现的错误列表。

如果您在 tree-crasher 中发现了一个错误，请告诉我！一个很好的方式是向 tree-splicer 提交一个 PR 以将其添加到 README 中。

支持的语言

tree-crasher 支持 9+ 种语言，详细信息请参阅 文档。

文档

文档可在 线上 或在 ./doc 中找到。