Gadi Evron

公開GitHubリポジトリの不審な活動を複数の専門エージェントで調査し、証拠収集から仮説の検証、時系列や影響をまとめた報告書の作成まで進めるスキル。

• 公開リポジトリの不審な活動の調査
• 削除された情報やコミットの証拠収集
• 外部報告と原典の照合

テストで取得したgcovの実行記録を使い、指定したソースコードの行が実行されたかと実行回数を確認します。複数行をまとめて調べ、未実行の行を特定できます。

• 特定行がテストで動いたか確認したいとき
• 複数行の実行回数の確認
• テストで未実行の行の特定

コミットを識別するSHAを手がかりに、GitHubに残る削除済みコミットのコードや差分、作成者情報を取得し、強制プッシュ後の変更内容を調べるスキル。

• 強制プッシュで消えた変更の調査
• 複数コミットのパッチ保存
• 作成者や署名情報の確認

GitHubの活動やローカルのgit履歴を調査用の証拠として収集し、JSONで保存・共有します。アーカイブからの削除内容の回収や、元の情報源との再照合にも対応します。

• GitHubのコミットやIssueを証拠保存
• 参照から外れたローカルコミットの調査
• 削除されたGitHubの内容を回収したいとき

GitHubから削除されたREADMEやIssue、PR、Wikiを、Wayback Machineの保存記録から探し、残っている本文や過去の状態を確認するスキル。

• 削除されたREADMEや資料の復元
• 削除されたIssueやPRの議論確認
• リポジトリの過去の状態を調べたいとき

ソースコードを攻撃者の視点で読み解き、構成や入力データの流れ、類似する脆弱性を調べます。ファイルと行番号の根拠を添え、静的解析や検出結果の検証を支えます。

• 検査前にコードの構成を把握したいとき
• 外部入力の処理経路を追いたいとき
• 既知の脆弱性の類似箇所を探したいとき

コードの未レビュー箇所を対象に、脆弱性の仮説を立てて解析ツールで検証します。到達可能性や類似箇所も調べ、根拠付きの検出結果と監査記録を継続して蓄積します。

• 未レビューのコードを点検したいとき
• 脆弱性の疑いを解析ツールで確かめたいとき
• 確認済みの問題の類似箇所を探したいとき

検出された脆弱性について、コードの実在、攻撃経路、再現結果、悪用の前提条件を段階的に検証し、誤検知や到達不能な指摘を整理して根拠付きの報告にまとめます。

• スキャナーの検出結果を精査したいとき
• 到達不能なコードや前提条件の確認
• メモリ破壊の悪用制約を調べたいとき

実行中のアプリやバイナリに観測用スクリプトを組み込み、API呼び出しや危険な処理の実行状況を記録して、不審な挙動や不具合の調査に使うスキル。

• 危険な処理の実行確認
• 未知のアプリのAPI呼び出し調査
• SSLピンニングで阻まれる通信の調査

C/C++プログラムの関数の開始・終了をスレッド別に記録し、呼び出しの深さや実行順序をログとPerfettoの時系列表示で確認するスキル。

• 関数の実行順序を追いたいとき
• ログで呼び出しの深さを確認
• 複数スレッドを同じ時間軸で確認

C/C++のプロジェクトにgcovの計測設定を追加し、テストで実行された行・分岐・関数を確認します。MakefileやCMakeへの組み込みからHTMLレポート作成まで扱います。

• C/C++にカバレッジ計測を追加したいとき
• テストで未実行の行や分岐を探したいとき
• MakefileやCMakeに計測設定を加えたいとき

クラッシュするプログラムの実行を記録して再生し、処理を逆向きにたどりながら変数やメモリを確認して、異常が起きる直前の経緯を調べるスキル。

• クラッシュ直前の処理を逆向きに調査
• ASANが検出したメモリ障害の調査
• 過去の変数やメモリ状態の確認

GitHubの公開イベント履歴をBigQueryで調べ、操作したアカウントと日時、削除されたPRなどの記録を確認して、セキュリティ事故の経緯を整理します。

• セキュリティ事故の時系列整理
• 削除されたIssueやPRの記録調査
• リポジトリの活動に関する主張の検証