从程序修补记录列出待检查位置

在可用的 Codex CLI 中,提供公开修补与获授权的代码,整理相关文件、疑点和建议测试。

执行环境与使用方式

AI/软件

Codex CLI (suggested exercise route; original stack differs)

在哪里操作

电脑终端中的 Codex CLI,打开获授权项目的隔离副本;原案研究系统不是可直接安装的同一工具。

如何开始

  1. 按下方 Codex 官方入门文档安装并登录,在测试项目文件夹启动 Codex。
  2. 打开已授权的代码库副本,提供公开修补与相关文件。
  3. 粘贴案例提示词,先要求阅读与审查清单。测试交由维护者在隔离环境另外验证。

准备与方案条件

需要可读取的代码与公开修补;完整验证另需编译及测试工具。 需可用的 Codex 账号、项目版本与工具兼容性;只批准本练习必要的文件/命令权限,不连接正式服务。

提示词移植限制

文字规划部分可另用对话工具;完整步骤需要上述环境。一般对话不能代替实际浏览、操作、几何检查或测试证据。

使用限制

适合维护者安排后续审查。清单只提出待验证问题;若要检查整个项目或执行测试,还需要可读取代码库的工具与隔离测试环境。 本次只做文档审查,未实测、安装或确认地区适用性。

环境资料来源

適用情境 / When to use

适合维护者安排后续审查。清单只提出待验证问题;若要检查整个项目或执行测试,还需要可读取代码库的工具与隔离测试环境。 Google Project Zero 报告 Big Sleep 在 SQLite 开发版本找到内存安全问题,并于正式发布前修复。

步驟 / Steps

  1. 选择自己拥有或明确授权的代码库副本与已公开修补记录。
  2. 要求整理修改目的、相关文件与需要复核的边界条件。
  3. 由维护者在隔离环境验证假设,按项目流程处理修补与披露。

提示詞 / Prompt

阅读[授权代码库副本]中的[已公开修补],整理防御性审查清单:相关位置、疑点、建议测试。不要连接外部目标、生成攻击链或公开未确认发现。

留意事項 / Cautions

  • 只在授权范围内检查,不扫描第三方线上系统。
  • AI 提出的风险只是待验证假设;不能宣称已完成安全认证。

來源限制 / Evidence limits

研究团队的一次已记录发现,不是现成消费产品或通用漏洞检出率;本站未复现。

流程說明 / Workflow note

以下步骤与提示词为本站原创练习建议,并非原作者逐字流程。

原始工具組合 / Original tool stack

Big Sleep / Gemini 1.5 Pro

来源发表日期:2024-11-01

来源查核日期:2026-10-19

Google Project Zero: From Naptime to Big Sleep