018、反汇编代码的重建与编译

重建的目标

重建不是追求编译出完全相同的机器字节，而是恢复一个在关注输入范围内行为等价、结构清晰、可验证的实现。

三种目标要分清：

多数学习场景以第二种为主。

第一步不是立刻写 C++，而是建立可靠边界：

边界错误会让后续类型和控制流全部错位。

对每个函数记录：

候选名称：
调用约定：
参数数量与位置：
参数访问宽度：
返回值：
this / 隐藏返回缓冲区：
修改的外部状态：
所有调用点是否一致：

调用者说明“怎样传”，被调用者说明“怎样用”，两边一致时置信度才高。

类型恢复顺序建议：

未知字段先使用中性名称和字节填充，不要为了“看起来完整”虚构含义。

先写低层但准确的版本：

if (condition) {
    goto block_a;
}
goto block_b;

确认基本块和边之后，再逐步提升为 if、switch、while、for。编译器优化可能让多个高级写法生成同一种控制流，所以应优先恢复等价语义，而不是执着于原作者使用的语法。

先求控制流正确，再求代码漂亮；先保留不确定性，再逐步重命名。

将第 9–12 章的证据组合起来：

先用纯结构体加普通函数重建也可以，等证据足够后再提升为 C++ 类，往往更稳。

行为等价不仅是返回值一致，还包括：

遗漏副作用是“看起来一样、运行却不一样”的主要原因。

为合法、良性的目标准备测试：

选取可控输入
记录原程序输出和状态变化
运行重建实现
比较返回值、缓冲区、文件和日志
覆盖边界值与错误路径

对于无法直接调用的原函数，可以在自编译的实验程序上先验证推导规则。

同一份源码至少比较：

观察内联、常量折叠、栈帧省略、循环变换、返回值优化和去虚拟化。这样可以区分“语法固有特征”和“某个构建的偶然形态”。

[确认] 有符号、动态行为或多个交叉引用支持
[高]   多条静态证据一致，尚未动态验证
[中]   结构合理，但存在多个等价解释
[低]   仅根据单条指令或单一调用点猜测

把不确定性写进笔记，比给每个函数编一个看似准确的名字更有价值。

只分析自己编写、明确授权、用于互操作研究或防御响应的程序。保存来源和授权记录，不发布第三方私有代码、密钥、敏感数据或可直接滥用的攻击实现。