附录B 工具速查
覆盖全书工具的一页速查：定位、安装示意、许可证与社区热度。热度为 2026-10 社区口径（stars 取整到一位小数，以官方仓库实时数据为准）；安装命令为写法示意，路径、依赖与最新参数一律以官方文档为准。VulnHuntr 一项请特别注意停滞标注。
一、二进制逆向与分析
| 工具 |
定位与用途 |
安装（示意） |
许可证 |
热度 |
| Ghidra |
NSA 开源反编译套件：反汇编、反编译、脚本化、headless |
官网下载解压，需 JDK，以官方文档为准 |
Apache-2.0 |
开源标杆 |
| GhidraMCP |
把 Ghidra 反编译、交叉引用等暴露给模型的 MCP 服务 |
按官方仓库 README 安装插件（第 03 章） |
以仓库为准 |
见第 03 章 |
| radare2 |
命令行逆向框架：分析、修补、脚本化 |
git 官方仓库克隆后 sys/install.sh |
LGPL 系 |
高 |
| r2ai |
radare2 的大模型伴侣：会话内问答与辅助分析 |
r2pm -ci r2ai |
以仓库为准 |
中 |
| r2mcp |
radare2 的 MCP 接入 |
以官方仓库 README 为准 |
以仓库为准 |
小 |
| REA |
本书第 05 章的自建聚合层：统一编排多工具 |
本书自建组件，见第 05 章《REA聚合层》 |
自建 |
本书组件 |
| angr |
符号执行与二进制分析平台：VEX IR、CFG 恢复、去混淆 |
pip install angr（Python 3.12 以上） |
BSD-2 |
约 9.2k stars |
| pwndbg |
GDB/LLDB 双后端增强调试器，支持 qemu-user 场景 |
git 克隆官方仓库后 ./setup.sh |
MIT |
约 11.1k stars |
| binsync |
git 底座跨反编译器命名协作（Ghidra、IDA、Binary Ninja） |
pip install binsync 加各端插件 |
以仓库为准 |
约 0.75k stars |
二、源码静态分析
| 工具 |
定位与用途 |
安装（示意） |
许可证 |
热度 |
| semgrep |
模式即代码的轻量 SAST：规则三行起步，含污点模式；平台含 SCA 与密钥检测 |
pip install semgrep |
社区版免费 |
约 17.1k stars |
| CodeQL |
代码当数据库：QL 污点追踪与变体发现 |
GitHub 官方发布页下载 CLI |
查询库 MIT；研究免费、商业 CI 需授权 |
约 10.2k stars |
| Joern |
代码属性图平台：AST、CFG、PDG 一张图，源码与二进制（Ghidra 前端）同语言查询 |
官方安装脚本（joern.io） |
Apache-2.0 |
约 3.6k stars |
三、AI 模型与挖掘方法
| 工具 |
定位与用途 |
安装（示意） |
许可证 |
热度 |
| LLM4Decompile |
反编译专用开源模型系列 1.3B 到 33B；End 直接反编译、Ref 精修 Ghidra |
HuggingFace 权重加 transformers 生态（第 9.1 节） |
MIT |
约 7.1k stars |
| VulnHuntr |
零样本 LLM 漏洞挖掘：分阶段提问、全调用链、PoC 加置信度 |
pip 安装，以官方仓库为准（第 10.1 节） |
AGPL-3.0 |
约 2.8k stars；推送停在 2025-02、仅支持 Python，截至 2026-10 已停滞 |
| reverify |
理念参考：AI 提假设、确定性工具验证的反幻觉框架 |
以官方仓库为准（第 11.1 节引用其理念） |
以仓库为准 |
约 1.3k stars |
四、商业工具对照（详见第 11.2 节）
| 工具 |
定位与口径 |
| IDA Pro 加 ida-pro-mcp |
ida-pro-mcp 约 12.9k stars、MIT、需 IDA Pro 8.3 以上（以项目 README 为准） |
| Hex-Rays 官方 MCP |
2026-09-25 发布；官方版已发布，仓库地址以 hex-rays 官方渠道为准 |
| Binary Ninja 加 Sidekick |
商业 AI 路线：模型深度集成在工具内，能力与计费以官方站点为准 |
五、环境适配速记
| 工具 |
Windows 加 Git Bash 注意 |
Linux 与 WSL |
| semgrep |
原生可用；路径用正斜杠 |
原生可用 |
| CodeQL |
CLI 可用；建库脚本建议放 WSL |
编译型语言建库首选 |
| Joern |
需 JDK；安装脚本建议在 WSL 跑 |
原生最佳 |
| angr |
pip 安装可行；自编 crackme 建议在 WSL 用 gcc |
原生最佳 |
| pwndbg 与 qemu-user |
不支持 Windows 原生，走 WSL 或 Linux 虚机 |
原生最佳 |
| binsync |
客户端可用；git 仓库建议放内网服务 |
原生可用 |
六、SOP 十二步与工具映射（详见第 11.3 节）
| SOP 步骤 |
主用工具 |
产出 |
| 1 许可审查与 2 范围签署 |
人工加法务 |
授权范围文档 |
| 3 样本入沙箱 |
隔离环境（沙箱书第 02 章） |
受控执行环境 |
| 4 semgrep 快筛 |
semgrep |
告警清单（JSON 或 SARIF） |
| 4 CodeQL 污点 |
CodeQL |
路径级发现 |
| 5 CPG 建图与查询 |
Joern（二进制加 Ghidra 前端） |
图查询结果 |
| 6 假设渲染与运行 |
LLM 加 angr |
VERIFIED 或 REFUTED |
| 7 动态复核 |
pwndbg（含 qemu-user 场景） |
三动作会话记录 |
| 8 证据链与进制闸 |
四列模板加 int_convert |
证据链文件 |
| 9 命名转正 |
LLM 建议加 binsync |
共享命名库 |
| 10 模式沉淀 |
semgrep 规则或 QL 查询 |
规则库增量 |
| 11 报告评审 |
证据链驱动 |
终版报告 |
| 12 归档 |
git |
命名库、规则库、证据链 |
七、使用注意
- stars 与版本随时间变化，本表口径为 2026-10，引用他人时注明时间戳。
- 安装命令在 Windows 加 Git Bash 环境注意路径分隔符；C 与 C++ 项目分析类工具建议在 Linux 或 WSL 环境。
- 敏感样本场景：优先本地部署模型（第 9.1 节），样本与工具同处隔离环境（纪律见《Agent 沙箱与运行时隔离》第 02 章）。
- 各工具的深度用法速查本书各章：双引擎见第 06 章、CPG 见第 07 章、闭环见第 08 章、命名见第 09 章、方法论见第 10 章、选型与闸门见第 11 章。
- VulnHuntr 引用三连：推送停在 2025-02、仅支持 Python、截至 2026-10 已停滞——漏标任何一条都算引用不完整。
- 商业工具的许可与席位政策随厂商调整，采购前以官方最新条款与报价为准；本书不代任何产品背书。
- 自建组件（如第 05 章聚合层、11.2 节 int_convert）没有 stars 可引，但它们恰恰是流程资产的核心——速查表的价值在「入口」，不在「清单全」。
- 前半本工具（Ghidra、radare2、GhidraMCP、r2ai 与 r2mcp 的完整用法）见第 01 到 05 章，本表只列入口与口径。