函数栈帧的创建与销毁

1.函数栈帧的概念

函数栈帧:使用每一个函数都要在栈区开辟一块空间.栈帧也叫过程活动记录，是编译器用来实现过程/函数调用的 一种数据结构。

对于栈,我们都知道栈是由高地址向低地址延伸的。每个函数的每次调用，都有它自己独立的一个栈帧，每个栈帧中维持着所需要的的各种信息。寄存器ebp指向当前栈帧的底部（高地址），寄存器esp指向当前栈帧的顶部（低地址）。

这样我们就了解了寄存器ebp和寄存器esp中存放的是地址，这两个地址是用来维护函数栈帧的。比如：调用main函数， 我们为main函数分配栈帧空间， 那么栈帧维护如下：

2.函数栈帧的创建

下面我们通过一段代码分析一下，函数栈帧创建和销毁的过程：（栈帧这部分内容在不同的编译器上实现存在差异， 但是思想大致都是一致的。本文是在vs2013编译器下实现的）

#include <stdio.h>

int Add(int x, int y)
{
	int z = 0;
	z = x + y;
	return z;
}

int main(void)
{
	int a = 10;
	int b = 20;
	int ret = 0;
	ret = Add(a, b);//计算a+b
	printf("%d\n", ret);
	return 0;
}

我们打开调试，选中调用堆栈窗口可以看到，main函数也是被其他函数调用的。

可以看出，main函数是在__tmainCRTStartup函数内部被调用的，而__tmainCRTStartup函数又是在mainCRTStartup函数内部调用的。
为了能更加清楚的看到栈帧创建和销毁的过程，我们转到上面代码对应的反汇编代码：

![int main(void)
{
009D3F40  push        ebp  //将edp压入栈帧
009D3F41  mov         ebp,esp  //将esp的值赋给edp
009D3F43  sub         esp,0E4h  //esp-0E4h
009D3F49  push        ebx  
009D3F4A  push        esi  
009D3F4B  push        edi  
009D3F4C  lea         edi,\[ebp+FFFFFF1Ch\]  
009D3F52  mov         ecx,39h  
009D3F57  mov         eax,0CCCCCCCCh  
009D3F5C  rep stos    dword ptr es:\[edi\]]
	int a = 10;
009D3F5E  mov         dword ptr [ebp-8],0Ah  
	int b = 20;
009D3F65  mov         dword ptr [ebp-14h],14h  
	int ret = 0;
009D3F6C  mov         dword ptr [ebp-20h],0  

	ret = Add(a, b);//计算a+b
009D3F73  mov         eax,dword ptr [ebp-14h]  
009D3F76  push        eax  
009D3F77  mov         ecx,dword ptr [ebp-8]  
009D3F7A  push        ecx  
009D3F7B  call        009D11F9  
009D3F80  add         esp,8  
009D3F83  mov         dword ptr [ebp-20h],eax  

	printf("%d\n", ret);
009D3F86  mov         esi,esp  
009D3F88  mov         eax,dword ptr [ebp-20h]  
009D3F8B  push        eax  
009D3F8C  push        9D5860h  
009D3F91  call        dword ptr ds:[009D9118h]  
009D3F97  add         esp,8  
009D3F9A  cmp         esi,esp  
009D3F9C  call        009D1140  
	return 0;
009D3FA1  xor         eax,eax  
}
009D3FA3  pop         edi  
009D3FA4  pop         esi  
009D3FA5  pop         ebx  
009D3FA6  add         esp,0E4h  
009D3FAC  cmp         ebp,esp  
009D3FAE  call        009D1140  
009D3FB3  mov         esp,ebp  
009D3FB5  pop         ebp  
009D3FB6  ret  

2.1 main函数函数栈帧的创建过程

009D3F40  push        ebp  //将edp压入栈帧
009D3F41  mov         ebp,esp  //将esp的值赋给edp
009D3F43  sub         esp,0E4h  //esp-0E4h 将esp向上（低地址方向）移动4个字节
009D3F49  push        ebx  //接下来三行是将 ebx esi edi 压入栈顶
009D3F4A  push        esi  
009D3F4B  push        edi  
009D3F4C  lea         edi,\[ebp+FFFFFF1Ch\]   //然后将main函数的函数栈帧初始化为0cccccccch
009D3F52  mov         ecx,39h  
009D3F57  mov         eax,0CCCCCCCCh  
009D3F5C  rep stos    dword ptr es:\[edi\]]

第一步是进行push命令，将ebp压入栈顶 将ebp压入栈顶后，esp的地址也会随之改变。
第二步进行move指令，将esp的值给ebp
第三步进行sub指令，将esp指向的地址减去0E4h(十进制228)
随后分别把ebx，esi，edi压入栈顶
随后四句指令，把从edi(ebp-0E4h)开始的ecx(39h)个 空间改成eax(0CCCCCCCCh)。这么做是为了给main函数栈帧初始化

2.2 main函数中创建变量

	int a = 10;
009D3F5E  mov         dword ptr [ebp-8],0Ah  //把0Ah赋值给内存地址为ebp-8中的双字节的空间
	int b = 20;
009D3F65  mov         dword ptr [ebp-14h],14h  //把14h赋值给内存地址为ebp-14h中的双字节的空间
	int ret = 0;
009D3F6C  mov         dword ptr [ebp-20h],0  //把0赋值给内存地址为ebp-20h中的双字节的空间

2.3 Add函数函数栈帧的创建

当abc变量创建好了之后，就要开始调用add函数。
随后分别将ebx(20)和ecx(10)压入栈顶。
这两个指令实际上是在为Add函数传参

	ret = Add(a, b);//计算a+b
009D3F73  mov         eax,dword ptr [ebp-14h]  
009D3F76  push        eax  
009D3F77  mov         ecx,dword ptr [ebp-8]  
009D3F7A  push        ecx  
009D3F7B  call        009D11F9  
009D3F80  add         esp,8  

随后call指令是调用函数指令，它会把call指令的下一条指令的地址压入栈顶。这样做的目的是等Add函数调用结束后，就会回到call指令的下一条指令继续执行。

进入Add函数后，前面的几条指令跟进入main之前的几条指令一样，是为了给函数准备栈帧和对其进行初始化。

随后在ebp-8的空间创建临时变量z并初始化为0，再通过ebp+8和
ebp+0Ch找到main函数中传递的a,b参数作为形参x,y，相加得到的值赋给eax，再由eax把值赋给z。

2.4 Add函数栈帧的销毁

随后ret指令找到之前已经压入栈的call指令的下一条指令的地址 ，就回到主函数的call指令的下一条指令。
再将esp指向的地址加8，把形参的内存释放。
在通过ebp-20h找到main函数的c变量，然后再把eax的值赋给c，实现了把Add函数计算结果带回到main。