原因：c程序的开始是以一个主函数main()为开始的，而函数在访问的过程中最重要的事情就是要确保堆栈的平衡，而在win32的环境下保持平衡的办法是这样的： 

1.让EBP保存ESP的值。

2.在程序运行完毕的时候调用 

 

mov esp,ebp 

pop ebp 

retn

或者是 

leave

retn

通过EBP保存程序运行前ESP的值，那么程序运行过程中，不管ESP被Push还是Pop多少次，最终都可以通过EBP还原最开始的值。

 

我们下面使用gcc编译的stackframe函数为例：

 

 

void stackframe(int a,int b,int c){  

    int x=c;  

    char buffer[64];  

    int y=b;  

    int z=10;  

    buffer[0]=‘A‘;  

    bar(z,y);  

}  

这个函数对应的反汇编代码如下：

 

.text:0040153C                   ; =============== S U B R O U T I N E =======================================  

.text:0040153C  

.text:0040153C                   ; Attributes: bp-based frame  

.text:0040153C  

.text:0040153C                   _text_40153C proc near        ; CODE XREF: _text_40157A  

.text:0040153C  

.text:0040153C                   var_60= dword ptr -60h        ;z  

.text:0040153C                   var_5C= dword ptr -5Ch        ;y  

.text:0040153C                   var_58= dword ptr -58h        ;buffer  

.text:0040153C                   var_C= dword ptr -0Ch         ;x  

.text:0040153C                   arg_4= dword ptr  0Ch         ;b  

.text:0040153C                   arg_8= dword ptr  10h         ;c  

.text:0040153C  

.text:0040153C                   push    ebp  

.text:0040153D                   mov     ebp, esp  

.text:0040153F                   sub     esp, 78h  

.text:00401542                   mov     eax,[ebp+arg_8]  

.text:00401549                   mov     [ebp+var_C],eax  

.text:0040154B                   mov     eax,[ebp+arg_4]  

.text:0040154F                   mov     [ebp+var_5C],eax  

.text:00401551                   mov     [ebp+var_60],0Ah  

.text:00401554                   mov     [ebp+var_58],41h  

.text:00401557                   mov     eax,[ebp+var_5C]  

.text:0040155A                   mov     [esp+4],eax      ;y入栈  

.text:0040155D                   mov     eax,[ebp+var_60]  

.text:00401561                   mov     [esp],eax        ;z入栈  

 

从 var_60= dword ptr -60h开始，IDA提供了一个摘要栈视图，其中与指针EBP偏移距离为负的代表着四个局部变量x,buffer,y,z入栈，偏移距离为正的代表着用到 的两个形参b，c入栈。之后就是push ebp 和mov ebp esp以及函数体内部的赋值操作。最后要说明的是函数体最后调用了bar(z,y)，这里需要将z，y压栈到esp中，因为z在前，所以[esp]存放 z,[esp+4]存放y，之后就是bar函数开始前的push ebp 和mov ebp esp操作了。