Trail of Bits

ランダムな入力で不具合を探すファジング向けに、C/C++やRustのテスト用入口を作成・改善します。複雑な入力の組み立てや、再現しないクラッシュの原因を見直します。

• 初めてのファジング用ハーネス作成
• API向けの構造化入力を作りたいとき
• 再現しないクラッシュの原因調査

暗号処理の実装を既知の攻撃や境界条件のテストデータで検証し、結果の判定と失敗原因の調査、実装間の挙動比較や継続的なテストへの組み込みを支援するスキル。

• 既知の攻撃への耐性を検証したいとき
• 暗号ライブラリの挙動を比較したいとき
• 署名の誤った受理や拒否を調べたいとき

入力の自動生成テストに使う辞書を作り、形式固有のキーワードや識別用バイト列を組み込みます。入力検証で探索が止まるパーサーや通信処理のテストを支援します。

• JSONやXMLパーサー向けの辞書作成
• 通信キーワードをテスト入力に加えたいとき
• 画像の識別用バイト列や構造名でテスト

暗号アルゴリズムの実装に意図的な変更を加え、既存テストで見逃す箇所を調べます。その箇所を狙うテストデータを生成し、追加前後の検出率と複数実装での結果を確認します。

• 暗号テストベクトルの不足を調べたいとき
• 入力検証を試す不正データの作成
• 複数実装で共有するテストデータの整備

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

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

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

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

発見済み、または疑いのある脆弱性を起点に、関数の呼び出しや型の関係をたどり、同種の問題が潜む候補箇所を優先順位付きで整理するスキルです。

• 既知の脆弱性の類似箇所を探したいとき
• 危険な共通処理の調査順を決めたいとき
• SemgrepやCodeQLの調査準備

暗号通信のコードや仕様書から、誰が何を送るかと暗号処理を読み取り、鍵交換や認証の流れ、エラー時の分岐を注記付きのシーケンス図にまとめるスキル。

• ハンドシェイクや鍵交換を図解したいとき
• RFCや論文から通信手順を整理したいとき
• ProVerifやTamarinモデルの図解

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

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

チェックサム検証や時刻依存の乱数など、ファジングの探索を妨げる処理を特定します。テスト専用の変更で先の処理へ進め、実行範囲と誤検知への影響を確認するスキルです。

• チェックサムやハッシュ検証を越えたいとき
• 時刻依存の乱数を再現可能にしたいとき
• 変更前後のカバレッジ比較

個別の脆弱性候補について、処理の入口からの到達経路や入力の流れ、影響範囲をTrailmarkで調べ、検証の優先度と追加確認が必要な点を根拠付きで整理します。

• 静的解析の指摘に検証順位を付けたいとき
• 不審な関数への到達経路を確認
• 悪用可能性の検証に向けた根拠整理

C/C++のプログラムに多様な入力を与えて不具合を探すテストを、AFL++で複数コアに並列化し、実行状況の確認からクラッシュの再現・調査まで支援するスキル。

• C/C++の検査を複数コアで回したいとき
• libFuzzerでの探索が停滞したとき
• ファジングの進捗や安定性を確認したいとき

暗号処理を実行して時間の差を測り、秘密情報の漏えいにつながる挙動を調べます。dudectによる統計検査とTimecopによる実行追跡で、検出から原因調査を支援します。

• 暗号関数の秘密情報に依存する時間差の検査
• コンパイル済みバイナリの時間差測定
• タイミング漏えいの原因を追跡したいとき

PythonコードやC拡張へ多様な入力を与えるファジングを導入し、予期しない例外やメモリ破損を探します。実行環境の準備からテスト用コードの作成、結果の読み取りまで支援します。

• Pythonパッケージやパーサーのファジング
• PythonのC拡張のメモリ破損調査
• バイト列から型付きテスト引数を作りたいとき

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

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

C/C++・Rustで扱う鍵やパスワードのメモリ消去漏れを調べ、最適化で消去処理が失われる問題もコンパイラの出力を根拠に報告するスキル。

• 暗号鍵の消去処理を監査したいとき
• パスワードやトークンの消去確認
• 最適化による消去処理の削除調査

大量の入力で不具合を探す独自のファザーを、RustのLibAFLで構築します。入力の変更方法や実行結果の評価、並列実行を対象に合わせて組み合わせます。

• 特殊な対象や構成向けのファザー開発
• 独自の入力変更・評価方法の実装
• 新しいファジング手法の研究

C/C++に多様な入力を与えて不具合を探すテストを、libFuzzerで始めます。テスト用コードの作成、ビルド、入力データの管理からクラッシュの再現や原因調査まで扱います。

• C/C++ライブラリのファジング導入
• ファジング用コードを作成・修正したいとき
• 不具合や新しい実行経路が見つからないとき

ブランチやPRの変更前後でコードの呼び出し関係を比較し、認可の削除や機密処理への新たな経路など、安全性に関わる構造変化を根拠付きで報告するスキル。

• PRマージ前の構造変化の確認
• セキュリティ修正後の経路レビュー
• リリース時の攻撃対象領域の確認

二時点のコード構造を比較し、新たな攻撃経路や権限境界、変更の影響範囲を調べます。テキスト差分では捉えにくいセキュリティ上の変化を報告するスキル。

• リリース前の構造比較
• コード変更後の攻撃経路調査
• 改修前後の入力データの流れの確認

関数の呼び出し関係を基に必要なコードだけを切り出し、小型モデルへ分析や修正案の作成を任せます。渡す情報量を制限し、返された根拠や提案を検証します。

• 小型モデルに関数を説明させたいとき
• 呼び出し元や入口からの経路の調査
• 指定行の修正案を依頼したいとき

Cargoを使うRustプロジェクトに多様な入力を与えるテストを導入し、実行用コードの作成からメモリエラーの検出、クラッシュ再現、検証範囲の確認まで支援するスキル。

• Rustクレートへのファジング導入
• 構造化されたテスト入力の生成
• unsafeやFFIを検証したいとき

GitHub Actionsで動くAIエージェントへの不正な指示の混入や危険な権限設定を点検します。外部入力が届く経路を追い、根拠と重大度、修正案を報告します。

• AIエージェントを使うCIの点検
• IssueやPRからの指示混入経路の調査
• サンドボックスやユーザー許可設定の確認

静的解析の結果を記録したSARIFファイルを読み解き、重要度別の抽出や重複整理、複数ツールの結果集約、レポート変換とCI/CD連携を支援するスキル。

• 複数のスキャナーの指摘を集約したいとき
• 重要度別の抽出と重複整理
• 前回の結果から増えた問題の確認