C/C++やunsafeを含むRustのテストで、領域外アクセスや解放済みメモリの使用を検出します。ビルド設定からクラッシュ報告の読み解きまで支援します。
- C/C++のファジング中のメモリエラー検出
- Rustのunsafeや外部呼び出しの検証
- ASanのクラッシュ報告を読みたいとき
変更によって生じた不具合の調査に向け、変更前後のソースとPR・コミットの情報を固定し、調査の境界や収集上の制限を記録した準備資料をまとめます。
Use when pinning before/after sources and collecting PR or commit context for a regression investigation.
変更によって生じた不具合を調べる前に、変更前後のソースと関連情報を確定します。PRのマージ方法やコミット範囲に応じて、比較対象のS0/S1を選びます。コミットメッセージやPRの本文、議論、レビューなどをURL・収集日時とともに保存し、両時点のセキュリティ関連文書も探します。ソースの保存物と判断理由は、確定済みの記録であるprepare.jsonにまとめます。
PRやコミットを起点に不具合を調査し、どこからどこまでの変更を対象にしたか明確にしたいときに向いています。依存関係やサブモジュールなどの版も保ち、後続の調査へ資料を渡す準備に使えます。
PRのURL、またはリポジトリとコミット・範囲、および調査台帳の割り当て情報が必要です。付属の snapshot.pyはuv run --no-projectで実行し、必要に応じてGitコマンドを使います。比較範囲が曖昧な場合や必要な基準点がない場合は、準備を中断して不足条件を記録します。
この紹介文は、公開されている SKILL.md をもとに AI(OpenAI Codex)が作成しました。正確な仕様は下の原文を確認してください。
インストールする前に、エージェントに与えられる指示の中身を確認できます。
Input: PR URL or repository plus commit/range, and registry assignment. Follow project guidance after resolving the target commit.
The same inputs have a verified preparation record; reuse it.
uv run --no-project with
repository, S0, S1 and a new directory, or equivalent Git commands for special
source needs. Preserve dependency/submodule/LFS revisions. Exclude later history;
keep exports pristine and build in separate copies.prepare.json with boundary explanations, frozen context and
source artifacts. If blocked, preserve collected evidence and name the prerequisite.Keep detailed evidence in the sealed package. Return only:
complete or blocked, matching the record.prepare.json path, or why none was produced.まだレビューはありません。使ってみた感想をお寄せください。
ログインなしで書き込めます。使ってみた感想、質問、動かなかった環境などを気軽にどうぞ。
まだコメントはありません。最初のコメントを書いてみませんか。
C/C++やunsafeを含むRustのテストで、領域外アクセスや解放済みメモリの使用を検出します。ビルド設定からクラッシュ報告の読み解きまで支援します。
変更前後のソースと実環境での再現・独立検証の証拠を照合し、新たな不具合か、既存の問題や判定保留かを根拠付きで整理して判定記録に残すスキル。
C/C++のプログラムに多様な入力を与えて不具合を探すテストを、AFL++で複数コアに並列化し、実行状況の確認からクラッシュの再現・調査まで支援するスキル。
GitHub Actionsで動くAIエージェントへの不正な指示の混入や危険な権限設定を点検します。外部入力が届く経路を追い、根拠と重大度、修正案を報告します。
Algorandのスマートコントラクトを11種類の脆弱性パターンで点検し、権限や手数料、入力検証の問題を根拠・修正案付きで報告するスキル。
PythonコードやC拡張へ多様な入力を与えるファジングを導入し、予期しない例外やメモリ破損を探します。実行環境の準備からテスト用コードの作成、結果の読み取りまで支援します。