Edward Yang：用 LLM 标注终结符，动态分析从未如此简单

ezyang · x · 2026-09-19

PyTorch 核心开发者 Edward Yang（ezyang）提出一个「洗澡时的想法」：如今创建一次性动态分析（one-off dynamic analyses）从未如此容易。做法是——先设计抽象域（abstract domain），再用 LLM 标注程序中的所有终结符（terminals），最后运行分析来检查非局部（non-local）问题。

这条思路把 LLM 当作程序标注器，替代传统上需要人工编写或复杂静态推断才能得到的标注，从而让针对特定问题的临时性程序分析变得低成本、可快速搭建。