X32位汇编和X64位区别无参函数分析（一）

前言

一、X32汇编函数无参无返回分析

二、X64汇编函数无参无返回分析

总结

---

前言

提示：以下是个人学习总结：如有错误请大神指出来，只供学习参考，本内容使用使用VS2017开发工具：语言是C++，需要一些常见的汇编指令，寄存器的概念，不会的可以看下其他的博主的，我用的这里方便学习全程debug，函数用的默认C++ cdecl调用约定模式（可以网上查下调用约定，右边入参到左边，称为外平栈）。

---

好久没更新博客了，准备把汇编自我总结复习的顺带把过程记录下来，接下来开始吧，准备简单的无参函数。

一、X32汇编函数无参无返回分析

1.代码图片（示例）：

不知道为什么不能赋值图这里直接赋值代码了。
#include <iostream>



void shenjianxz() {
    int a;
    int c;
    int d = 3;
    int d2 = 4;
    a = d - d2;
}

int main()
{
    shenjianxz();


}

0099179E call 00991131 这个就是上面那个简单shenjianxz（）函数调用，

CPU主要执行的是根据EIP执行跳转的，

call指令会 push 009917A3压栈 ：因为我们调用完函数返回的时候会取这个地址，跳转到下一行执行的代码， EIP寄存器=00991131

现在我们跳去看看按F11

这里 jmp 中间跳转程序空间保存的函数地址 00EA1750,咱们先不管，这不是重点

简单解下：jmp 只改变eip地址，cpu会自动运行到执行的地址去，在点下F11进入 调用函数代码区了。

重点关注下：ESP寄存器到哪了，EBP寄存器值等于多少。

我讲解下上面代码含义：

**shenjianxz

009918F0 push ebp
保留ebp 寄存器
009918F1 mov ebp,esp
为了后面恢复esp栈顶位置把他赋值给ebp进行操作
009918F3 sub esp,0F0h**
因为前面已经保存了esp的赋值，就不担心这里esp就开始扩展0F0h 位置esp位置肯定就变了
009918F9 push ebx
009918FA push esi
009918FB push edi
保留 ebx，esi，edi 寄存器位置
009918FC lea edi,[ebp-0F0h]
这里ebp的作用就体现了，最前面我们不是把esp赋值给了ebp吗，
这里就代表把sub esp,0F0h 地址赋值给edl
00991902 mov ecx,3Ch 3c次数
00991907 mov eax,0CCCCCCCCh
0099190C rep stos dword ptr es:[edi]
重复3c次把occccccch=int 3先不用管，就理解是ccccccc赋值给edi 每次成功赋值就 edi+4
0099190E mov dword ptr [ebp-20h],3
00991915 mov dword ptr [ebp-2Ch],4
0099191C mov eax,dword ptr [ebp-20h]
0099191F sub eax,dword ptr [ebp-2Ch]
ebp的位置是push ebp的位置，之后不是 ebp=esb 下一句不是 sub esp,0F0h 扩展了0f0的大小空间么
那么ebp-20，-2c都是在扩展的位置区间，可见X32是ebp-N代表取局部变量
00991922 mov dword ptr [ebp-8],eax
最终把结果放到ebp-8内存中
00991925 pop edi
00991926 pop esi
00991927 pop ebx
因为esp一直在栈顶所以还原3个寄存器 esp-Ch位置
00991928 mov esp,ebp
esp已经距离很远了，因为扩展了0F0h大小字节，所以用ebp恢复esp位置esp在 push ebp位置了
0099192A pop ebp
恢复ebp栈底
0099192B ret
之前我们用call 调用的函数，这里面push的是 call的下一条代码地址=pop eip 让cpu跳转到eip位置，下面是对应的自己画的图：

2.小结：
1：X32是先保留push ebp寄存器，在扩展堆栈大小
2：mov ebp,esp 保留栈顶位置，方便后面恢复
3：[ebp-20]，[ebp-2c]都是在扩展的位置区间，可见X32是ebp-N代表取局部变量，参数获取（这里演示无参数）

二、X64汇编函数无参无返回分析

1.代码图片（示例）

同样的代码看不同：

前面讲过，这里也是jmp方式跳转到函数代码快，继续F11跟进去，因为中间重启过地址发生变化，直接看下面的函数内容就行

00007FF7CA1717C0 push rbp
00007FF7CA1717C2 push rdi
00007FF7CA1717C3 sub rsp,168h
00007FF7CA1717CA lea rbp,[rsp+20h]
00007FF7CA1717CF mov rdi,rsp
00007FF7CA1717D2 mov ecx,5Ah
00007FF7CA1717D7 mov eax,0CCCCCCCCh
00007FF7CA1717DC rep stos dword ptr [rdi]
这里是重复ecx的次数填充栈顶开始往回每次 rdi+4
00007FF7CA1717DE lea rcx,[__D730393F_c@cpp (07FF7CA181027h)]
00007FF7CA1717E5 call __CheckForDebuggerJustMyCode (07FF7CA171087h)
这2行 因为是debug模式是检测堆栈的直接跳过看下面的
00007FF7CA1717EA mov dword ptr [rbp+44h],3
00007FF7CA1717F1 mov dword ptr [rbp+64h],4
RBP+N 代表局部变量，在X32中是EBP-N代表局部变量，那么这里就是把立即数赋值给局部变量
我的理解因为之前 扩展168h，rsp,168h
这里局部变量不能>rbp+148h大小范围,因为rsp+20了之前，大于了下一条就到了push rdi的位置了
00007FF7CA1717F8 mov eax,dword ptr [rbp+64h]
00007FF7CA1717FB mov ecx,dword ptr [rbp+44h]
看这里rbp+64 ，+44都是在扩展的局部变量赋值，在范围内
00007FF7CA1717FE sub ecx,eax
00007FF7CA171800 mov eax,ecx
00007FF7CA171802 mov dword ptr [rbp+4],eax
最后把值赋值给局部变量rbp+4
00007FF7CA171805 lea rsp,[rbp+0000000000000148h]
之前rsp-168h，然后rbp+20 这里在加个148h 不就回去了最早的push RDI位置
00007FF7CA17180C pop rdi
00007FF7CA17180D pop rbp
这里就是恢复 RDI RBP里的值
00007FF7CA17180E ret 这里pop eip 让cpu跳转到调用程序下一条指令执行

---

三、X32位汇编和X64位区别无参函数调用

总结

提示：可以看下对比堆栈图变化和我说的文字区别

X32：

1：X32是先保留push ebp寄存器，在扩展堆栈大小

2：mov ebp,esp 保留栈顶位置，方便后面恢复

3：[ebp-20]，[ebp-2c]都是在扩展的位置区间，可见X32是ebp-N代表取局部变量，参数获取（这里演示无参数）

X64：

1：X64是先扩展栈顶大小，在进行保留寄存器

2：EBP+N是获取局部变量

3：EBP+20=ESP+20,后用EBP进行局部变量赋值，参数获取（这里演示无参数）