Trail of Bits

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

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

オープンソース向けの継続的なファズテスト導入を支援します。OSS-Fuzzの設定ファイル作成からローカル実行、クラッシュ再現、カバレッジ確認まで扱います。

• OSS-Fuzzへの登録を準備したいとき
• 提出前にローカルで検証したいとき
• クラッシュ報告を再現したいとき

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

コードの言語に合う検査ルールを選び、計画の承認後にSemgrepで脆弱性を調べます。全件表示と重要項目への絞り込みに対応し、結果を統合します。

• コードの脆弱性を監査したいとき
• コードレビュー前の安全性確認
• 信頼度と影響度で絞り込みたいとき

依存パッケージの脆弱性情報、保守状況、npmの公開権限の集中、インストール時のスクリプト実行を調べ、測定根拠と対応の優先順位を添えたレポートにまとめるスキル。

• 案件開始前に依存リスクを確認したいとき
• ロックファイル全体の脆弱性情報の確認
• 保守が止まった依存を探したいとき

APIや設定の設計を調べ、使い間違いがセキュリティ上の問題につながる箇所を見つけます。危険な初期値や型の混同、見逃される失敗を検証し、重大度を整理します。

• API設計の安全性を確認したいとき
• 初期値や危険な設定の組み合わせの点検
• 暗号APIの使いやすさの評価

関数をまたぐデータの流れをCodeQLで追跡し、コード全体の脆弱性を調べます。解析用データベースの品質確認や独自APIのモデル作成、結果の保存まで扱うスキル。

• コード全体の脆弱性を検査したいとき
• 独自APIを通る外部入力を追いたいとき
• 網羅的な解析と高精度な解析の選択

C/C++やunsafeを含むRustのテストで、領域外アクセスや解放済みメモリの使用を検出します。ビルド設定からクラッシュ報告の読み解きまで支援します。

• C/C++のファジング中のメモリエラー検出
• Rustのunsafeや外部呼び出しの検証
• ASanのクラッシュ報告を読みたいとき

既存のSemgrepルールを指定した言語へ移植し、言語ごとにルールとテストを作成します。適用可否の判断から検証まで進め、移植結果を整理するスキルです。

• 既存ルールをGoやJavaへ移植したいとき
• 別言語への検出パターンの適用可否確認
• 言語別の検出例と安全な例のテスト作成

脆弱性や特定のバグ、規約違反を検出するSemgrepの独自ルールを作成します。検出すべきコードと安全なコードのテストを先に用意し、誤検出や見逃しを確認します。

• 繰り返し起きるバグの検出ルール作成
• 外部入力から危険な処理への流れの検出
• 独自のコーディング規約を検査したいとき

未コミットの変更やブランチの差分、特定のコミットを、CodexやAntigravityでレビューします。指摘を重大度や該当箇所とともに整理し、両者の見解も比較できます。

• 未コミットの変更のバグを確認したいとき
• 同じブランチ差分で二者のレビュー比較
• 特定コミットのセキュリティレビュー

仕様書や設計文書の要件を実装コードと照合し、一部だけの対応、矛盾、未実装、文書にない制約や動作を調べて、根拠付きのレポートにまとめるスキル。

• 仕様書と実装の一致を確認したいとき
• プロトコル実装とホワイトペーパーの照合
• READMEに記載された保証の検証

Rustのコードを安全性の観点でレビューし、unsafeや外部言語との連携、並行処理、パニックによるサービス停止などの問題を調べるスキルです。

• unsafeを含むRustコードの監査
• 外部言語との接続部分の安全性確認
• 並行処理や非同期処理の問題調査

ブランチのコード変更を理解しやすい順序に整理し、差分・解説・重要度付きの指摘をまとめた、ブラウザで確認できる対話型HTMLのレビュー資料を作成します。

• ブランチの変更を順序立てて理解したいとき
• 差分と設計意図を併せて確認したいとき
• 重要度付きのレビュー指摘の確認

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

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