gadievron/raptor

何を解決するか

RAPTORは、ソフトウェア内の脆弱性の発見、検証、パッチ適用を自動化する自律型セキュリティ研究フレームワークです。手動で分散されたセキュリティ監査を統合されたパイプラインに置き換え、静的解析、バイナリ逆解析、LLM駆動の推論を組み合わせることで、単なるパターンマッチングのノイズではなく、実際のバグを発見します。

動作方法

RAPTORはマルチステージのパイプラインをオーケストレーションします。まず、ターゲットの攻撃表面と信頼境界をマッピングします。その後、SemgrepやCodeQLなどの静的解析ツールを使って潜在的な脆弱性を特定します。これらの発見は、多段階の検証パイプライン（段階A-F）を経て、LLMが到達可能性、実現可能性、エクスプロイト可能性を分析します。コンパイル済みバイナリの場合、Ghidra、Frida、radare2などのツールと統合し、証拠に基づくマップを作成し、クラッシュの根本原因を分析します。また、LLMを用いる前に特定のコードパスが到達可能かどうかを数学的に証明するためにZ3 SMTソルバーも統合されています。

対象ユーザー

セキュリティ研究者、ペネトレーションテスター、およびソースコードやコンパイル済みバイナリに対して深く自律的な脆弱性調査を必要とする開発者向けに構築されています。

主な特徴

• 自律型パイプライン：スキャン、検証、エクスプロイト生成、パッチ作成を1つのワークフローに連携。
• バイナリ解析：ブラックボックス調査、Ghidra統合、C/C++向けの自律的クラッシュ分析を含む。
• 多段階検証：誤検出をフィルタリングしエクスプロイト可能性を検証するための厳密なA-F段階プロセスを使用。
• SMT統合：Z3を用いてCodeQLのパスを事前スクリーニングし、バイナリガジェットの制約を分析。
• ソフトウェア構成分析（SCA）：マニフェストやロックファイル間で依存関係を正規化し、サプライチェーンリスクを特定。
• サンドボックス実行：Linuxネームスペースとseccompを使用して、LLM生成コードを隔離環境で実行し、システムの損傷を防止。