**なぜ名前にハッシュが含まれるのか。** 同じプログラムの2つのビルドはファイル名を共有してもSHA-256は共有しないため、証拠とバイナリが暗黙のうちに乖離することはない。ターゲットを再コンパイルすれば、汚染されたディレクトリではなく新しいディレクトリが得られる。

`pipeline_status.py`はそのツリーを監査し、どのステージが一度も実行されなかったかを報告する — 一度も実行されなかったステージはエラーを残さず、存在しないディレクトリだけを残すからであり、それは「実行されたが何も見つからなかった」と全く同じに見える。

</details>

---

## 4. ツールインベントリ — どのスクリプトが何を呼び出すか

#### 逆コンパイルして読む

| ツール | バージョン | 使用元 | 用途 |
|---|---|---|---|
| **Ghidra** | 12.1.2 | `ghidra_export.py` `batch_decompile.sh` `decompile_addr.py` | 逆コンパイラ — 中核を担うツール |
| **pyghidra** | 3.1.0 | 同じ3つ | ヘッドレスでの駆動 |
| radare2 | 6.2.0 | `run_tools.sh` `strings_report.py` `brief.py` | あらゆるコマンドからのJSON出力 |
| rizin | 0.9.1 | `capabilities.sh` `preflight.sh` | **第2の**逆コンパイラ — クロスチェック |
| binutils | 2.46 | `triage.py` `inventory.py` `run_tools.sh` | readelf、objdump、nm、strings、size |
| file | 5.48 | すべてのエントリポイント | 毎回最初のコマンド |

#### トリアージ — これは何か、何ができるか

| ツール | バージョン | 使用元 | 用途 |
|---|---|---|---|
| **capa** | 9.4.0 | `run_tools.sh` `brief.py` | ルールに基づくケイパビリティ、アドレス付き |
| **floss** | 3.1.1 | `strings_report.py` | `strings`では見えない文字列 |
| yara | 4.5.7 | `run_tools.sh` `analyze.sh` | パッカー、暗号定数、ライブラリバージョン |
| detect-it-easy | 3.21 | `run_tools.sh` | パッカーとコンパイラの識別 |
| checksec | pwntools | `triage.py` `brief.py` | NX / RELRO / canary / PIE |

#### 実行 — 最大の単一レバー

| ツール | バージョン | 使用元 | 用途 |
|---|---|---|---|
| **qemu-user** | 11.1.0 | `dynamic_probe.py` `quick_dynamic.sh` | 異なるアーキテクチャのバイナリを実行 |
| **9つのクロスsysroot** | glibc | `setup_sysroots.sh` | これらがなければqemuは異なるアーキテクチャの動的バイナリをロードすらできない |
| gdb / ltrace / strace | 17.2 | `capabilities.sh`が報告 | トレース; `ltrace`はここで最も活用されていないツール |

> ある測定された比較では、同じモデルが実行可能な状態で**3倍の再現率**を記録した。この行が、sysrootがflakeに同梱されている理由である。

#### サイレントなバグを顕在化させる

| ツール | バージョン | 使用元 | 用途 |
|---|---|---|---|
| **valgrind** | 3.27.1 | `sanitize_run.sh` | 再ビルドできないバイナリにとってASanに最も近いもの |
| **AFL++** | 5.00c | `fuzz_target.sh` `quick_dynamic.sh` | カバレッジガイド付きファジング、QEMUモード |
| libdislocator | AFL++に同梱 | `sanitize_run.sh` `quick_dynamic.sh` | アロケーションごとにページを割り当て — サイレントなOOB読み取りをフォールトに変える |
| clang | 21.1.8 | `triage.py` | リフトされたコードに対する`-fsanitize=...` |

#### 求解とエミュレーション

| ツール | バージョン | 使用元 | 用途 |
|---|---|---|---|
| **z3** | 4.16.0 | `check_bound.py` | 境界の主張を証明 — 9つのモードと汎用のエスケープハッチ |
| **angr** | 9.2.154 | `symfn.py` | 関数ごとのシンボリックハーネス: ハイジャック、OOB書き込み、ゼロ除算 |
| **unicorn** | 2.1.4 | `emulate.py` | 選んだ入力に対して1つの関数を単独で実行 |
| triton | 3.7.0 | 利用可能 | 具体的なトレース上でのconcolic実行とテイント |
| pwntools | 4.15.0 | `brief.py` `run_tools.sh` | `cyclic()`オフセット、ELF/GOT解析 |

#### 逆コンパイルされたCに対する静的解析

| ツール | バージョン | 使用元 | 用途 |
|---|---|---|---|
| cppcheck | 2.21.1 | `run_tools.sh` `analyze.sh` | コンパイルできないコードを許容する — 逆コンパイラの出力はコンパイルできない |
| semgrep | 1.172.0 | `run_tools.sh` `analyze.sh` | パターンルール、ビルド不要 |
| flawfinder | 2.0.20 | `capabilities.sh` | 字句的; 意見を持ったgrep |

<details>
<summary><b>シェルにもあるもの</b> — ファームウェア、フォーマット、悪用可能性</summary>

`binwalk` 3.1.0 · `unsquashfs` · `sasquatch` · `jefferson` · `ubi_reader` ·
`kaitai-struct-compiler` 0.11 · `tshark` 4.6.8 · `hexyl` · `pev` 0.81 ·
`osslsigncode` · `diffoscope` 328 · `patchelf` 0.15.2 · `ROPgadget` 7.7 ·
`one_gadget` 1.9.0 · `honggfuzz` · `radamsa` 0.7 · `bitwuzla` 0.9.1 · `rr` 5.9.0 ·
`bpftrace` 0.26.0 · `upx` 5.2.0

すべてのバージョンを含む完全なインベントリ: [`devshell/DEVSHELL.md`](https://github.com/tihanyin/rex-skill/blob/main/devshell/DEVSHELL.md)

</details>

---

## 5. Claude以外で使う

`general-skill/SKILL-RE.md`は**1つの自己完結したファイル**である — `name`/`description`のfrontmatterを持つ3,750行のプレーンMarkdown。Claudeバンドルが持つすべてを1つにまとめたもの: 同じ証拠基準、同じパイプライン、異なるアーキテクチャのファジングに関する同じルール。`scripts/`がその隣に来るようにリポジトリをクローンし、次に:

| ランナー | 方法 |
|---|---|
| **Codex** | `AGENTS.md`をそれを指すようにするか、システムプロンプトとして貼り付ける |
| **opencode** | `opencode.json`に`{"instructions": ["SKILL-RE.md"]}` |
| **Cursor / Windsurf** | プロジェクトルールとして投入する |
| **素のAPIループ** | ただのMarkdownである — 先頭に付ける |
| **人間** | 教科書として読める; それが狙いだった |

> **なぜ2つの形式なのか?** Claudeバンドルは16 KBのコアと、オンデマンドでロードされる12の参照ファイルである — 特定の質問が特定の章を必要とするまでは小さなコンテキスト。それらのポインタを辿るのはClaude Codeだけなので、他のすべてのランナーは代わりに単一ファイルを受け取る。

---

---

## 6. 中身は何か```
.
├── claude-skill/          the Claude Code form
│   ├── skills/reverse-engineering/
│   │   ├── SKILL.md           16 KB core, loaded on every trigger
│   │   └── references/        12 files, pulled in on demand
│   ├── agents/                7 subagents
│   └── commands/              /re-analyze — orchestrates all three phases
│
├── general-skill/         the portable form
│   ├── SKILL-RE.md            the whole methodology, one file, 32 sections
│   └── AGENTS.md              points any agent at it
│
├── scripts/               32 tools — the pipeline and its parts
├── devshell/              flake.nix + flake.lock + DEVSHELL.md
├── images/                logo and figures
└── install.sh             one command into ~/.claude