Fuzzing the Gleam compiler
kurz.net原文 ↗
作者调用 Gleam 编译器公开的 Rust API 生成结构有效程序,再把相同输入编译到 JavaScript 与 Erlang,做跨后端差分测试。`const b = 1 |> 2` 触发了解析器 panic,种子 947 则产生 Erlang 42、JavaScript 103 的语义分歧;每批运行 100 个样例。当前生成器偏向有效语法,较难深入代码生成边角,加入变异和蜕变关系会比单纯扩大随机样本更可能发现后端错误。
–浏览
评论 · Comments