cloudflare/security-audit-skill

何を解決するか

コードエージェントを、コードベース内の脆弱性を体系的に発見できるプロフェッショナルなセキュリティ監査者に変換します。即興的なセキュリティチェックを置き換え、包括的なカバレッジと検出結果の厳密な検証を保証する、構造的で多段階のプロセスを提供します。

動作方法

このスキルは、隔離されたエージェントを使用して6段階のワークフローをオーケストレーションします：

1. 調査（Reconnaissance）：アーキテクチャ、信頼境界、入力表面をマッピングし、カバレッジ・レジャーを作成します。
2. カバレッジ主導の探索：特定のレジャー単位にハンターを割り当て、ギャップや潜在的なバグを発見します。
3. 候補の検証：新規の検証エージェントを使用して、すべてのユニークな候補結果を否定しようとする試みを行います。
4. 構造化出力：JSONスキーマに基づき、確認済み、検証が必要、または却下された結果として記録します。
5. 独立した記録検証：別個のエージェントを用いて最終的なソース主張を検証します。
6. ターゲット非依存のレポート生成：最終レポートと詳細な検出結果ドキュメントを生成します。

対象ユーザー

AIコードエージェントを使用し、ソフトウェアプロジェクトの深層的で体系的なセキュリティ監査を実施したい開発者やセキュリティ研究者。

特徴

• 敵対的検証：検証エージェントは、その発見を行ったエージェントとは常に異なる。
• カバレッジ追跡：カバレッジ・レジャーを使用してギャップを特定し、追加実行で発見率を向上可能。
• 広範な攻撃クラス：メモリセーフティ、LLM固有の脆弱性、Webプロトコル、サプライチェーン、クラウドデプロイメント向けの専用探索プロンプトを含む。
• 厳格な判断：確認された脆弱性（ソーストレース付き）と、まだ検証が必要な候補を明確に区別。