Intel X86汇编：如何判断函数参数与局部变量的位宽？

先看你给出的第一组汇编指令：

mov dx, word ptr [ebp+arg_0]
mov [ebp+var_8], dx

• 关于var_8：因为dx是16位寄存器，指令把dx的值直接存入[ebp+var_8]，说明这个局部变量的存储空间就是16位，对应C语言里的short（有符号16位）或者unsigned short（无符号16位），这个是可以确定的。
• 关于arg_0：这里用了word ptr（16位宽度）来访问[ebp+arg_0]，但这只能说明当前代码只用到了arg_0的16位数据，没法直接确定它的完整位宽。它有可能本身就是16位的short类型；也有可能是32位的int类型，但这段代码只需要它的低16位值。要确定arg_0的真实位宽，还得结合整个函数的其他上下文（比如调用这个函数的代码怎么传参，或者函数里其他地方对arg_0的操作）。

再看第二个问题：如果汇编里出现mov ecx, [ebp+arg_0]，ecx是32位寄存器，这条指令是把[ebp+arg_0]处的32位数据完整加载到寄存器里。这种情况下，几乎可以确定arg_0是32位类型——比如C语言里的int、unsigned int，或者在32位系统下的指针类型（指针宽度和系统位数一致，32位系统下指针就是32位）。当然极端情况下也存在代码只取64位参数低32位的可能，但这种场景非常少见，常规分析里我们默认这代表arg_0是32位类型。

内容的提问来源于stack exchange，提问作者ineedahero