智能体符号执行框架在11个Python应用中发现1050个bug

George Granberry 等研究者在 arXiv 论文中发布一个智能体符号执行框架：编排 CrossHair 符号执行工具与 AI 编码智能体，自动为仓库添加断言，并为外部数据库合成约束感知的符号环境。 在 11 个开源 Python Web 应用（含 Zulip、NetBox、Apache Superset，共 1,156,044 行代码）上评测，该流程发现 1,050 个 bug，每个都通过针对未修改应用运行的测试复现；论文称其中 312 个是同一 LLM 直接审查代码的基线方法所漏掉的。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。