调用约定的工具链与取舍
cdecl 由调用方清栈,stdcall 由被调方清栈,看 ret 后面有没有立即数就能分辨
工具解决的是「看得见」的问题,判断还是要靠人。
先说结论
工具要少而熟。
- 静态:看结构
- 动态:看数据
- 辅助:做批量
- 先用熟的描述问题
- 效率来自脚本
三类工具
按这个分工选:
Win64 要求调用方预留 32 字节影子空间,栈帧比 SysV 大一圈,算错就全乱。
| 类别 | 代表 | 强项 |
|---|---|---|
| 静态 | 反汇编器/反编译器 | 结构与逻辑 |
| 动态 | 调试器 | 真实数据与分支 |
| 辅助 | 脚本与插件 | 批量与自动化 |
怎么选
cdecl 由调用方清栈,stdcall 由被调方清栈,看 ret 后面有没有立即数就能分辨。
先用最熟的那个把问题描述清楚,再换工具验证。
几个具体经验
下面这些是相对确定的细节:
- 结构体按大小与字段类型决定走寄存器还是隐式指针,超过 16 字节基本走指针

别做的事
把 x64 当 x86 读栈,找不到参数就断言加壳。
换工具不能代替思考,只会让你更晚发现问题。
一句提醒
调用约定是读汇编的语法,语法错了语义就全是猜的。
工具链稳定下来之后,效率提升来自脚本,不来自新工具。
还有几处容易忽略的
这些细节不影响入门,但影响你判断的准确度。
- x64 下前四个参数走寄存器,函数开头把 rcx 与 rdx 存到栈上,所以看不到 push
- 可变参数函数必须由调用方清栈,浮点参数还要看 al 里存了几个向量寄存器
- 调用约定判断错,参数会整体错位,反编译出来的代码读起来像乱码,先用一个已知的库函数校准
- 把 x64 当 x86 读栈,找不到参数就断言加壳
- 忽略影子空间,栈帧大小一直算不对
- 看到 ret 就以为是 cdecl,没看后面的立即数
工具是手脚,判断是脑子。
评论 (3)
防御那节写得克制,没有教人打站,这点好评。
补一句:修完要回归,很多人修一半。
日志留存时间那条被我们领导采纳了。
发表评论