函数堆栈调用揭秘-优快云博客

本文链接：https://blog.youkuaiyun.com/WWX2LN/article/details/84845636

今天我们来介绍一下函数的堆栈调用过程,首先，我们以一个简单的例子进行说明：

#include<stdio.h>

int Sum(int a,int b)
{
	int temp=0;
	temp=a+b;
	return temp;
}
int main()
{
	int a=10;
	int b=20;
	int ret=0;
	ret=Sum(a,b);
	printf("ret=%d\n",ret);
	return 0;
}

将上面代码转到反汇编

Sum函数：

int Sum(int a,int b)
{
008E13D0  push        ebp  //将ebp入栈
008E13D1  mov         ebp,esp  //将esp赋给ebp
008E13D3  sub         esp,0CCh  //esp减等于0cch，即给Sum函数开辟0CCh大的栈帧空间 
008E13D9  push        ebx // 将ebx入栈
008E13DA  push        esi  //将esi入栈
008E13DB  push        edi  //将edi入栈
008E13DC  lea         edi,[ebp-0CCh]  //mov移值，lea移地址，将ebp-0cch放到edi里
008E13E2  mov         ecx,33h  将33h放到ecx中，ecx是计数器
008E13E7  mov         eax,0CCCCCCCCh  //将0 CCCCCCCC h放到eax中，eax是累加器
008E13EC  rep stos    dword ptr es:[edi] // 循环拷贝，从edi开始拷贝数据，向高地址部分进行字节拷贝，每次拷贝4个字节，拷贝eax的内容，拷贝33h次，上面这几步给开辟的空间初始化，和main函数中的过程是一样的
	int temp=0;
008E13EE  mov         dword ptr [ebp-4],0  //
	temp=a+b;
008E13F5  mov         eax,dword ptr [ebp+8]  //把ebp+8的值即a的值放在eax寄存器里
008E13F8  add         eax,dword ptr [ebp+0Ch]  //把ebp+12的值即b的值加上eax寄存器里的值的和放在eax中
008E13FB  mov         dword ptr [ebp-4],eax  //将eax的值放到ebp-4即temp里
	return temp;
008E13FE  mov         eax,dword ptr [ebp-4]  //将ebp-4的值放到eax中，通过eax寄存器带出返回值
}
00E21401  pop         edi  //出栈
00E21402  pop         esi  
00E21403  pop         ebx  
00E21404  mov         esp,ebp  //将ebp赋给esp,相当于把esp拉到ebp的位置（回退栈帧），注意回退栈帧时并不清0
00E21406  pop         ebp  //出栈，esp向下（高地址）挪，并把出栈的元素（main函数的栈底指针的值）赋给ebp，即ebp重新回到main函数的栈底
00E21407  ret  //出栈，出栈的元素赋给CPU的PC寄存器（下一行指令的地址）

main函数：

int main()
{
008E1420  push        ebp  
008E1421  mov         ebp,esp  
008E1423  sub         esp,0E4h  
008E1429  push        ebx  
008E142A  push        esi  
008E142B  push        edi  
008E142C  lea         edi,[ebp-0E4h]  
008E1432  mov         ecx,39h  
008E1437  mov         eax,0CCCCCCCCh  
008E143C  rep stos    dword ptr es:[edi]  
	int a=10;
008E143E  mov         dword ptr [ebp-4],0Ah //将10存入ebp-4所表示的起始地址的4个字节里边,word表示2个字节，dword表示4个字节
	int b=20;
008E1445  mov         dword ptr [ebp-8],14h //将20存入ebp-8所表示的起始地址的4个字节里边
	int ret=0;
008E144C  mov         dword ptr [ebp-0Ch],0  //将0存入ebp-0ch所表示的起始地址的4个字节里边
	ret=Sum(a,b);
008E1453  mov         eax,dword ptr [ebp-8]  //从ebp-8即b的内存中拿4个字节放在eax寄存器
008E1456  push        eax  //将eax入栈，即将b的值入栈
008E1457  mov         ecx,dword ptr [ebp-4]  //从ebp-4即a的内存中拿4个字节放在ecx寄存器
008E145A  push        ecx  //将ecx入栈，即将a的值入栈
008E145B  call        Sum (08E11C7h)  //将下一行指令的地址入栈，并跳转到Sum函数的栈帧上
008E1460  add         esp,8  //回退形参变量所占的内存
008E1463  mov         dword ptr [ebp-0Ch],eax  //将eax寄存器带出来的值放在ebp-0Ch里即ret中
	printf("ret=%d\n",ret);
008E1466  mov         esi,esp  
008E1468  mov         eax,dword ptr [ebp-0Ch]  
008E146B  push        eax  
008E146C  push        8E5858h  
008E1471  call        dword ptr ds:[8E92BCh]  
008E1477  add         esp,8  
008E147A  cmp         esi,esp  
008E147C  call        __RTC_CheckEsp (08E1136h)  
	return 0;
008E1481  xor         eax,eax  
}
00E21483  pop         edi  
00E21484  pop         esi  
00E21485  pop         ebx  
00E21486  add         esp,0E4h  
00E2148C  cmp         ebp,esp  
00E2148E  call        __RTC_CheckEsp (0E21136h)  
00E21493  mov         esp,ebp  
00E21495  pop         ebp  
00E21496  ret

通过上述反汇编代码，我们可以看到，无论是Sum函数还是main函数，其反汇编代码前面都有一部分类似于这样的代码：