怎么看调用约定:观察顺序

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

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

观察顺序错了,会在一堆细节里迷失。正确的顺序是:每层只问一个问题。

先说结论

每层只回答一个问题,才不会乱。

  • 文件层:做什么
  • 加载层:放哪里
  • 运行层:怎么走
  • 先看字符串与导入
  • 有假设再下断点

三层各问什么

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

层 看什么 回答的问题
文件层 格式、段表、导入表、字符串 它大概做什么
加载层 内存布局、基址、重定位 它被放在哪
运行层 调用、参数、返回值 它实际怎么走

先看字符串和导入

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

字符串和导入表是成本最低的线索,能省掉大量反汇编时间。

几个具体线索

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

  • 结构体按大小与字段类型决定走寄存器还是隐式指针,超过 16 字节基本走指针

怎么看调用约定

什么时候下断点

等你已经能写出「它大概会调用哪个函数」的假设,再下断点验证。调用约定是读汇编的语法,语法错了语义就全是猜的。

还有几处容易忽略的

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

  • x64 下前四个参数走寄存器,函数开头把 rcx 与 rdx 存到栈上,所以看不到 push
  • 可变参数函数必须由调用方清栈,浮点参数还要看 al 里存了几个向量寄存器
  • 调用约定判断错,参数会整体错位,反编译出来的代码读起来像乱码,先用一个已知的库函数校准
  • 把 x64 当 x86 读栈,找不到参数就断言加壳
  • 忽略影子空间,栈帧大小一直算不对
  • 看到 ret 就以为是 cdecl,没看后面的立即数

观察的顺序,决定了效率。

评论 (3)

路
路人甲

终于有人讲清楚「为什么」而不是只给命令。

阿
阿哲

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

南
南风

补一句:修完要回归,很多人修一半。

发表评论

验证码

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