栈帧是利用EBP访问栈内局部变量、参数、函数返回地址等的手段。不严谨地理解,栈帧两种存在形式,分别是静态的,动态的。在静态汇编中栈帧是以下结构,如图1
图1
动态形式则是程序运行时EBP能够寻到的有用的地址空间,如图2所示。以一个简单的测试代码来说明
图2 EBP下面是调用者压栈,上面是被调用者的局部变量压栈
图3 测试代码
图4 测试代码对应的汇编
图5 栈帧切换的大致流程(1)
图6 栈帧切换的大致流程(2)
假设main函数有一个调用者,那么整个流程从图5开始,初始状态ebp=esp。为了调用main函数,需要压入两个实参(不考虑参数长度),然后执行一条call指令(将返回地址压入栈中),call指令之后开始执行main函数的汇编指令,main函数汇编指令的前两句是切换栈帧的操作。main函数运行到一半,声明了许多局部变量并已压入栈中,这时main想执行add函数,所以开始做调用add函数前的准备,即压入add的实参,压完后一条call指令将返回地址压入栈中并跳转到add的代码,add开始切换到自己的栈帧……add的汇编代码在ret之前,会执行一次pop ebp,使得ebp寄存器恢复到调用前的值,切换回父栈帧。