trailofbits

変更前後のソースと実環境での再現・独立検証の証拠を照合し、新たな不具合か、既存の問題や判定保留かを根拠付きで整理して判定記録に残すスキル。

• 変更が新しい不具合を生んだか判定したいとき
• 既存の不具合と新規の問題を区別したいとき
• 証拠不足と未解決事項の整理

保存済みの不具合判定と証拠を検証し、確定した問題、既存の不具合、未解決事項や調査範囲の抜けを分けた報告書をHTML・Markdown・JSONで生成するスキル。

• 保存済みの判定を報告書にまとめたいとき
• 証拠や判定の変更を報告書に反映したいとき
• 調査範囲の抜けと未解決事項の確認

特定のコード変更と呼び出し元をたどり、以前は使えていた機能が壊れる可能性を探します。再現実験に渡す不具合候補と調査範囲、未確認事項を記録するスキルです。

• コード変更による不具合候補を探したいとき
• 変更の影響を利用窓口まで追いたいとき
• 再現実験に渡す候補を整理したいとき

受け取った不具合の検証用コードを、変更前後のソースから新たに構築した環境で再実行します。元の再現担当とは独立して、動作の違いと実際の利用経路を確かめ、証拠を記録します。

• 提供された再現結果を独立検証したいとき
• 変更前後の動作を比較したいとき
• 想定権限での到達経路を確かめたいとき

ローカルの既知の不具合や検証可能な仮説を対象に、再現・独立検証・修正・回帰チェックを進め、修正コミットとレビュー用の根拠付きレポートを作成します。

• 報告済みのローカル不具合を直したいとき
• 再現と修正を別の担当で検証したいとき
• 修正レビューの根拠資料を作りたいとき

PRやコミットによる不具合の調査を、準備から候補発見、再現、独立検証、判定、報告まで管理します。担当の割り当てや証拠、進捗を保存し、中断した調査の再開も支援します。

• PRやコミットの不具合を調査したいとき
• 複数エージェントの調査を管理したいとき
• 保存した進捗から調査を再開したいとき

変更によって生じた不具合の調査に向け、変更前後のソースとPR・コミットの情報を固定し、調査の境界や収集上の制限を記録した準備資料をまとめます。

• 不具合調査の比較対象を固定したいとき
• PRの議論やレビューを保存したいとき
• 変更の境界と収集上の制限を残したいとき

不具合を示す再現用パッケージを変更せずに独立して再実行し、報告された問題を裏付けるかを判定して、出力・終了状態・判断理由を検証記録として残します。

• 修正前に再現結果を独立検証したいとき
• コンパイルエラーや実行時の検査を再確認
• 再現結果の不確かさを記録したいとき

ローカルのコードをビルドし、報告された実行時やコンパイラの不具合を独立して再現します。実行ログと判定根拠を保存し、再現できたか、環境の問題で検証できないかを区別します。

• 報告された実行時不具合を再現したいとき
• コンパイラの失敗を診断で確かめたいとき
• 再現ログと記録を引き継ぎたいとき

セキュリティ修正を修正前・修正後・差し戻し後の状態で独立に検証し、対象範囲の再現テストと実行記録から、修正の有効性や証拠の不足を整理します。

• セキュリティ修正を独立に検証したいとき
• 修正前後と差し戻し後の挙動比較
• 正常な入力への悪影響を確認したいとき

変更前後のシステムを実際に構築・起動し、同じ入力で不具合候補の挙動を比較して、再現手順、環境情報、個別のログを検証記録として保存するスキル。

• 変更前後の実環境で挙動を比較したいとき
• 持ち運べる不具合再現手順の作成
• 環境・コマンド・実行ログの記録

確認済みのローカル不具合に対し、守るべき条件の破れと同種の問題を範囲内で調べ、修正前後のテスト結果、差分、単一のローカルコミットを残します。

• 独立検証済みの不具合を直したいとき
• 修正範囲内の同種の問題を調べたいとき
• テスト結果と修正差分を残したいとき

macOSでClaude in Chromeの接続不良を調べ、Claude CodeとClaude.appの設定競合や通信ファイルの問題を切り分け、復旧を支援するスキル。

• ブラウザ拡張の接続エラーを調べたいとき
• Claude Code更新後の接続復旧
• Claude CodeとCoworkの連携切替

マルウェアを識別するYARA-Xの検出ルールを作成・レビューし、文字列や条件式の選び方、誤検知の削減、処理速度の改善、旧YARAからの移行を支援するスキル。

• 特定のマルウェア向けルールを作りたいとき
• 誤検知や検出処理の遅さを見直したいとき
• 既存のYARAルールをYARA-Xへ移したいとき

Lean 4で数学や仕様の証明を書き、Mathlibの慣習に沿って定義と補題を整理します。未証明部分の補完、長い証明の分割、レビューや検証環境の整備も支援します。

• Lean 4で数学や仕様を形式化したいとき
• sorryの未証明部分を埋めたいとき
• 長い証明を再利用できる補題に分けたいとき

見つかった不具合の根本原因を手がかりに、コード全体から同種の問題を探します。検索条件を段階的に広げ、候補の判定や重大度の整理、再発防止ルールの作成まで進めます。

• 発見した脆弱性の類似箇所を探したいとき
• CodeQLやSemgrepのルール作成
• 似たコードの根本原因を判定したいとき

複数言語のコードを関数や呼び出しの関係図にまとめ、入力の入口から重要な処理への経路や影響範囲を調べ、セキュリティ監査の優先順位付けを支援するスキル。

• 入口から重要な関数への経路を調べたいとき
• セキュリティ監査の優先順位付け
• 言語間やRPCの呼び出しを追いたいとき

脆弱性報告を7つの判断基準で評価し、詳しい調査へ進めるか、却下するか、追加情報を求めるかを整理します。攻撃条件や実際の利用状況、修正の影響を根拠に判断します。

• AIが発見した脆弱性候補の事前選別
• 報告されたCVEの調査要否を判断したいとき
• バグ報奨金への投稿を評価したいとき

コードに変更を加えてテストの検出力を調べ、関数の呼び出し関係と照合します。誤検出、追加すべき単体テスト、大量の入力で検証する箇所を分類するスキル。

• テストが見逃した変更を分類したいとき
• 追加する単体テストの優先順位付け
• ファジング対象の関数を探したいとき

コードの関係をグラフ化し、複雑な箇所、入力データの伝播、変更の影響範囲、権限の境界をまとめて分析して、監査で優先して調べる場所を整理するスキル。

• コード監査の優先順位を決めたいとき
• 入力データの伝播と影響範囲の確認
• 未解決の呼び出しや型参照の調査

静的解析の結果や人による監査メモをコードの関係図に結び付け、重大度別に整理しながら、入力データの伝播や影響範囲と照合して調査の優先順位を考えるスキル。

• SemgrepやCodeQL結果と構造の照合
• 監査メモと自動検出結果の統合
• 入力の伝播や影響範囲で指摘を優先付け

暗号プロトコルのMermaidシーケンス図をProVerifの検証モデルに変換し、秘密保持や認証、リプレイ攻撃への耐性を調べるためのファイルを作るスキル。

• 暗号プロトコル図を.pvに変換
• セッション鍵の秘密保持の検証準備
• 認証とリプレイ耐性のモデル化

コードを解析したTrailmarkのグラフから、関数の呼び出しやクラスの継承、モジュールの依存関係、複雑な箇所やデータの流れをMermaidの図にするスキル。

• 特定関数の呼び出し関係を把握したいとき
• クラスの継承とメンバー構成の図解
• モジュールの依存関係を図にしたいとき

コードベースの使用言語、処理の入口数、依存関係をTrailmarkで調べます。初めて触るコードの全体像や、詳しい構造分析に入る前の概要を把握するスキルです。

• 未知のコードベースを把握したいとき
• 分析前に使用言語と入口数を確認
• VivisectやGalvanizeの事前確認