由于学习进程的地址空间的疑惑,对于ebp(栈底指针)和esp(栈顶指针)产生了疑惑,所以写了这片博客
一、分析的问题
函数如下:
#include <stdio.h>
int func(int param1 ,int param2,int param3)
{
int var1 = param1;
int var2 = param2;
int var3 = param3;
printf("var1=%d,var2=%d,var3=%d",var1,var2,var3);
return var1;
}
int main(int argc, char* argv[])
{
int result = func(1,2,3);
return 0;
}
首先说明:
在堆栈中变量分布是从<span style="color:#ff0000;">高地址到低地址分布</span>,EBP是指向栈底的指针,在过程调用中不变,又称为帧指针。ESP指向栈顶,程序执行时移动,ESP减小分配空间,ESP增大释放空间,ESP又称为栈指针。
二、函数调用过程的逐步分析
1.函数main执行,main各个参数<span style="color:#3366ff;"><strong>从右向左逐步压入栈中,最后压入返回地址</strong></span>
2.执行第15行,3个参数以从左向右的顺序压入堆栈,及从param3到param1,栈内分布如下图:
<img src="https://img-blog.csdn.net/20160706151843164?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQv/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast" alt="" />
3.然后是<span style="color:#3366ff;">返回地址入栈</span>:此时的栈内分布如下:
<img src="https://img-blog.csdn.net/20160706151958511?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQv/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast" alt="" />
4.第3行函数调用时,通过跳转指令进入函数后,<span style="color:#3366ff;">函数地址入栈后,EBP入栈,然后把当前ESP的值给EBP,</span>
对应的汇编指令:
<pre name="code" class="cpp">push ebp
mov ebp esp
此时栈顶和栈底指向同一位置,栈内分布如下:
5.第5行开始执行, int var1 = param1; int var2 = param2; int var3 = param3;按申明顺序依次存储。
对应的汇编:
mov 0x8(%ebp),%eax
mov %eax,-0x4(%ebp)
其中 将[EBP+0x8]地址里的内容赋给EAX,即把param的值赋给EAX,然后把EAX的中的值放到[EBP-4]这个地址里,即把EAX值赋给var1,完成C代码 int var1 = param1,其他变量雷同。
6.第9行,输出结果,第10行执行 对应的汇编代码:
mov -0x4(%ebp),%eax
最后<span style="color:#3333ff;">通过eax寄存器保存函数的返回值</span>;
7.调用执行函数完毕,局部变量var3,var2,var1一次出栈,EBP恢复原值,返回地址出栈,找到原执行地址,param1,param2,param3依次出栈,函数调用执行完毕