标签
本文探讨了模糊测试技术，包括基于LLM的和结构感知模糊测试，以发现Gleam编译器中的错误，该编译器可以编译为JavaScript和Erlang，并具有静态类型。
Reify 是一款基于语义具体化技术的开源随机 C 程序生成器，能够生成不含未定义行为的代码，专用于编译器测试。它已在 GCC 和 LLVM 中发现了 59 个 bug，并在 OpenJ9 和 Linux 的 eBPF 运行时中发现了额外的缺陷。