查找 SQLite 提交中未修复的漏洞

谷歌的 Big Sleep 智能体对最近的 SQLite 提交进行了审查，从修复的漏洞开始，发现了一个可利用的缺陷，该缺陷在发布前已得到修复。

具体怎么做

Gemini 1.5 Pro智能体在Project Zero的Naptime框架中运行，该框架提供了代码浏览器、调试器、报告工具以及Python脚本沙箱。研究人员向它提供了之前已修复的SQLite错误，以及最新的提交消息和差异文件，要求其查找类似的未解决问题。该智能体将旧错误与其他代码关联起来，编写了测试案例，触发了崩溃，并完成了根本原因分析。

做到了什么

在 BestIndex 中发现了堆栈缓冲区溢出问题，SQLite 在发布前就立即修复了该问题。经过 150 小时 CPU 时间进行的模糊测试未能再次发现此问题。团队认为 Big Sleep 非常实验性。

上手要点

该漏洞仅存在于开发版本中。研究人员认为，针对特定目标的模糊测试方法，很可能至少与当前智能体一样有效。