调用约定能做到和做不到的
调用约定判断错,参数会整体错位,反编译出来的代码读起来像乱码,先用一个已知的库函数校准
任何分析手段都有边界,承认边界才能给出可靠的结论。
先说结论
能说清边界,结论才可信。
- 可观察:运行时数据
- 可推:结构与布局
- 不可得:原始源码
- 结论要带置信度
- 成本:影响面:决定反编译可读性;单个函数约 0.5 小时
能确定的
Win64 要求调用方预留 32 字节影子空间,栈帧比 SysV 大一圈,算错就全乱。
凡是运行时会用到的数据,最终都能观察到。
只能推测的
cdecl 由调用方清栈,stdcall 由被调方清栈,看 ret 后面有没有立即数就能分辨。
| 对象 | 可还原程度 | 原因 |
|---|---|---|
| 控制流 | 高 | 运行路径可观察 |
| 数据结构 | 中 | 布局可推,命名靠猜 |
| 业务意图 | 低 | 取决于命名与注释 |
| 原始源码 | 不可能 | 编译有损 |
几个具体限制
下面这些是相对确定的细节:
- 结构体按大小与字段类型决定走寄存器还是隐式指针,超过 16 字节基本走指针

怎么给出可靠结论
结论要带置信度:确定、较可能、推测。调用约定是读汇编的语法,语法错了语义就全是猜的。
还有几处容易忽略的
这些细节不影响入门,但影响你判断的准确度。
- x64 下前四个参数走寄存器,函数开头把 rcx 与 rdx 存到栈上,所以看不到 push
- 可变参数函数必须由调用方清栈,浮点参数还要看 al 里存了几个向量寄存器
- 把 x64 当 x86 读栈,找不到参数就断言加壳
- 忽略影子空间,栈帧大小一直算不对
- 看到 ret 就以为是 cdecl,没看后面的立即数
承认做不到,是专业的一部分。
评论 (3)
日志留存时间那条被我们领导采纳了。
防御那节写得克制,没有教人打站,这点好评。
审计检查点可以直接做成 checklist。
发表评论