Patch the Planet の概要

Daybreak が Trail of Bits と共に立ち上げた Patch the Planet は、世界が依存する重要なオープンソースソフトウェアのセキュリティを強化するための取り組みです。最先端のサイバー対応モデルを用いたAI支援の脆弱性調査と、人間の専門家によるレビューを組み合わせ、ただ脆弱性を発見するだけでなく、実際にパッチを作成して適用まで支援します。

AI は脆弱性発見を加速させていますが、発見だけではユーザーは守れません。多くのメンテナは限られた時間とリソースでより多くのレポートを処理することを求められており、その負担を増やさない仕組みが必要です。Patch the Planet はその負担を軽減するよう設計されています。セキュリティエンジニアがメンテナに届く前に調査結果をレビューし、プロジェクトと協力してパッチやテストを開発し、初期修正以降もチームが継続的にセキュリティを改善できる再利用可能なワークフローを構築します。

Trail of Bits は、この初期ラッシュに対して自社のセキュリティ調査組織全体をこの取り組みにコミットしています (opens in a new window)。彼らはメンテナと直接協力して脆弱性を調査・検証し、パッチを開発・テストし、公開時には調整を行います。さらに、HackerOne と Calif とも提携し、脆弱性のトリアージ、調整された開示、追加の集中した脆弱性発見活動を支援します。

Patch the Planet の仕組み

各コラボレーションはメンテナとの協議から始まります。各プロジェクトに対して、セキュリティエンジニアは以下のニーズや優先度を理解するためにメンテナと協力します：脆弱性検証、パッチ開発、CI/CD の改善、長期的なセキュリティエンジニアリングなど。

合意が得られると、研究者は潜在的な脆弱性を調査し、有意義な問題を検証し、パッチを開発または改善し、テストを支援し、プロジェクトの既存のチャネルを通じて開示を調整します。

初期参加プロジェクトには次が含まれます：cURL、NATS Server、pyca/cryptography、Sigstore、aiohttp、the Go project、freenginx、Python、python.org。これらのプロジェクトはネットワーク、暗号、ソフトウェアサプライチェーン、言語インフラに広く用いられており、セキュリティ強化は多くの下流プロダクトやサービスに利益をもたらします。今後のラウンドで追加プロジェクトが参加します。

セキュリティ研究者は frontier モデルに加え Codex Security (opens in a new window) を用いて分析、パッチ開発、テスト、ドキュメント化を支援します。参加プロジェクトは 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 を用い、数十のエントリポイント、バリアントビルド、プラットフォーム、独自のテストシードをカバーするファジングラボを構築しました。エンジニアは目的を設定しプロンプトを洗練すると、システムはカバレッジのフィードバックを使って新しいサーフェスに拡張し、エッジケースを狙い、弱い候補や無効な候補をフィルタしました。限られた指示でも GPT‑5.5‑Cyber はどこにカバレッジを拡張すべきか、どのビルドやエントリポイントを検査すべきか、どの候補が追求に値しないかについて有用な選択を行いました。完成したセットアップは1日未満で構築され、同じラボを手作業で作るには通常少なくとも数週間はかかると Trail of Bits は見積もっています。
既知脆弱性の亜種を見つける再利用可能なパイプライン
- チームは過去の CVE を取り込み、関連する脆弱性パターンを抽出し、ターゲットコードベースを検索して関連する欠陥を探し、候補を専門のジャッジングエージェントへ送るエンドツーエンドのシステムを構築しました。パイプラインは結果を重複除去し、誤検知の可能性をフィルタし、最も強い証拠をセキュリティエンジニアにルーティングして手動確認を行います。公開された脆弱性の履歴を繰り返し適用可能な検索戦略に変換する仕組みです。モデルはこの種の亜種解析に特に有効であり、レビュー対象のコードベース全体で多くの追加の問題を明らかにしました。
数日での差分テスト
- 同じプロトコルを実装する異なる実装は、同じ入力に対して通常同じように振る舞うべきで、差異が出れば片方にバグが含まれる可能性があります。これを大規模に適用するには、各実装を共通のテストハーネスに接続するカスタムのシムやグルーコードを書く必要があり通常は困難です。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 Kernel
- GPT‑5.5‑Cyber は 3,000 万行を超えるコードベースでセキュリティに関係するコンポーネントを特定し、潜在的なセキュリティ問題をフラグし、動的に検証しました。自動生成された結果として、8件のカーネルポインタ情報漏洩の PoC（proof-of-concepts）と 24件のローカル権限昇格（LPE）エクスプロイトを生成しました。数百件の問題が特定されましたが、これは自動的に PoC が生成されたサブセットです。
OpenBSD
- モデルは OpenBSD の System V セマフォのカーネル実装における 23 年前の use-after-free を特定しました (opens in a new window)。OpenAI 研究者は問題を再現し、非特権のローカルユーザーが root に権限昇格できる可能性があることを確認しました。
FreeBSD
- Calif のセキュリティ研究者は Codex を使って複数の LPE を見つけ、PoC による検証を行いました (opens in a new window)。より広範な FreeBSD キャンペーンにおいて、OpenAI 研究者は 34 の脆弱性を確認し、7 件のローカル権限昇格 PoC を生成しました。

ネットワーク

dnsmasq
- Codex Security は独立に、dnsmasq 2.92rel2 で後に修正された 6 件の CVE のうち 4 件に対応する脆弱パターンを特定しました：CVE-2026-4890 (opens in a new window)、CVE-2026-4891 (opens in a new window)、CVE-2026-4892 (opens in a new window)、CVE-2026-5172 (opens in a new window)。
HTTP/2 Bomb
- Calif は Codex を使って「HTTP/2 Bomb」(opens in a new window) と呼ばれる手法を特定しました。これは NGINX、Apache、IIS、Pingora を含む主要な HTTP/2 実装に影響するサービス拒否技術です。Calif の分析は、HTTP/2 が有効な影響を受けるサーバーソフトウェアを実行しているインターネット向け公開サイトが 880,000 以上ある可能性を示唆しました。

ブラウザ

Chrome
- OpenAI の研究者は Chrome の V8 JavaScript エンジンで 5 件の悪用可能な脆弱性を発見・報告しました。そのうち3件は導入から数日以内に特定・修正されました。
Safari
- 約1週間の集中的な WebKit 作業で、10件を超える悪用可能な Safari の脆弱性が発見・報告されました。
Firefox
- OpenAI Preparedness は GPT‑5.5 を用いた安全性評価の過程で WebAssembly の脆弱性（CVE-2026-8390 (opens in a new window)）を特定し、Mozilla は Pwn2Own Berlin の 2 日前にこれを修正しました。これにより登録された Firefox のエントリ 6 件中 5 件が出展を取り下げ、競技会での Firefox のエクスプロイトは成功しませんでした。

共有インフラ、共有の防御

オープンソースソフトウェアは共有インフラストラクチャです。それを守ることは共有の作業であるべきです。AI は脆弱性発見のペースを変えています。今やるべきことは、その利点を最も必要とするメンテナやユーザーに確実に届けることです。

Patch the Planet は発見、検証、深刻度レビュー、開示、パッチ開発、テスト、デプロイという防御ループ全体をメンテナに提供することを目指しています。フロンティアモデルはそのループの一部を高速化できますが、目的は共有インフラに責任を持つ人々により良いツールとより多くのキャパシティを提供し、変更の適用方法に関する彼らの裁量権を保持することです。

この最初のスプリントは、メンテナ、セキュリティエンジニア、AI支援ワークフローが継続的に協力することで得られる成果を示しています：即時の修正、強化されたプロジェクトインフラ、そして時間をかけてオープンソースソフトウェアを改善し続けるための再利用可能なセキュリティ作業。

これは始まりに過ぎません。さらに多くの修正が適用され、調整された開示が完了した段階で、選定された発見に関するより詳細な技術レポートを公開する予定です。

Patch the Planet: a Daybreak initiative to support open source maintainers

要約

Summary

Key Points

For engineers (実務的な期待値)

Next steps

翻訳