repoのリンクから検証済みの検出結果まで

HTTPS経由で、指定されたブランチを浅くクローンし、blobフィルターを適用して取得します。Gitフックは無効化され、シンボリックリンクは通常のファイルとしてチェックアウトされます。また、HTTPS以外のすべての通信方式を拒否します。プライベートネットワークアドレスはブロックされるため、スキャナーを内部ホストに向けることはできません。

repo内のものが実行されることはありません。ビルド、パッケージのインストール、テストは行いません。チェックアウトはスキャン終了時に削除されます。

すべてのテキストソースファイルについて、言語とサイズを一覧にします。ベンダーコード、生成ファイル、圧縮済みバンドル、ロックファイルは対象外です。各ファイルにはリスクスコアが付与されます。スコアは、危険なシンク（メモリコピー、シェル実行、デシリアライズ、SQL構築、テンプレート描画、パス結合、暗号処理、認証コード）と、パーサー、プロトコルハンドラー、リクエストルーティングなどの重要な処理経路に基づいて算出されます。

repoに.oss-scanner/threat_model.md（Anthropicのスキャナーが読み込むものと同じファイル）、SECURITY.md、または登録時に提供された脅威モデルがある場合、スキャナーはそれに従います。いずれもない場合は、モデルがREADME、ディレクトリ構成、最もリスクの高いファイルを読み、脅威モデルの草案を作成します。プロジェクトの概要、信頼できない入力が入る箇所、対象外となる範囲を記述します。

脅威モデルでは重点的に調べるファイルも選定するため、監査のリソースを攻撃者が実際に到達できるコードに集中できます。

最もリスクの高いファイルを行番号付きの大きなバッチにまとめ、脅威モデルを添えて推論モデルに送信します。慎重な人間の監査担当者が報告するような問題を探します。

• メモリ安全性：バッファオーバーフロー、use-after-free、整数の切り詰め
• インジェクション：SQL、コマンド、テンプレート、パストラバーサル、SSRF
• 認証、認可、セッションのロジック
• 安全でないデシリアライズとパーサーの誤認
• 暗号の誤用とシークレットの取り扱い

クイックスキャンでは、適度な予算でClaude Haikuを使用します。登録済みプロジェクトのディープスキャンではClaude Sonnetを使用し、最大4倍のコードを読み取ります。

検出候補はすべて、新しいコンテキストを持つ別の検証エージェントに送られます。その役割は、検出候補が誤りであることを示すことです。データフローを追跡し、別の箇所で検証されていないかを調べ、脅威モデルに照らして入力が本当に攻撃者によって制御可能かを確認します。検証済み、または可能性が高いと評価されたものだけが残り、それ以外は却下として集計されます。

残った検出結果について、検証エージェントは根本原因、再現用入力、統合diff形式の最小限のパッチ案を作成します。

根本原因が共通する重複は統合されます。脆弱な行に対してgit blameを実行し、その行に最後に変更を加えたコミットを特定します。通常は、そのコミットがバグを持ち込んだものです。これにより、Fixes:タグを追加し、影響を受けるリリースを特定できます。

レポートはランダムで推測困難なIDの下に保存されます。アドバイザリ用のMarkdown、ツール用のJSON、またはGitHub code scanning用のSARIF 2.1.0としてエクスポートできます。