在 SQLite 提交中搜寻未修补的漏洞

Google 的 Big Sleep 智能体从已修补的漏洞出发,审查了最近的 SQLite 提交,发现了一个可利用的缺陷,该缺陷在发布前已得到修复。任务:建议落地方案:在 Naptime 框架中部署 Gemini 1.5 Pro 智能体,赋予其代码浏览、调试及 Python 沙箱工具。向智能体提供此前已修复的 SQLite 漏洞、近期提交信息及差异对比,指令其查找未解决的相似问题。人工研究人员需定义搜索范围,并对照代码库验证智能体的发现。;工具:Gemini。人工角色:原始帖子没有说明人如何参与。;局限:报告的漏洞仅存在于开发版本中,对生产环境即时影响有限。研究人员认为,针对特定目标的模糊测试器目前可能至少与该智能体一样有效。由于 URL 不可访问,来源可靠性较低;在找到主要证据前,将所有声明视为未验证。在根据智能体生成的安全发现采取行动前,必须获得人工批准。。

工具

Gemini

Agent Work Atlas 发布日期:

概述

Google 的 Big Sleep 智能体从已修补的漏洞出发,审查了最近的 SQLite 提交,发现了一个可利用的缺陷,该缺陷在发布前已得到修复。

工作流程

建议落地方案:在 Naptime 框架中部署 Gemini 1.5 Pro 智能体,赋予其代码浏览、调试及 Python 沙箱工具。向智能体提供此前已修复的 SQLite 漏洞、近期提交信息及差异对比,指令其查找未解决的相似问题。人工研究人员需定义搜索范围,并对照代码库验证智能体的发现。

原文报告的结果

据报道,智能体在 seriesBestIndex 中发现了一个栈缓冲区下溢漏洞,该漏洞在发布前已修复,而 150 CPU 小时的模糊测试未能发现它。然而,由于原始来源不可访问(HTTP 403),这些结果无法独立验证。需执行可衡量的验收检查:确认漏洞是否存在于特定提交范围内,并对照公开 SQLite 变更日志核实修复时间线。

人工角色

原始帖子没有说明人如何参与。

局限

报告的漏洞仅存在于开发版本中,对生产环境即时影响有限。研究人员认为,针对特定目标的模糊测试器目前可能至少与该智能体一样有效。由于 URL 不可访问,来源可靠性较低;在找到主要证据前,将所有声明视为未验证。在根据智能体生成的安全发现采取行动前,必须获得人工批准。

试一试

扮演使用类 Naptime 环境中 Gemini 1.5 Pro 智能体的安全研究人员。输入:[可替换:SQLite 仓库路径],[可替换:已知修复漏洞的提交哈希],[可替换:近期提交范围]。步骤:1. 配置智能体以具备代码浏览器和调试器访问权限。2. 提供已知漏洞上下文,要求智能体扫描提交范围以寻找相似模式。3. 让智能体在 Python 沙箱中生成概念验证脚本。4. 输出:一份报告,列出潜在漏洞及其文件路径、行号和 PoC 脚本。5. 质量检查:手动对照源代码验证每个发现。6. 安全措施:未经人工确认,不得发布或报告任何发现。如果源 URL 不可访问,仅依赖本地仓库分析。

原始来源

来源报告未经独立核验。发布日期为本站案例发布日期,并非原始文章日期。

更多同类案例 · 安全与运维