mcpField
R
replay-regression

replay-regression

github.com/trailofbitsテスト・品質7.9k162 回インストール今日更新
リポジトリ

replay-regression について

replay-regression は、既存の PoC を実際の S0 と S1 に対して独立して再生するスキルです。封印済みの再現パッケージを使う検証者向けで、PoC は変更せず、別の試行のビルド成果物も再利用しません。

主な機能

  1. 01封印済み再現パッケージの検証
  2. 02S0 と S1 の独立したビルドと実行
  3. 03変更していない PoC と入力の再生
  4. 04実際のインターフェースで到達性を確認
  5. 05再生結果の封印と障害要因の記録

活用シーン

  1. 01完了した再現実験を独立して検証
  2. 02二つのリビジョンで PoC の挙動を比較
  3. 03レビュー用に差異や環境上の阻害要因を記録

インストール

コマンドをコピーしてターミナルで実行します。

$npx skills add https://github.com/trailofbits/skills --skill replay-regression

インストール後、Claude Code で/replay-regressionを入力して読み込まれたか確認します。

詳細

PoC を独立して再現する

使用する場合

入力:候補、凍結されたソース記録、完全な封印済み再現パッケージ、 およびレジストリ割り当て。再現者とは異なる新しいコンテキストを使用します。 対象作業の前に、プロジェクトガイダンスに従ってください。

使用しない場合

PoC の作成または修復。再現のため、変更を依頼元に返してください。 変更された PoC には、新たな再現と再生が必要です。

再生

  1. 標準と ファイル契約を読みます。パッケージを検証し、セットアップと セキュリティに関するガイダンスを読みます。前提条件を満たさない場合は実行を中止してください。
  2. 独自の試行ディレクトリ内だけで、実際の S0/S1 を独立してビルドして実行します。他の試行のビルド出力は再利用しないでください。すべてのビルドディレクトリを build_dirs に列挙します。同一の入力を両方に与えて、 変更されていない PoC を実行します。S0 が正しく動作するか、また S1 で主張された不具合が発生するかを記録します。
  3. 主張されているユーザー/攻撃者のアクセス権だけを使って、実際のインターフェースに到達できることを確認します。 セットアップ、バージョン、コマンド、観察結果を保存し、ログは分けて記録します。
  4. 再現記録と元の PoC/入力を参照する replay.json を作成して封印します。相違点や阻害要因を記録し、不確実性は未解決のままにします。 証拠を削除せず、一時リソースを解放します。

結果の報告

詳細な証拠は封印済みパッケージに保管してください。返答は次の項目だけにしてください。

  • Status:記録と一致する complete または blocked。
  • Record:封印済み replay.json のパス、または作成されなかった理由。
  • Result:観察された一致または相違を説明する一文。
  • Blocker:blocked の場合、不足している前提条件または依頼元に必要な対応。

完了とは再生の試行が終了したことを意味し、リグレッションが確認されたことを意味するものではありません。

拒否すべき合理化

  • 「以前のログは正しそうです」:再生には独自の実行が必要です。

コメント