C/C++やunsafeを含むRustのテストで、領域外アクセスや解放済みメモリの使用を検出します。ビルド設定からクラッシュ報告の読み解きまで支援します。
- C/C++のファジング中のメモリエラー検出
- Rustのunsafeや外部呼び出しの検証
- ASanのクラッシュ報告を読みたいとき
受け取った不具合の検証用コードを、変更前後のソースから新たに構築した環境で再実行します。元の再現担当とは独立して、動作の違いと実際の利用経路を確かめ、証拠を記録します。
Use when independently verifying a supplied PoC against fresh live before/after deployments.
提供されたPoC(不具合を確かめる検証用コード)を、変更前後の環境で独立して再実行します。変更前の S0 と変更後の S1 を自分の作業ディレクトリ内で新たにビルドし、同じ入力で試します。変更前は正しく動き、変更後に主張どおりの失敗が起きるかを確認し、手順やログを replay.json に記録します。
最初の再現結果を別の担当が確かめたいときに向いています。実際の利用窓口まで到達できるかも、想定された利用者や攻撃者の権限だけで確認します。結果の食い違いや検証を妨げた条件も残せます。
不具合候補、固定されたソースの記録、必要な記録一式が揃った再現資料、割り当て情報が必要です。元の再現担当とは異なる新しいコンテキストを使い、他の試行のビルド成果物は流用しません。PoCの作成や修正は対象外で、変更が必要なら再現工程へ戻します。再実行の完了だけで、不具合が確定したとは扱いません。
この紹介文は、公開されている SKILL.md をもとに AI(OpenAI Codex)が作成しました。正確な仕様は下の原文を確認してください。
インストールする前に、エージェントに与えられる指示の中身を確認できます。
Input: candidate, frozen source records, complete sealed reproduction package and registry assignment. Use a fresh context distinct from the reproducer. Follow project guidance before target work.
Authoring or repairing the PoC. Return changes to the caller for reproduction; changed PoCs require new reproduction and replay.
build_dirs. Execute the
unchanged PoC with the same input against both. Record whether S0 behaves
correctly and S1 exhibits the claimed failure.replay.json, referencing the reproduction record and original
PoC/input. Record divergence or blockers; uncertainty stays unresolved.
Release temporary resources without deleting evidence.Keep detailed evidence in the sealed package. Return only:
complete or blocked, matching the record.replay.json path, or why none was produced.Completion means the replay attempt finished, not that the regression is confirmed.
まだレビューはありません。使ってみた感想をお寄せください。
ログインなしで書き込めます。使ってみた感想、質問、動かなかった環境などを気軽にどうぞ。
まだコメントはありません。最初のコメントを書いてみませんか。
C/C++やunsafeを含むRustのテストで、領域外アクセスや解放済みメモリの使用を検出します。ビルド設定からクラッシュ報告の読み解きまで支援します。
変更前後のソースと実環境での再現・独立検証の証拠を照合し、新たな不具合か、既存の問題や判定保留かを根拠付きで整理して判定記録に残すスキル。
C/C++のプログラムに多様な入力を与えて不具合を探すテストを、AFL++で複数コアに並列化し、実行状況の確認からクラッシュの再現・調査まで支援するスキル。
GitHub Actionsで動くAIエージェントへの不正な指示の混入や危険な権限設定を点検します。外部入力が届く経路を追い、根拠と重大度、修正案を報告します。
Algorandのスマートコントラクトを11種類の脆弱性パターンで点検し、権限や手数料、入力検証の問題を根拠・修正案付きで報告するスキル。
PythonコードやC拡張へ多様な入力を与えるファジングを導入し、予期しない例外やメモリ破損を探します。実行環境の準備からテスト用コードの作成、結果の読み取りまで支援します。