OCaml cohttp 6.3.0 セキュリティアップデートと「バゴノミクス」によるオープンソース開発の将来性

今日、OCaml の

cohttp

ライブラリ（バージョン 6.3.0）向けに、パス横断（Path Traversal）脆弱性を是正するセキュリティアップデートがリリースされました。しかし、今回の出来事は単なるパッチ修正以上の、現代のセキュリティ情勢における重大な示唆を含んでいました。

通常は私有で修正し、影響ユーザーへ通知した後、公的アドバイザリーを公表する手順が取られます。しかし今回は、問題解決に向けた PR が公開されたわずか数分後、稼働中の Web サーバーログに脆弱性のパターンを持つプローブ（偵察動作）が検出されました。さらに、自分が持っていたエージェントだけで「概要さえ分かれば exploit を作成可能」であることに気づいたため、公的パッチが入手可能になる前にも十分に攻撃できていただろうと認識しました。

オープンソースにおけるセキュリティ対応のあり方を根本から見直す必要があります。

---

1. 脆弱性についての「噂」のみで現代のエクスプロイトが可能に

この報告は先週、Jane Street を通じて Slack チャンネルへの非公開連絡として届きました。発見されたツールは Claude Fable です。これにより、セキュリティ対応のタイムラインが一気に圧縮されました。

1.1 現代のセキュリティレポートのタイムライン

• 自動探索の実現:
  • Glasswing はアクセス権限がなく拒否されましたが、DeepSeek V4 Proは快諾し、複数の関連問題を浮き彫りにしました。
  • エージェントはわずか 1 分以内で、ローカルサーバーを検知するための exploit を作成できました。
• 公開プロセスの極端な縮小:
  • 通常：リポジトリ公開に数日、リリースは 1〜2 ヶ月を要します。
  • 今回：約 10 分後にパーセント符号エスケープされたパス横断シークエンスに対するプローブが届き始めました。
• 攻撃窓の長さ:
  • ローカルで exploit を作成するのに 1 かかっただけであれば、10 分の「攻撃窓」は非常に長く見えます。
  • パッケージリポジトリを監視する決意のある攻撃者は、数秒以内に攻撃を開始可能です。

1.2 セキュリティ静置（Embargo）はもはや効果的ではない

• 静置の崩壊:
  • 従来の「詳細を秘匿してユーザーを守る」前提が、現代のエージェント型調査に対して通用しなくなりました。
  • 広範な探索方向さえあれば、エージェント自体で調査を実行可能です。
• エクスプロイト成功率の乖離:
  • CVE の記述を与えられた場合：GPT-4 エージェントはベンチマーク脆弱性の**87%**をエクスプロイト可能。
  • 記述を与えられなかった場合：**7%**のみと低い結果。
• 平均エクスプロイト時間の変化:
  • 2018〜2019 年：約63 日。
  • 現在（2026 年）：-7 日（パッチ適用よりも先にエクスプロイトが行われる）。
  • 2024 年にはすでにゼロに達している例もあります。
• 実例:

  • marimo

    (CVE-2026-39987): 公的 PoC なしでも、アドバイスから初のエクスプロイト試行まで9 時間。

  • Langflow

    (CVE-2026-33017): 20 時間。

結論: 私たちは自動化された exploit 生成の「ルビコン」を超えたようです。

---

2. 「バゴノミクス（Buggonomics）」と維持者の不利な立場

セキュリティプロセスを逆転させる必要が出ています。「問題クラスを検索するたった一人」が十分であり、それがメールリスト上の質問や孤立したコミットなど何でもよいからです。これだけで別の人のエージェントに注意を引き寄せ、エクスプロイトコードを得させてしまいます。

2.1 防御側のボトルネック移動

• 提唱: 2026 年 5 月に「バゴノミクス」という用語が提唱されました。
• 現状: LLM は快活にエクスプロイトを生成していますが、維持者の検証・優先順位付け・リリースペースが停滞しているため、防御能力向上がついてきていません。
• 引用: > "問題は、最先端モデルやプログラム解析が「勝つかどうか」ではありません。問題在於、限られた検証リソースを、機械的な検索ではなく、長期的に持続可能な修復に向けてどのようにオーケストレーションするかです。"
  • —— "神話の変換あるいはバゴノミクスの破壊について"（Pesoli 他、2026）

2.2 維持者の制約要因

• 最先端モデルへのアクセス不足: Mythos などのエージェントにアクセスできないことが一因。
• パッチ設計の難易度: エクスプロイトを招かないセキュリティパッチは本質的に多くの作業を必要とします。

---

3. 私たちが取るべき対応策

我々は比較的速やかに適応する必要があります。流入する情報洪水（ファイアホース）の多くが機械生成であることに気づき始めましたが、それは明らかにもっとも多くあります。

3.1 超機密なプライベートパッチ開発

GitHub の一時的なプライベートフォークは CI ツールの制限やレビュアー登録の手間など、実用的ではありません。

• 問題点:
  • GitHub は脆弱性情報保全のために CI がアクセスできないように制限しており、維持者を「生命線」から切断します。
  • フォークへのマージは原則単一 PR のみ可能で、複数のリポジトリを跨ぐ問題には不向き。
  • オープンソース界隈ではレビュアーが「ドライブバイ（偶然）」で、誰が利用可能か不明確。
• 課題:
  • 誤った漏れを防ぐこと自体よりも、問題記述が攻撃者に漏れないよう確保することが重要です。
  • OSS 内に堅牢な議論のインフラストラクチャ（Matrix などの分散型暗号化プラットフォームなど）が存在せず、Discord/Slack は極めて漏えいしやすい。
  • **「善人」と「悪人」を区別するための信頼のネットワーク（web-of-trust）**が必要です。

3.2 静置なしに、継続的にリリースする

Chrome や Linux カーネルのように、迅速な公開修正と継続的リリースが鍵です。

• 成功事例:
  • Chrome: 週ごとのセキュリティアップデート、ダイナミックパッチング（再起動なし）。
  • Linux: 最大 7 日、極めて稀に 14 日の延期で修正を配信。
• 実現要件:
  1. より優れたクロスエコシステムパッケージ管理: 分散したライブラリがどの製品に埋め込まれているか発見可能にする（Ryan Gibb 氏による話期待）。
  2. より優れたスキャンツール: トリアージを支援する（Andrew Nesbit 氏の Scrutineer や、OCaml への適用議論など）。
     • 注: 適切な最先端モデルへのアクセス（セキュリティブロックなし）を得られるかどうかも重要。
  3. より堅牢な品質管理インフラストラクチャ: Linux だけでなく、OpenBSD、FreeBSD、macOS、RISC-V で動作し、誤検出のないものが必要。

3.3 プロトコル層での能動的保護

上流のパッチ修正だけでは追いつかない場合、より速く動作する手段が必要です。

• 具体的な緩和策:
  • リクエスト URL 内のパーセント符号エスケープされたパス区切りの正規化（例：cohttp の脆弱性への適用）。
  • これは報告到着瞬間に実装可能で、完全な修正との併用も可能です。
• クラウドインフラの事例:
  • Cloudflare は 2021 年 Log4shell を塞ぐために管理されたルールを配備しました。
  • オープンソースには商用 CDN 以外の配布メカニズムがありません。
• 新しいアイデア:
  • 「アンチボットィ（antibotty）ネットワーク」: グローバルインターネットの周りに、ソフトウェア多様性を通じて補うための概念。
  • 脆弱性情報を聞き取り、自らのインフラに対して数秒以内に行動できる局所的で迅速な防御が求められます。

---

4. リサーチに関するフォローアップと結び

短期的には、上記の三つの選択肢（信頼ネットワーク、継続的リリース、プロトコル層保護）を組み合わせる必要があります。

今後の研究提案（ケンブリッジ大学向け MPhil）

• 「アンチボットィ防御テストベッドによるネットワークサービスの保護」:
  • MirageOS ゲートウェイをホームネットワークの前段に配置。
  • 緩和ルールの自動化デプロイの信頼性調査。
  • 攻撃エージェントと防御エージェントのどちらが先に到達するかの「カプチャー・ザ・フラッグゲーム」。
• 「リーン仕様の OxCaml 強制オートマトンへのコンパイル」:
  • Dijkstra モナドを用いてファイルシステム、パーサ、ネットワークの各レイヤーで許可される動作を定義。
  • リーン仕様からコンパイルし、実行時に強制する OxCaml オートマトンの生成（PhD 期間中に構築したステートコールオートマトンの近代化）。

チームへのお願い

Project Glasswing のチームの方へ：OCaml チームは今すぐアクセス権を付与することを望んでいます。

クレジットと感謝

• Sapphire Livingstone: 問題の発見・報告、修復導き、共同開発。
• Michael Dales, Török Edwin, Patrick Ferris: パッチレビュー。
• Hannes Mehnert: アドバイザリー調整。
• Thomas Gazagnaire: より広いトリアージ問題についての考察継続。

バゴノミクスが我々に不利であっても、この峠は越えることができます。皆様へのご厚意に感謝します！