replay-regression について
replay-regression は、既存の PoC を実際の S0 と S1 に対して独立して再生するスキルです。封印済みの再現パッケージを使う検証者向けで、PoC は変更せず、別の試行のビルド成果物も再利用しません。
主な機能
- 01封印済み再現パッケージの検証
- 02S0 と S1 の独立したビルドと実行
- 03変更していない PoC と入力の再生
- 04実際のインターフェースで到達性を確認
- 05再生結果の封印と障害要因の記録
活用シーン
- 01完了した再現実験を独立して検証
- 02二つのリビジョンで PoC の挙動を比較
- 03レビュー用に差異や環境上の阻害要因を記録
インストール
コマンドをコピーしてターミナルで実行します。
$
npx skills add https:/ / github.com/ trailofbits/ skills --skill replay-regressionインストール後、Claude Code で/replay-regressionを入力して読み込まれたか確認します。
詳細
PoC を独立して再現する
使用する場合
入力:候補、凍結されたソース記録、完全な封印済み再現パッケージ、 およびレジストリ割り当て。再現者とは異なる新しいコンテキストを使用します。 対象作業の前に、プロジェクトガイダンスに従ってください。
使用しない場合
PoC の作成または修復。再現のため、変更を依頼元に返してください。 変更された PoC には、新たな再現と再生が必要です。
再生
- 標準と ファイル契約を読みます。パッケージを検証し、セットアップと セキュリティに関するガイダンスを読みます。前提条件を満たさない場合は実行を中止してください。
- 独自の試行ディレクトリ内だけで、実際の S0/S1 を独立してビルドして実行します。他の試行のビルド出力は再利用しないでください。すべてのビルドディレクトリを
build_dirsに列挙します。同一の入力を両方に与えて、 変更されていない PoC を実行します。S0 が正しく動作するか、また S1 で主張された不具合が発生するかを記録します。 - 主張されているユーザー/攻撃者のアクセス権だけを使って、実際のインターフェースに到達できることを確認します。 セットアップ、バージョン、コマンド、観察結果を保存し、ログは分けて記録します。
- 再現記録と元の PoC/入力を参照する
replay.jsonを作成して封印します。相違点や阻害要因を記録し、不確実性は未解決のままにします。 証拠を削除せず、一時リソースを解放します。
結果の報告
詳細な証拠は封印済みパッケージに保管してください。返答は次の項目だけにしてください。
- Status:記録と一致する
completeまたはblocked。 - Record:封印済み
replay.jsonのパス、または作成されなかった理由。 - Result:観察された一致または相違を説明する一文。
- Blocker:
blockedの場合、不足している前提条件または依頼元に必要な対応。
完了とは再生の試行が終了したことを意味し、リグレッションが確認されたことを意味するものではありません。
拒否すべき合理化
- 「以前のログは正しそうです」:再生には独自の実行が必要です。
コメント
Markdown 対応