Reify 发现多种 JIT 编译器漏洞
zhendongsu · x · 2026-07-16
转发内容介绍了 **Reify** 的新进展：它不仅对 C 编译有帮助，还在更多运行时/编译器里暴露出问题。 - **.NET** 正把 Reify 用进自己的 **JIT 编译器**，并发现了几处严重 bug。 - **PyPy** 也表现出兴趣。 - 甚至它在 **JVM** 里也发现了若干 JIT 编译器漏洞。 原帖还提到，这项工作会在 **PLDI 2026** 发表，同时给出了论文、GitHub 仓库和衍生项目 symlang。