bug-detection

一场讨论，质疑AI发现软件漏洞的能力究竟是问题还是机遇，让Google和Microsoft等公司能够主动修复漏洞。

Greptile 推出 TREX，这是一款能够执行代码并检测运行时错误的 AI 代码审查工具。它超越了静态分析，通过启动并行代理来调查问题并生成截图等产物。

Greptile 推出 T-Rex，该功能可在沙箱中运行你的分支，通过模拟 API 调用、点击 UI 界面以及运行单元测试来发现错误，相比基础版 Greptile 能多捕获约 20% 的错误。

作者构建了一个AI驱动的PR审核工作流，可生成实际修复PR而不仅仅是评论，声称比CodeRabbit便宜6倍，且在处理大型PR时更准确。

Microsoft Research 的这篇论文介绍了一种随机调度技术，旨在为发现软件系统中的 Bug 提供概率性保证。该成果已发表于 ASPLOS 会议，核心在于利用算法随机性来实现系统化的故障检测。