AI 逆向工程与代码理解实战 · 第 08 章 angr假设验证闭环

AI 逆向工程与代码理解实战 · 第 08 章 angr假设验证闭环

章节摘要：图上的可达性只是「结构上可能」，逆向最终要回答「事实是否如此」。本章用三节搭一个从原理到 AI 协作的验证闭环。8.1 节讲符号执行的直觉——让变量「同时取所有值」，用约束求解器判定每条分支是否可行，路径爆炸是它的宿命，随后在 angr（约 9.2k stars，BSD-2）上加载自编 crackme、探索路径、解出口令；8.2 节是本章核心：LLM 读反编译伪代码提出「这里可能是校验逻辑」的假设，生成 angr 探索脚本，运行结果回填结论——模型不下结论、求解器下结论，这个分工就是反幻觉；8.3 节补上交互式一环：pwndbg（约 11.1k stars，MIT）双后端调试验证静态假设，qemu-user 仿真跑非本架构样本，EnIGMA 的结论说明交互式工具如何放大智能体。三节读完，你拥有的不是某个工具，而是一条「假设—验证—回填」的完整闭环。

学习目标

• 用「同时取所有值」的直觉解释符号值、路径条件与约束求解。
• 独立用 angr 完成加载二进制、explore 探索、求解口令的全流程。
• 阐述 LLM 提假设、angr 做验证的闭环架构及其反幻觉机理。
• 用 pwndbg 断点、寄存器、单步验证一条静态假设。
• 用 qemu-user 仿真执行并调试非本架构样本。
• 转述 EnIGMA「交互式工具放大智能体」的核心结论。

核心概念速览

# ch08_loop.txt —— 本章的假设验证闭环（第 11 章证据链的执行端）

  反编译伪代码            LLM（提假设）
       │                     │ 假设：校验函数/成功串/失败串
       │                     ▼
       │              渲染 angr 探索脚本
       │                     │
       │              隔离环境运行
       │                     │
       │        ┌─── found ──┴── avoid/超时 ───┐
       │        ▼                              ▼
       │   求解器背书：口令与路径        失败信息回喂模型修正
       └──────────► pwndbg 交互复核（寄存器/单步/qemu-user）
​

一句话金句：模型负责想「可能是什么」，求解器负责说「到底是不是」——逆向的结论只能出自后者。

（文字流程图）伪代码 ──▶ 假设 ──▶ angr 脚本 ──▶ 运行 ──▶ 结论回填证据链。

子章节导航

• 第 8.1 节《符号执行原理与上手》：符号值与路径条件、路径爆炸的宿命与缓解、angr 全流程破解自编 crackme、能力地图。
• 第 8.2 节《LLM提假设、angr验证》：闭环架构逐段拆解、最小实现骨架、反幻觉机理、angr 官方 MCP 动向。
• 第 8.3 节《pwndbg交互式验证》：双后端安装、验证静态假设的标准动作、qemu-user 仿真、EnIGMA 论据。

三节必须按序读：8.1 是 8.2 脚本模板的来源，8.2 的结论需要 8.3 的动态复核才算闭环。

子章节之间的逻辑关系

# ch08_logic.txt —— 三节递进：模板供脚本渲染，结论交动态复核

┌──────────────┐  模板供脚本渲染  ┌──────────────┐  结论交动态复核 ┌──────────────┐
│ 8.1 原理与上手│ ──────────────▶ │ 8.2 假设验证  │ ──────────────▶│ 8.3 交互验证  │
│ 求解器下结论  │                 │ 模型提假设    │                 │ 真实运行背书  │
└──────────────┘                 └──────────────┘                 └──────────────┘
​

8.2 是本章枢纽：它把 8.1 的手工流程自动化成 AI 工作流，又把产出交给 8.3 做最后确认——这三节合起来就是第 11.1 节证据链「假设、验证命令、输出、结论」四列的生成机器。

前置知识与后续延伸

• 前置：第 01 章《Ghidra地基》的伪代码阅读能力（8.2 的输入就是它）；第 02 章《radare2与脚本化》的命令行分析习惯；第 03 章《GhidraMCP实战》与第 05 章《REA聚合层》的工具编排背景（8.2 的 MCP 讨论）。
• 延伸阅读：angr 官方文档（angr.io）与官方教程；pwndbg 官方文档；EnIGMA 论文（ICML 2025）。
• 后续：第 09 章把闭环产出的行为确认用于命名恢复的「转正」；第 11.1 节把闭环输出纳入证据链四列模板。

合规声明：本节内容仅用于授权范围内的安全研究与教育目的；未经授权对他人软件进行逆向工程可能违反法律与许可协议。