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

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

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

Burp Suiteの.burpファイルに保存されたHTTP通信や監査結果をコマンドで検索・抽出します。ヘッダーや本文を絞り込み、調査対象のURLと指摘を整理します。

• CORSなどのレスポンスヘッダー調査
• 重大度と確信度で監査結果を絞り込み
• プロキシ履歴からURLを抽出

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

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

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

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

Algorandのスマートコントラクトを11種類の脆弱性パターンで点検し、権限や手数料、入力検証の問題を根拠・修正案付きで報告するスキル。

• Algorandの監査前点検
• TEAL・PyTealの取引検証レビュー
• 報告された脆弱性の修正確認

報告済みの脆弱性候補について、入力の流れや攻撃条件、既存の防御を確認し、実際の問題か誤検知かを根拠付きで判定して、複数件の検証結果も整理するスキル。

• 報告された脆弱性が実在するか確認したいとき
• 指摘された問題の攻撃成立条件の検証
• 誤検知が疑われる指摘の再確認

C/C++アプリや常駐サービスを対象に、メモリ破壊・整数オーバーフロー・競合などの脆弱性を調べます。重要度付きの指摘とレビュー範囲の不足を報告します。

• C/C++アプリのセキュリティ監査
• 常駐サービスのメモリ安全性レビュー
• 整数オーバーフローや競合の調査

暗号コードのコンパイル結果を調べ、秘密情報に応じて処理時間が変わる命令や比較を洗い出し、秘密データとの関係から問題かどうかを判断するスキルです。

• 署名や暗号化処理のレビュー
• 秘密値を使う除算を確認したいとき
• 認証タグの比較処理の点検

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

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

コード変更の脆弱性や修正済み不具合の再発を、Git履歴・呼び出し元・テストの有無から調べ、影響範囲と根拠をMarkdownレポートにまとめるスキル。

• PRのセキュリティ確認
• 修正済み不具合の再発を調べたいとき
• 変更が及ぶ呼び出し元の確認

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

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

外部のセキュリティ監査に向け、レビュー目標や対象範囲を整理し、静的解析、テストの補強、不要コードの整理、ビルド手順や説明資料の作成を進めるスキル。

• 外部セキュリティ監査の事前準備
• 監査前の修正と不足テストの整理
• 監査範囲と安定版を決めたいとき

初めて読むコードの関数ごとに、前提条件や保証する内容、呼び出し先との依存関係を整理し、脆弱性調査に先立つ理解と未解決の疑問を記録するスキル。

• 未知のコードを監査前に理解したいとき
• 脅威分析に向けた依存関係の整理
• アーキテクチャレビューの準備

スマートコントラクトの設計・実装・依存関係・テストを開発指針に沿って点検します。仕様や文書の不足も整理し、優先順位付きの改善案をまとめるスキル。

• スマートコントラクトの設計確認
• 更新・プロキシ構成の点検
• 仕様書や文書の不足確認

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

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

数値計算を含むコードを調べ、単位や小数桁の取り違え、倍率の不整合を検出します。値の単位をコメントで記録し、計算式の意味と確認範囲も整理します。

• DeFiのトークン量と価格換算の確認
• WAD/RAYの倍率ミスを調べたいとき
• 既存の計算式に単位を記録したいとき

セキュリティ修正の前後で攻撃の再現や正常動作を比較し、修正漏れ・不具合・新たな脆弱性を検証します。再現可能なログと未検証の範囲をまとめるスキルです。

• AI生成のセキュリティ修正の事前検証
• 別の攻撃パターンで修正漏れを調べたいとき
• 修正が正常動作を壊していないか確認

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

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

スマートコントラクトやブロックチェーンのコードを9分野で評価し、テスト・権限管理・文書などの成熟度を根拠付きの採点表と改善計画にまとめるスキル。

• スマートコントラクトの成熟度評価
• テストと文書の不足の洗い出し
• 権限管理と運用体制の総合点検

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

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

SolanaやAnchorのコードを6種類の脆弱性パターンで点検します。外部プログラム呼び出しやアカウント検証を確認し、全項目の判定と根拠、問題箇所の修正案をまとめます。

• Solanaプログラムの公開前点検
• CPIの呼び出し先IDを確認
• PDAとアカウント検証の点検

ERC20/ERC721トークンの実装と外部トークンの受け入れ処理を調べ、規格への適合、特殊な送金動作、管理者権限などのリスクと修正案を整理するスキル。

• ERC20/ERC721の規格適合確認
• 特殊な送金動作への対応を点検したいとき
• 管理者権限や更新リスクの評価

実行ツールが原因不明のエラーを返した際に、出力ファイルの存在と内容を調べ、処理の成功・部分成功・失敗を見分けて不要な再実行を避けるスキル。

• 原因不明のエラー後の出力確認
• 表計算やJSONの内容検証
• 再実行か部分修正かを判断したいとき

別のエージェントやツールに任せたファイル編集を、保存先の実物で検証します。存在・構造・件数などを報告と照合し、不一致があれば絶対パスと明確な条件でやり直します。

• 別のエージェントの成果物確認
• 表計算ファイルのシート名と行数確認
• CSVの列名とレコード件数確認