Mozilla 如何验证 AI 找出的 Firefox 漏洞，再由工程师修复

Mozilla 的 Brian Grinstead 介绍了 Pwn2Own：这是一场每年举行的黑客竞赛，研究人员会以浏览器为目标。Mozilla 将其视为一次受控演练，模拟如何应对已在实际环境中被利用的 Firefox 严重安全漏洞。

在 2026 年比赛之前，Mozilla 知道已有几个团队报名攻击 Firefox，于是赶紧提交修复。Grinstead 说，OpenAI 网络安全团队在赛前不久报告了几个漏洞，其中多个参赛攻击使用了同一个漏洞。Mozilla 修复这些问题后，没有团队在比赛中成功攻破 Firefox。

这次经历让 Mozilla 更加确信：即使代码已经扫描过，不同模型仍可能找到不同漏洞。Grinstead 说，新流程建立在几十年的准备之上，包括对外漏洞奖励计划、模糊测试，以及习惯于处理报告和发布安全修复的工程师。

Mozilla 已有的测试工具也能供智能体使用。可调试的构建版本、模糊测试工具等，让智能体能够运行 Firefox、测试假设并反复改进。团队将这一发现循环放入更大的流程中，由后者选择检查目标并把发现交给工程师。

按字母顺序扫描文件的简单方案无法扩展。因此，团队用语言模型给文件的风险打分，考虑是否暴露于网页内容、内存安全特征等因素。此前的扫描历史也有助于选择下一批目标。

Mozilla 将多年积累的技术文档和研究人员指导纳入评分流程。Grinstead 说，目的是根据浏览器实际面临的威胁确定优先级，而不是仅对代码进行泛泛评估。

在内部循环中，智能体运行于独立虚拟机，能够访问 Firefox 源代码和模糊测试工具链。它提出可能的漏洞、进行测试，再修改自己的假设。动态测试很重要，因为许多看似合理的想法实际运行后会被证明有误。

通过第一道关卡之前，发现必须经过确定性验证，例如提供一个加载后会使 Firefox 崩溃的 HTML 测试用例。团队也在开发针对更复杂逻辑问题和沙箱问题的验证器；内存安全故障仍是重要的浏览器漏洞类别。

第二个智能体会检查第一个智能体的工作并评估严重程度。Grinstead 曾看到一个智能体自行修改代码库制造崩溃，然后通过自己制造的崩溃测试。独立复核旨在捕捉这种误导性的成功；他说，两道检查结合后误报很少。

流程还会让智能体编写建议补丁和测试，然后保存结果，供团队工作台和既有漏洞修复流程使用。经过验证的报告只是开始：随着发现数量增加，分诊等环节也成了瓶颈。

对报告去重比比较测试用例更难。相似的崩溃调用栈可能源于不同漏洞，不同的复现方式也可能指向同一个根本问题。提交过多重复报告会浪费工程师时间；合并得过于激进又可能掩盖真正的问题。

Mozilla 将发现放入本地数据库，让智能体识别可能的重复项，并吸收工程师的反馈。当某项发现被标记为另一个漏洞的重复项时，团队可以在后者修复后重新检查，确认原始复现方式确实不再有效。

Grinstead 说，更强的网络安全模型可能重新检查最初被评为中低严重程度的漏洞，找到绕过防护的方法，表明其更为严重。这可能改变修复优先级，也可能暴露团队原本认为能够限制影响的架构防护中的弱点。

灵活选择目标让 Mozilla 无须重建整个测试框架，就能针对其他问题测试新发现的绕过方式。OpenAI 的 Clint Gibler 也介绍了类似的内部做法：让较新的模型判断，积压的低优先级问题能否组合成更严重的问题。

变体扫描从一个已知漏洞或修复出发，让智能体在代码库其他位置寻找相同模式。Grinstead 说，这种方法可以找到存在已久的类似问题，即使它们远离原始代码。提交扫描的范围则更窄，只检查新提交的变更。

Grinstead 说，变体扫描占了九月发现漏洞的大多数，而且往往产生更少的重复项，尽管团队并不完全清楚原因。看到这种方法有效后，Mozilla 向它投入了更多精力。

自动生成的补丁是有用的证据，但 Grinstead 说，它们通常不能原样合入。补丁可能只修复了测试中的特定崩溃、遗漏更普遍的问题、不了解代码上下文，或者本身就不正确。没有一种简单调整能让所有补丁都直接达到提交标准。

浏览器工程师会审查报告、证据和建议补丁，制作修复，再请另一位工程师审查后合入。Grinstead 说，从 2025 年到 2026 年，Mozilla 的漏洞发现和修复量均增长了约八倍，团队也跟上了发现速度的提高。

Mozilla 的安全工作台在本地 SQLite 数据库中汇总扫描运行记录、相关漏洞和工程师评论。编码智能体可以查询这些记录、查看原始跟踪信息并提出下一批扫描建议，例如围绕工程师指出的某个组件进行扫描。运行前由人工审查建议。

工作台也帮助团队改进测试框架。智能体会把环境障碍记录在 blockers 文件中，例如缺少系统依赖，而不是临时采用不可靠的变通方法。团队随后可以更新虚拟机镜像或以其他方式解决反复出现的问题。

展望未来，Grinstead 希望补丁建议更完善，并通过提交扫描减少新引入的漏洞。他把零漏洞描述为一个雄心勃勃的长期目标，并说团队希望利用网络安全模型，帮助把 Firefox 安全修复送到用户手中。