5.函数传参的准备
1.创建形参
下面两条指令在main函数的栈帧中创建了x和y这两个局部变量
mov dword ptr [ebp-8],0Ah mov dword ptr [ebp-14h],0Bh 把0Ah(就是10进制的10)赋值给ebp-8内存空间的值 把0Bh(就是10进制的11)赋值给ebp-14h内存空间的值
这里我们就可以回答第一个问题了:局部变量是如何创建的?
局部变量是通过栈底指针的偏移定位到空间
将对应空间分配给局部变量
然后将该空间内的值修改为对应初始化的值
下面四条指令是:
mov eax,dword ptr [ebp-14h] push eax mov ecx,dword ptr [ebp-8] push ecx 本质是形成形参进行函数传参 其中这个eax中放的是y的值 ecx中放的是x的值
因此这也就解释了第三条问题:
函数是如何传参的?
通过栈底指针的偏移找到实参的值,
把对应实参的值传递给寄存器eax和ecx
然后把eax和ecx的值入栈
就形成了形参
也就是说形参是实参的一份拷贝,改变形参不会影响实参
传参的顺序是怎样的?
顺序是从右向左传参
eax变为11
ecx变为10
2.将call指令的下一条指令的地址压栈
下面就要进行call指令调用MyAdd函数了
首先编译器会先把call指令的下一条指令保存下来
也就是说这里实际上是把add指令的地址压入了栈帧当中
也就是执行了
push add的地址
下一条是jmp命令
这个命令就很简单
执行完jmp命令后就正式进入了MyAdd函数
jmp 00bb13c0 • 1
这样我们就能回答第5个问题了:
函数调用是怎么做的?
函数调用时,先形成形参,
然后把main函数的栈底指针的地址保存下来
然后把对应函数调用指令的下一条指令的地址压入栈中
然后正式进入MyAdd函数
6.正式进入MyAdd函数并且开辟栈帧,置为随机值
然后我们进入MyAdd函数
下面这10条指令跟创建main函数栈帧的指令如出一辙
就是先把main函数的栈底地址入栈
然后把esp的值赋给ebp:其实就是正式进入MyAdd这个函数的栈帧
然后sub esp,0CCh就是为MyAdd函数创建栈帧
push ebx,esi,edi 为后续初始化MyAdd函数栈帧做准备
rep stos dword ptr es:[edi]: 就是把MyAdd函数栈帧中的空间初始化为随机值0CCCCCCCCh
push ebp mov ebp,esp sub esp,0CCh push ebx push esi push edi lea edi,[ebp+FFFFFF34h] mov ecx,33h mov eax,0CCCCCCCCh rep stos dword ptr es:[edi]
7.取出形参的值
然后下面这三条指令就是:
mov eax,dword ptr [ebp+8] add eax,dword ptr [ebp+0Ch] mov dword ptr [ebp-8],eax 其实就是通过ebp栈底指针的偏移找到创建的形参,取出形参的值 赋值,相加给eax 然后通过eax的赋值和ebp栈底指针的偏移创建MyAdd函数栈帧中的局部变量c
8.销毁MyAdd函数栈帧
下面这5条指令就是
mov eax,dword ptr [ebp-8] pop edi pop dsi pop ebx mov esp,ebp
保存返回值并且销毁MyAdd这个函数栈帧
9.返回
其中:
返回的本质是:
1.返回到main函数的栈帧
2.返回到call指令的下一条指令的地址处
3.如果有返回值,把返回值进行返回
下面两条指令就会
分别将ebp和esp返回到main函数中的对应的位置
pop ebp ret
最后两条指令
add esp,8 mov dword ptr [ebp-20h] eax
这样就能回答第6个问题了
函数调用结束之后是怎么返回的呢?
首先先把返回值进行临时拷贝,在MyAdd这个函数中是用寄存器eax来保存这个返回值
然后通过弹出main函数的栈底地址,将栈底指针ebp恢复为main函数的栈底指针
通过弹出call指令的下一条指令的地址并将这个地址存入eip中
保证call指令结束后能够回到call指令的下一条指令的位置
我们同时也可以看出:
形参先创建,然后再调用函数
函数先销毁,然后再销毁形参
函数的销毁和形参的销毁都是通过栈顶指针的增大实现的
函数栈帧的创建是通过栈顶指针的减小实现的
在函数中创建局部变量是通过栈底指针的偏移定位到要创建的位置
通过eax,ecx等等寄存器来完成变量值的传递
以上就是以MyAdd为例,
整个函数栈帧的创建和销毁过程的分析
四.总结
综上,我们可以得出
以上就是函数栈帧的创建和销毁的全部内容,希望能对大家有所帮助!
