调用约定:结构决定了一切

逆向工程 · 2 分钟阅读· 201 次阅读

x64 下前四个参数走寄存器,函数开头把 rcx 与 rdx 存到栈上,所以看不到 push

逆向的第一课不是工具,是「这个东西本来该长什么样」。

先说结论

结构读对了,一半的问题自己会消失。

  • 先看头部:格式与位数
  • 再看段表:布局与对齐
  • 入口点不等于 main
  • 重定位影响静态地址
  • 交叉验证:结构体按大小与字段类型决定走寄存器还是隐式指针,超过 16 字节基本走指针

先看骨架

Win64 要求调用方预留 32 字节影子空间,栈帧比 SysV 大一圈,算错就全乱。

结构对了,字段名可以慢慢猜;结构错了,猜对也是错的。

关键字段

cdecl 由调用方清栈,stdcall 由被调方清栈,看 ret 后面有没有立即数就能分辨。

字段 作用 常见误读
头部标识 判断格式与位数 把 32 位当 64 位读
段表/节表 决定内存布局 忽略对齐导致偏移全错
入口点 程序开始执行的位置 把入口当 main
重定位信息 加载时的地址修正 忽略后静态地址对不上

几个具体细节

下面这些是相对确定的细节:

  • 结构体按大小与字段类型决定走寄存器还是隐式指针,超过 16 字节基本走指针
  • 可变参数函数必须由调用方清栈,浮点参数还要看 al 里存了几个向量寄存器

调用约定

常见的读错方式

把 x64 当 x86 读栈,找不到参数就断言加壳。

忽略影子空间,栈帧大小一直算不对。

怎么验证自己读对了

用一个已知的工具交叉验证:调用约定是读汇编的语法,语法错了语义就全是猜的。

还有几处容易忽略的

这些细节不影响入门,但影响你判断的准确度。

  • x64 下前四个参数走寄存器,函数开头把 rcx 与 rdx 存到栈上,所以看不到 push
  • 调用约定判断错,参数会整体错位,反编译出来的代码读起来像乱码,先用一个已知的库函数校准
  • 把 x64 当 x86 读栈,找不到参数就断言加壳
  • 看到 ret 就以为是 cdecl,没看后面的立即数

逆向不是猜,是核对。

评论 (3)

K
Kai

日志留存时间那条被我们领导采纳了。

白
白帽小陈

防御那节写得克制,没有教人打站,这点好评。

阿
阿哲

审计检查点可以直接做成 checklist。

发表评论

验证码

提交后需站长审核,通过后才会显示。