我们推出“修补星球”(Patch the Planet)计划,这是与 Trail of Bits 共同发起的 Daybreak 倡议,旨在帮助维护者加固全球所依赖的关键开源软件。我们结合了 AI 辅助安全研究(使用我们最擅长网络安全的模型)与专家人工审查,不仅识别漏洞,还协助修补它们。
AI 正在加速漏洞发现,但仅靠发现并不能保护用户。许多维护者已经被要求在同样有限的时间和资源下,更快地处理更多的报告。“修补星球”旨在减轻这一负担,而非增加它:安全工程师在报告到达维护者之前先进行审查,与项目合作开发补丁和测试,并构建可复用的工作流,帮助团队在首次修复完成后持续提升安全性。
Trail of Bits 已将其整个安全研究组织投入到这项工作的初期攻坚中。他们直接与维护者合作,调查和验证漏洞,开发和测试补丁,并协调漏洞的披露。
此外,我们还将与 HackerOne 和 Calif 合作,他们将在漏洞分类、协调披露以及额外的针对性漏洞发现工作中,帮助我们进一步推进这些努力。
“修补星球”如何运作
“修补星球”下的每项合作都始于与维护者的协商。对于每次协作,安全工程师会与维护者一同了解每个项目的需求、偏好,以及额外的安全工作在哪些方面最有用:漏洞验证、补丁开发、CI/CD 改进,还是长期的安全工程。达成一致后,研究人员会调查潜在漏洞,验证有意义的问题,开发或完善补丁,支持测试,并通过项目既定的渠道协调披露。
首批参与者包括 cURL、NATS Server、pyca/cryptography、Sigstore、aiohttp、Go 项目、freenginx、Python 以及 python.org。这些项目支撑着广泛使用的网络、密码学、软件供应链及语言基础设施,加强其安全性可使大量下游产品和服务受益。后续轮次将有更多项目加入。
安全研究人员将配备我们的前沿模型以及 Codex Security,用于支持分析、补丁开发、测试和文档编写。参与项目可获得 ChatGPT Pro 的使用权限、Codex Security 的条件访问权限,以及用于核心开源开发、维护者自动化和发布工作流的 API 额度。Trail of Bits 已开发出用于去重、分类和补丁修复的 AI 辅助工作流,项目方可在该支持下运行这些流程。
来自开发者的早期现场记录与发现
Trail of Bits 已安排专职安全工程师,全职使用 Codex 和 GPT‑5.5‑Cyber 在 19 个开源项目上开展工作,目前已识别出数百个安全问题,合并了数十个补丁,还有更多补丁正在协调披露过程中。
首轮冲刺还产出了可复用的安全基础设施:模糊测试工具、历史 CVE 分析流水线、差异测试系统、威胁模型、扩展后的测试套件,以及用于去重、误报过滤、严重性修正和补丁生成的工作流。部分项目的具体细节将在测试、修复和协调披露推进后另行分享。以下是一些早期示例,展示了团队能够构建和发现的内容:
不到一天搭建一个模糊测试实验室。Trail of Bits 工程师通过反复使用 Codex 的 /goal 命令配合 GPT‑5.5‑Cyber,构建了一整套模糊测试实验室,覆盖数十个入口点、变体构建、平台以及新颖的测试种子。工程师设定目标并优化提示词;随后系统利用覆盖率反馈不断扩展至新的测试面、瞄准边界情况,并过滤掉薄弱或无效的候选用例。
Trail of Bits 的工程师发现,在有限的指导下,GPT-5.5-Cyber 在决定扩展覆盖范围、探测哪些构建版本和入口点,以及哪些候选目标过于薄弱不值得跟进方面,做出了有用的选择。整个搭建过程耗时不到一天。Trail of Bits 估计,手动搭建同样的实验室通常至少需要数周时间。
一个用于发现已知漏洞变体的可复用流水线。该团队构建了一个端到端系统,该系统摄入历史 CVE 数据,提取相关漏洞模式,在目标代码库中搜索相关缺陷,并通过专门的评判智能体发送候选发现结果。该流水线对结果进行去重,过滤可能的误报,并将最有力的证据路由给安全工程师进行人工确认。
这将多年的公开漏洞历史转化为一种可跨项目复用的搜索策略。Trail of Bits 发现,这些模型在此类变体分析中尤其有效,在受审查的代码库中发现了许多额外问题。
将差分测试从数周或数月缩短至数天。同一协议的不同实现通常在相同输入下应表现相同。当它们出现差异时,其中一种实现可能包含错误。大规模应用这一思路通常很困难,因为工程师必须编写自定义的垫片和粘合代码,将每种实现连接到一个通用的测试框架。
Codex 生成并迭代了这些代码,使得多种实现能够相互进行模糊测试,并研究它们的行为差异。该工作流程过滤了许多薄弱或无效的结果,并产生了一组信号相对较强的候选结果供专家审查。该团队在数天内就获得了这些结果,压缩了以往需要数周或数月的工作。Trail of Bits 正在继续扩展和完善这些测试,之后再公布项目具体细节。
根据其规格所承诺的行为对软件进行测试。团队使用 Codex 开发了基于项目规范和 RFC 的威胁模型、攻击分类法、不变性测试和基于属性的测试。这些方法揭示了预期行为与实际行为之间的显著差异,同时为项目带来了更广泛的测试覆盖、更强的文档,以及对 CI/CD 和软件供应链工具的改进。
安全工程师在每项发现到达维护者之前都进行了审查。Trail of Bits 工程师在每项安全问题提交给维护者之前都进行了人工审查,这一步的附加价值不容低估。虽然前沿 AI 模型在发现和修补漏洞方面能力很强,但它们也会产生大量误报,这可能会加剧维护者本已不堪重负的积压工作。Patch the Planet 通过让专门的 Trail of Bits 研究人员复现证据、根据项目特定文档和威胁模型核对发现、去除重复项、重新评估严重性,并优先处理已确认的漏洞进行修复来解决这个问题。他们还根据维护者的偏好开发和提交补丁。维护者仍然控制着哪些补丁被部署以及如何处理披露事宜。
OpenAI Daybreak 已经发现了什么
Patch the Planet 建立在更广泛的 Daybreak 工作基础之上,展示了前沿模型如何帮助防御者在广泛使用的软件中发现、验证和修复严重漏洞。
我们在此分享一些早期的亮点,同时暂不披露漏洞利用机制和仍在进行披露流程的项目具体细节。随着修复方案的落地和协调披露的完成,我们计划发布更深入的技术报告,详细介绍各项发现、研究方法、验证工作流程以及其他防御者可以借鉴的经验教训。
我们的发现涵盖了软件栈的每一层,还有更多发现仍在披露流程中。
操作系统
- **Linux 内核:**GPT‑5.5-Cyber 在超过 3000 万行代码中识别出与安全相关的组件,标记了潜在的安全问题,并对其进行了动态验证,生成了 8 个内核指针信息泄露的概念验证(PoC)以及 24 个本地权限提升漏洞利用。我们注意到,共识别出数百个问题,此处列出的是已自动生成 PoC 的子集。
- **OpenBSD:**我们的模型在 OpenBSD 内核的 System V 信号量实现中发现了一个存在 23 年之久的释放后使用漏洞。OpenAI 的研究人员复现了该问题,并确认它可能允许无特权的本地用户将权限提升至 root。
- **FreeBSD:**Calif 的安全研究人员使用 Codex 发现并利用概念验证漏洞验证了 FreeBSD 中的多个本地权限提升漏洞。在一项更广泛的 FreeBSD 行动中,OpenAI 的研究人员确认了 34 个漏洞,并生成了 7 个本地权限提升的 PoC。
网络
- **dnsmasq:**Codex Security 独立识别出了与后来在 2.92rel2 版本中修复的六个 dnsmasq CVE 中的四个相对应的漏洞模式,分别是:CVE-2026-4890、CVE-2026-4891、CVE-2026-4892 和 CVE-2026-5172。
- **HTTP/2 炸弹:**Calif 使用 Codex 识别出了“HTTP/2 炸弹”,这是一种影响包括 NGINX、Apache、IIS 和 Pingora 在内的主要 HTTP/2 实现的拒绝服务技术。Calif 的分析表明,超过 88 万个面向互联网的网站运行着受影响的服务器软件并启用了 HTTP/2。
浏览器
- **Chrome:**OpenAI 的研究人员发现并报告了 Chrome 的 V8 JavaScript 引擎中的五个可利用漏洞,其中三个是在引入后数天内就被识别并修复的。
- **Safari:**在大约一周的 WebKit 专项工作中,发现并报告了超过 10 个可利用的 Safari 漏洞。
- **Firefox:**OpenAI Preparedness 在安全评估期间使用 GPT‑5.5 发现了一个 WebAssembly 漏洞(CVE-2026-8390),Mozilla 在 Pwn2Own 柏林大赛前两天修补了该漏洞,导致六个已注册的 Firefox 参赛项目中有五个退出。在该竞赛中,没有任何针对 Firefox 的漏洞利用被成功演示。
共享基础设施,共同防御
开源软件是共享的基础设施。保障其安全也应是共同的工作。人工智能正在改变漏洞发现的速度,而当前的任务是确保这些成果能够惠及最需要它们的维护者和用户。
“修补星球”计划旨在将完整的防御循环服务于维护者:发现、验证、严重性评估、披露、补丁开发、测试和部署。前沿模型可以加速该循环的某些环节,但其目标是为负责共享基础设施的人们提供更好的工具和更强的能力,同时保留他们对变更如何落地的自主权。
这首次冲刺展示了维护者、安全工程师与人工智能辅助工作流之间持续协作所能产生的成果:即时修复、更强大的项目基础设施,以及能够持续改进开源软件的可复用安全工作。
这仅仅是个开始。随着更多修复落地和协调披露完成,我们计划发布关于特定发现、发现和验证这些发现所使用的方法,以及防御者可以借鉴以帮助保护人人依赖的软件的工作流的更深入技术报告。如果您是维护者,可以在此处申请加入“修补星球”计划。