テスト・セキュリティのスキル

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

大量の入力でコードを試すファジングで、実際に実行された範囲を測定・分析します。未到達の処理を見つけ、テスト用コードや初期入力、辞書の改善につなげます。

• ファジング開始時の基準値測定
• 新しい処理に到達しない原因調査
• ハーネス変更前後の実行範囲比較

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

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