C/C++やunsafeを含むRustのテストで、領域外アクセスや解放済みメモリの使用を検出します。ビルド設定からクラッシュ報告の読み解きまで支援します。
- C/C++のファジング中のメモリエラー検出
- Rustのunsafeや外部呼び出しの検証
- ASanのクラッシュ報告を読みたいとき
変更前後のシステムを実際に構築・起動し、同じ入力で不具合候補の挙動を比較して、再現手順、環境情報、個別のログを検証記録として保存するスキル。
Use when deploying before/after systems and building a live-system PoC for a regression candidate.
変更前のS0と変更後のS1を実際に構築・起動し、不具合候補を再現するためのPoC、つまり挙動を確かめる実証用の手順やコードを作ります。同じ入力と比較可能な設定で両方を動かし、変更前の正常動作と変更後の失敗が観測されるかを記録します。環境、依存関係のバージョン、実行コマンド、入力、個別のログを保存し、reproduce.jsonに結果をまとめます。
コード上で見つかった疑わしい変更を、実際の利用経路で確かめたいときに向いています。CLIやライブラリの通常の操作、対応するビルド手順を通じた検証にも使えます。実行できない場合は、試したセットアップと不足する前提条件を残します。
準備・調査パッケージ、候補、担当割り当てと、対象を動かすサービスや依存関係が必要です。モックや切り出した関数による模擬検証は使いません。既存PoCの独立検証は対象外です。実験の完了は、新しい不具合の確定を意味しません。
この紹介文は、公開されている SKILL.md をもとに AI(OpenAI Codex)が作成しました。正確な仕様は下の原文を確認してください。
インストールする前に、エージェントに与えられる指示の中身を確認できます。
Input: sealed preparation/discovery packages, candidate and registry assignment. Follow project guidance before target work.
Independent verification of an existing PoC; use replay.
reproduce.json. If blocked, retain attempted setup and exact prerequisites.
Build and deploy only inside your attempt directory, and list every build directory in build_dirs.Keep detailed evidence in the sealed package. Return only:
complete or blocked, matching the record.reproduce.json path, or why none was produced.Completion means the experiment finished, not that the regression is confirmed.
まだレビューはありません。使ってみた感想をお寄せください。
ログインなしで書き込めます。使ってみた感想、質問、動かなかった環境などを気軽にどうぞ。
まだコメントはありません。最初のコメントを書いてみませんか。
C/C++やunsafeを含むRustのテストで、領域外アクセスや解放済みメモリの使用を検出します。ビルド設定からクラッシュ報告の読み解きまで支援します。
変更前後のソースと実環境での再現・独立検証の証拠を照合し、新たな不具合か、既存の問題や判定保留かを根拠付きで整理して判定記録に残すスキル。
C/C++のプログラムに多様な入力を与えて不具合を探すテストを、AFL++で複数コアに並列化し、実行状況の確認からクラッシュの再現・調査まで支援するスキル。
GitHub Actionsで動くAIエージェントへの不正な指示の混入や危険な権限設定を点検します。外部入力が届く経路を追い、根拠と重大度、修正案を報告します。
Algorandのスマートコントラクトを11種類の脆弱性パターンで点検し、権限や手数料、入力検証の問題を根拠・修正案付きで報告するスキル。
PythonコードやC拡張へ多様な入力を与えるファジングを導入し、予期しない例外やメモリ破損を探します。実行環境の準備からテスト用コードの作成、結果の読み取りまで支援します。