函数栈帧的创建和销毁(以C语言代码为例,汇编代码的角度分析)(下)

简介: 函数栈帧的创建和销毁(以C语言代码为例,汇编代码的角度分析)

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为例,

整个函数栈帧的创建和销毁过程的分析

四.总结

综上,我们可以得出

以上就是函数栈帧的创建和销毁的全部内容,希望能对大家有所帮助!

相关文章
|
19天前
|
存储 编译器 C语言
【数据结构】C语言实现链队列(附完整运行代码)
【数据结构】C语言实现链队列(附完整运行代码)
33 0
|
19天前
|
存储 算法 程序员
【数据结构】C语言实现顺序表万字详解(附完整运行代码)
【数据结构】C语言实现顺序表万字详解(附完整运行代码)
36 0
|
1月前
|
算法 安全 C语言
使用C语言实现DES算法代码
使用C语言实现DES算法代码
|
1月前
|
C语言
C语言栈的括号匹配的检验讲解及相关代码
C语言栈的括号匹配的检验讲解及相关代码
28 0
|
1月前
|
存储 安全 C语言
深度剖析c语言程序 -- 函数栈帧的创建和销毁(纯肝货)-2
深度剖析c语言程序 -- 函数栈帧的创建和销毁(纯肝货)-2
|
1月前
|
存储 编译器 C语言
深度剖析c语言程序 -- 函数栈帧的创建和销毁(纯肝货)-1
深度剖析c语言程序 -- 函数栈帧的创建和销毁(纯肝货)-1
|
1月前
|
算法 C语言
【C语言】三子棋游戏实现代码
【C语言】三子棋游戏实现代码
【C语言】三子棋游戏实现代码
|
1月前
|
C语言
C语言-------扫雷游戏的代码实现
C语言-------扫雷游戏的代码实现
24 0
|
1月前
|
C语言
嵌入式C语言中的工具代码助你一臂之力
嵌入式C语言中的工具代码助你一臂之力
16 0
|
1月前
|
C语言 数据安全/隐私保护 C++
嵌入式中如何把C++代码改写成C语言代码
嵌入式中如何把C++代码改写成C语言代码
31 0