反汇编深入分析函数调用

函数：
int fun(int a, int b) {
char var[128] = "A";
a = 0x4455;
b = 0x6677;
return a + b;
}
int main() {
fun(0x8899,0x1100);
return 0;
}
F11跟踪到fun,alt+8看反汇编代码：
00401078 push 1100h //参数压栈，这里遵循__cdecl调用规范，参数由右向左
0040107D push 8899h//压栈
00401082 call @ILT+0(_fun) (00401005)
00401087 add esp,8//被调用函数的堆栈由主调函数来清空



由上图的EIP可以看到0040B500就是下条要执行的指令，在Memory窗口中可以看到内存数据99880000和11000000,实质上是0x8899,0x1100,(intel处理器一般都是小端存储)，还可以看到有内存数据87104000，实质上是00401087,在主调函数中，可以很清楚的看到00401087被调函数返回以后执行的第一条指令，也就是堆栈清空指令(遵循__cdecl调用规范)。Call指令隐含做了一个操作：就是把函数返回后执行的第一条指令压入堆栈。
1: int fun(int a, int b) {
0040B500 push ebp //
0040B501 mov ebp,esp //调用函数通常的做法，通过ebp基址寄存器来操作堆//栈数据
0040B503 sub esp,0C0h //为什么是C0h（不是因为堆栈保护，防止缓冲区overflow，而是DEBUG选项造成的）
0040B509 push ebx
0040B50A push esi
0040B50B push edi
0040B50C lea edi,[ebp-0C0h]
0040B512 mov ecx,30h //C0h 除以4，就是30h，因为rep stos用的是dword
0040B517 mov eax,0CCCCCCCCh
0040B51C rep stos dword ptr [edi] //用0CCCCCCCCh初始化堆栈
2: char var[128] = "A";
0040B51E mov ax,[string "A" (0041f10c)] //此时EBP = 0012FF24
0040B524 mov word ptr [ebp-80h],ax //80h也就是128，写了一个字
0040B528 mov ecx,1Fh //1Fh是31
0040B52D xor eax,eax //清零
0040B52F lea edi,[ebp-7Eh]
0040B532 rep stos dword ptr [edi] //一共是32个双字，开始写了一个字，rep stos
0040B534 stos word ptr [edi]//写入了31个双字，还剩下一个字由stos完成
//var的地址是：0x0012fea4
3: a = 0x4455;
0040B536 mov dword ptr [ebp+8],4455h
4: b = 0x6677;
0040B53D mov dword ptr [ebp+0Ch],6677h
5: return a + b;
0040B544 mov eax,dword ptr [ebp+8]
0040B547 add eax,dword ptr [ebp+0Ch] //返回值通过eax保存
6: }
0040B54A pop edi
0040B54B pop esi
0040B54C pop ebx //弹栈
0040B54D mov esp,ebp
0040B54F pop ebp //恢复ebp寄存器
0040B550 ret //默认操作，恢复EIP：将堆栈中的00401087 pop给EIP

执行完：0040B50B push edi 如下图：



ESP：0012FE58 与刚进入函数的时候的ESP：0012FF28 之间的堆栈图如下：
执行完：0040B51C rep stos dword ptr [edi] 后EDI 为：0012FF24，如下图：