浅谈函数栈帧

最新推荐文章于 2022-11-15 22:54:20 发布
最新推荐文章于 2022-11-15 22:54:20 发布
阅读量822 收藏 1
点赞数 19
分类专栏： 算法 文章标签： c语言 编程语言 函数式编程 反汇编
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_57402822/article/details/119459711
版权
本文详细介绍了C语言中内存管理的几个区域，重点讲解了函数栈帧的工作原理，包括局部变量的创建、传参过程、函数调用及返回值。通过实例分析了main函数和Add函数的栈帧开辟、参数传递与返回，揭示了局部变量的随机值原因。文章适合对汇编有一定了解的读者深入理解C语言内存管理。
摘要由CSDN通过智能技术生成

作者的码云地址：https://gitee.com/dongtiao-xiewei

后续作者会更新力扣的每日一题系列，原代码会全部上传码云，推荐关注哦~笔芯~

 

目录

 

内存管理和函数栈帧

一些准备工作

main函数栈帧

push压栈操作

什么是压栈？出栈？

ebp和esp

main函数空间的开辟

变量的创建以及传参

创建变量

传参（形式参数的创建）：

 进入函数内部

Add函数栈帧开辟

 参数传递与返回

重新回到main函数

总结与提示 

内存管理和函数栈帧

我们知道计算机分配内存时主要分为以下的几个区域

我们也知道，函数是在栈区上开辟空间的。

每一次的函数调用（包括main函数，自定义函数等）都会在栈区上开辟足够大的空间 ，用于本次函数中的内部操作（数据保护，局部变量控制），这块空间我们称为函数栈帧。

这篇文章可以为大家解答以下问题：

  1. 局部变量怎么创建？
  2. 为什么局部变量具有随机值？
  3. 函数怎么传参？
  4. 形参与实参的关系？
  5. 函数的调用怎么进行？
  6. 函数怎么返回值？

由于文章较长，而且涉及反汇编，也就是汇编语言的知识，如果读者想知道答案，可以直接看栈区图和总结与提示板块。

我们的研究方式：

  1. VS2019
  2. 编写一段简单的程序
  3. 在调试过程中查看反汇编过程

正文分界线

正文分界线

一些准备工作

首先在VS2019中敲出以下代码

//test.c
int Add(int x,int y)
{
    int z=0;
    z=x+y;
    return z;
    
}
int main()
{
    int a=0;
    int b=0;
    int c=0;
    c=Add(a,b);
    printf("%d\n",c);
    return 0;
}

按F10开始逐过程调试，F11可以逐语句调试（也就是进入函数内部）

然后点击反汇编选项，将会观察到以下代码

 这是这个代码全部的反汇编代码

int main()
{
000818B0  push        ebp  
000818B1  mov         ebp,esp  
000818B3  sub         esp,0E4h  
000818B9  push        ebx  
000818BA  push        esi  
000818BB  push        edi  
000818BC  lea         edi,[ebp-24h]  
000818BF  mov         ecx,9  
000818C4  mov         eax,0CCCCCCCCh  
000818C9  rep stos    dword ptr es:[edi]  
000818CB  mov         ecx,offset _2A160C42_test@c (08C003h)  
000818D0  call        @__CheckForDebuggerJustMyCode@4 (08131Bh)  
    int a = 0;
000818D5  mov         dword ptr [a],0  
    int b = 0;
000818DC  mov         dword ptr [b],0  
    int c = 0;
000818E3  mov         dword ptr [c],0  
    c = Add(a, b);
000818EA  mov         eax,dword ptr [b]  
000818ED  push        eax  
000818EE  mov         ecx,dword ptr [a]  
000818F1  push        ecx  
000818F2  call        _Add (0810B4h)  
000818F7  add         esp,8  
000818FA  mov         dword ptr [c],eax  
    printf("%d\n", c);
000818FD  mov         eax,dword ptr [c]  
00081900  push        eax  
00081901  push        offset string "%d\n" (087B30h)  
00081906  call        _printf (0810D2h)  
0008190B  add         esp,8  
    return 0;
0008190E  xor         eax,eax  
}
00081910  pop         edi  
00081911  pop         esi  
00081912  pop         ebx  
00081913  add         esp,0E4h  
00081919  cmp         ebp,esp  
0008191B  call        __RTC_CheckEsp (081244h)  
00081920  mov         esp,ebp  
00081922  pop         ebp  
00081923  ret

这里笔者只讲与本文相关，也就是printf以前的汇编指令。

注意：由于编译器的不同，测试结果可能与本文不同，此文仅做参考~

main函数栈帧

push压栈操作

什么是压栈？出栈？

我们知道栈区的使用规则是：先使用高地址，再使用低地址，回收也是先回收最顶上的地址，也就是低地址，再回收高地址，也就是先进后出。

这样我们先分析以下几行反汇编代码：

000818B0  push        ebp  
000818B1  mov         ebp,esp  
000818B3  sub         esp,0E4h

哦对了，还没为大家介绍ebp和esp是啥，马上补上~

ebp和esp

首先甩出定义：是计算机中可以存放地址的寄存器，用于维护函数栈帧

那么可能大家又好奇了，啥是维护函数栈帧啊？

我们已经知道，ebp和esp寄存器是用于存放地址的，那么是存放哪里的地址呢？

后文大家可以找到答案，不过还是先把结论甩在这儿吧：

  1. esp用于存放栈底指针，指向被维护函数最高地址
  2. ebp用于存放栈顶指针，指向被维护函数最低地址

 所以，位于esp和ebp之间的空间，也就是内存为此次函数分配的空间，也就是函数栈帧啦~

 解释完了，我们接下来执行这几句命令

main函数空间的开辟

这是执行到mov指令时的esp和ebp的地址

可以知道，第一步push指令将预开辟的main函数的最高地址存放至ebp中，第二步将ebp存放的地址同时存放到esp中

接下来执行这几条指令

000818B3  sub         esp,0E4h  
000818B9  push        ebx  
000818BA  push        esi  
000818BB  push        edi  
000818BC  lea         edi,[ebp-24h]    
000818C9  rep stos    dword ptr es:[edi]

第一行，我们将esp往上移动，也就是往低地址移动0E4h这么大的字节

第二行，将ebx,esi,edi,分别执行压栈操作

第四行，LEA（load effective address）读取此时esp的地址，为后文做下铺垫

最后一行，将此时ebp和esp之间的空间全部初始化为cc cc cc cc

这里是main函数空间开辟的关键步骤的栈区图

 这里也可以顺便解释为什么变量没有初始化是随机值的原因~

不同编译器初始化的值不一样，但VS2019是cc cc cc cc，对应汉字也就是大家熟知的烫烫烫。。。

至此，main函数空间开辟完毕~

变量的创建以及传参

创建变量

由以下几段反汇编代码实现

    int a = 0;
000818D5  mov         dword ptr [a],0  
    int b = 0;
000818DC  mov         dword ptr [b],0  
    int c = 0;
000818E3  mov         dword ptr [c],0

以下是创建变量时的栈区图

传参（形式参数的创建）：

先甩结论：形式参数创建在main函数的顶部，并不在函数内部创建

以下几行代码可以解释函数传参

000818EA  mov         eax,dword ptr [b]  
000818ED  push        eax  
000818EE  mov         ecx,dword ptr [a]  
000818F1  push        ecx

 由于局部变量有先进后出，所以为了确保a能够先被调用，a将比b后创建，这样确保了a会被b先使用，也就是参数是从右向左传递的

这几行代码反应成汉语就是：

将b的值存进eax中并进行压栈操作，再对a进行相同操作

当然，进行了这步操作，为了能维护函数，还需要将ecx最顶端的地址存放在esp中 

然后接下来一条指令

000818F2  call        _Add (0810B4h)

将add的地址存放在顶部，这次一个伏笔，后文会提到~

 进入函数内部

这是函数内部的反汇编代码

int Add(int x, int y)
{
00081770  push        ebp  
00081771  mov         ebp,esp  
00081773  sub         esp,0CCh  
00081779  push        ebx  
0008177A  push        esi  
0008177B  push        edi  
0008177C  lea         edi,[ebp-0Ch]  
0008177F  mov         ecx,3  
00081784  mov         eax,0CCCCCCCCh  
00081789  rep stos    dword ptr es:[edi]  
0008178B  mov         ecx,offset _2A160C42_test@c (08C003h)  
00081790  call        @__CheckForDebuggerJustMyCode@4 (08131Bh)  
    int z = 0;
00081795  mov         dword ptr [z],0  
    z = x + y;
0008179C  mov         eax,dword ptr [x]  
0008179F  add         eax,dword ptr [y]  
000817A2  mov         dword ptr [z],eax  
    return z;
000817A5  mov         eax,dword ptr [z]  

}
000817A8  pop         edi  
000817A9  pop         esi  
000817AA  pop         ebx  
000817AB  add         esp,0CCh  
000817B1  cmp         ebp,esp  
000817B3  call        __RTC_CheckEsp (081244h)  
000817B8  mov         esp,ebp  
000817BA  pop         ebp  
000817BB  ret

Add函数栈帧开辟

这段代码与main函数同理，为Add开辟函数栈帧

00081770  push        ebp  
00081771  mov         ebp,esp  
00081773  sub         esp,0CCh  
00081779  push        ebx  
0008177A  push        esi  
0008177B  push        edi  
0008177C  lea         edi,[ebp-0Ch]  
0008177F  mov         ecx,3  
00081784  mov         eax,0CCCCCCCCh  
00081789  rep stos    dword ptr es:[edi]  
0008178B  mov         ecx,offset _2A160C42_test@c (08C003h)  
00081790  call        @__CheckForDebuggerJustMyCode@4 (08131Bh)

 参数传递与返回

    int z = 0;
00081795  mov         dword ptr [z],0  
    z = x + y;
0008179C  mov         eax,dword ptr [x]  
0008179F  add         eax,dword ptr [y]  
000817A2  mov         dword ptr [z],eax  
    return z;
000817A5  mov         eax,dword ptr [z]

由这几段的代码得出结论，计算可以直接在eax,ecx，也就是临时变量上进行

最后将得出的结果放入eax中

000817A8  pop         edi  
000817A9  pop         esi  
000817AA  pop         ebx  
000817AB  add         esp,0CCh  
000817B1  cmp         ebp,esp  
000817B3  call        __RTC_CheckEsp (081244h)  
000817B8  mov         esp,ebp  
000817BA  pop         ebp  
000817BB  ret

1-3行代码涉及将最顶上三个元素弹出

而其中mov esp,ebp（将ebp的地址存储到esp地址中）这条指令，成功实现了将Add函数栈帧回收

pop ebp 指令将ebp弹入原main最下部，可以继续维护原main函数

而最后的ret指令，可以实现回到main函数中call指令发出的地方，也就是存放地址的地方，可以实现整个程序能够继续按照流程继续下去。

重新回到main函数

000818F7  add         esp,8  
000818FA  mov         dword ptr [c],eax

第一步，将原来为临时变量x,y开辟的空间回收

第二步，将eax中存放的z的值传给c

至此，成功实现z的返回

总结与提示 

  1. 局部变量在main函数栈帧中创建，数据类型决定了内存修改权限大小
  2. 不同的编译器初始化放进的值不一样，从而导致了不初始化将会出现随机值的情况
  3. 函数传参是在main最顶上执行压栈操作，从右到左传参，并没有创建在函数内部
  4. 形参是实参的一份临时拷贝
  5. 函数执行必须先创建函数栈帧，再进行函数操作
  6. 函数若要返回值，需要先将返回值暂时存在寄存器中，方便函数空间被回收后返回

本期内容到此结束啦！由于作者水平有限，文章中如有不足与疏漏之处在所难免，希望各位大佬提出你们宝贵的意见！笔芯~

东条希尔薇
关注
专栏目录
浅谈函数调用，开辟栈帧的过程
IT小书生的博客
05-23 1994
函数的调用过程其实就是开辟栈帧的过程，首先了解一下栈的特性和几个常用的寄存器。 栈：栈先进先出。 栈是从高地址向低地址延伸的。每个函数的每次调用，都有它自己独立的一个栈帧，这个栈帧中维持着所需要的各种信息。寄存器ebp指向当前的栈帧的底部（高地址），我们称为栈底指针，寄存器esp指向当前的栈帧的顶部（低地址），我们称为栈顶指针。 通用寄存器：eax ebx ecx edx. eip(程序计数器...
逆向基础特征分析
datouyu0824的博客
03-21 756
逆向基础特征分析 栈帧 通常开始需要开辟栈帧，初始化安全cookie， （j_CheckDebuggerJustMyCode） 通常一个函数的结束需要对eax即对返回值赋值，恢复寄存器环境，检测安全cookie是否被改变，平衡堆栈(esp+xx)，检查(CheckEsp)，关闭栈帧 开栈操作 通常初始化安全cookie(ebp-4)，保存非易失性寄存器(如ebp,esi,edi)，初始化栈帧 开辟栈帧的作用是把ebp作为基址调用参数和变量 参数 通常大于8字节的参数，先开辟栈帧在赋值 小于四字节的参数会被
【C++】模板（template）进阶
codewinter的博客
06-02 2187
模板参数分为「类型形参」与「非类型形参」，注意：不管哪种模板参数，都可以给「缺省值」。类型形参：出现在模板参数列表中，跟在 class 或者 typename 之后的参数类型名称。 非类型形参：就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。 比如：C++11 增加了一个容器 array，就是一个静态数组，通过非类型模板参数来控制数组的大小： 👉 Example：只是举例子，不推荐这样写现在实现了一个静态栈，可以存 10 个数据，实例化的每个对象都可以存 1
编程逆向基础
m0_37833811的博客
11-15 1119
编程逆向基础
函数调用的汇编解释
weixin_42038860的博客
11-13 174
函数调用的汇编解释
浅谈main函数的栈帧
微风
07-01 6446
相信自己没有什仫困难是不能克服的，人只有在步入绝境的时候才会发挥无限的潜力
浅谈函数的调用过程，栈帧的创建和销毁
Cecilia3333的博客
12-07 231
原码： 按到 f10 ，转到反汇编： call命令的功能：1.将当前正在执行指令的下一条指令的地址压入栈中 ；                           2.随即跳转（jmp）至指定函数 ret 返回要做的两件事 :   1.弹出pop栈顶；                                       2.弹出栈顶的值的地
浅谈C语言的栈帧
心之所向，一如既往
11-21 2429
C语言中分为几个区，常用的区按地址从小到大分布是：代码区-静态全局区-堆区-全局共享区-栈区，静态区从小到大是已初始化静态区，未初始化静态区。而我们经常使用的区域是栈区，而栈帧就是在栈区，而且有一点是和其他区有一个明显的分别，就是栈区内部是从大到小使用的。     基本的栈帧就是下图这样的：      贴上使用的代码： #define _CRT_SECURE_NO_WARNINGS
汇编语言中MOV和OFFSET指令的两个问题？
热门推荐
u011555996的博客
05-10 2万+
（1）往段寄存器送段地址时要写成 MOV AX,DATA MOV DS,AX 不能写成 MOV DS,DATA 这是为什么？有人说由于段寄存只能进行16位的读写，因此需要用ax来倒一下，还有人说是因为段寄存器不能用于立即数寻址，究竟哪个对呢？如果第二个对，那么段名DATA是立即数吗？还是因为别的原因？ （2）书上有道例题...
mov 及常见指令；汇编分析指针、引用、is-else
woshinadie的博客
06-16 581
mov mov dest,src  将src的内容赋值给dest []  中括号内放的为内存地址 word（2字节）、dword（4字节）、qword（8字节quad word） a的地址：008FF918h [ebp-8]：8F F920h-8h = a的地址 ptr为固定写法 Q&A  Q:为什么不直接用a的地址  A:这种寻址方式更灵活，程序每次加载到内存的地址不是固定的。 变量的地址 CPU大部分是小端模式。高存高，低存低（高地址存高字节，低地
逆向基础（三）--- IDA中的虚函数
移动（IoT）安全
07-20 2811
这片文章（C++中的多态及实现原理（虚函数））阐述了多态的使用以及利用虚函数实现多态的原理，主要是从正向侧说明。我们在逆向过程中也会经常遇到虚函数的使用，在逆向中，在IDA中，虚函数又是什么样子的呢？ 本文实例代码： /* C++多态测试实例 */ #include <string> #include <iostream> using namespace std; //基类 class Base { public: virtual void vfunc1() {
从汇编代码看switch针对if的优化
weixin_42295969的博客
07-14 509
本文通过从一个简单的程序进而一步步推导switch针对if的优化 一个简单的程序汇编详解 1.1 源代码 int fun(int a, int b); int m=10; int main() { inti=4; int j-5; m = fun(i, j); return 0 } int fun(int a, int b) { int c=0; c-a+b; return c; } 1.2 基础知识储备 1.2.1 寄存器的意义 ebp：栈底指针 esp：栈顶指针 eax：用于保存累
函数私底下都在干什么？图解函数栈帧的创建与销毁
weixin_45844450的博客
08-08 886
函数私底下都在干什么？图解函数栈帧的创建与销毁前言（什么是函数栈帧？）一、CPU指令简介二、使用步骤1.引入库2.读入数据总结 前言（什么是函数栈帧？） 函数栈帧是什么？相信很多人都一脸懵逼。我们不妨百度一下。 C语言中，每个栈帧对应着一个未运行完的函数。栈帧中保存了该函数的返回地址和局部变量。 栈帧也叫过程活动记录。也就是函数的活动记录。函数执行的环境。函数参数、函数的局部变量、函数执行完后返回到哪里等等。 首先应该明白，栈是从高地址
2.3 修改函数返回地址
bangren3304的博客
09-17 462
2.3.1 返回地址与程序流程 上节实验介绍的改写邻接变量的方法是很有用的，但这种漏洞利用对代码环境的要求相对比较苛刻。更通用、更强大的攻击通过缓冲区溢出改写的目标往往不是某一个变量，而是瞄准栈帧最下方的 EBP 和函数返回地址等栈帧状态值。 回顾上节实验中输入 7 个‘q’程序正常运行时的栈状态，栈帧数据如表所示。 局部变量名 内存地址 偏移3处的值 偏移2处的值 偏移1处的值...
函数的声明与定义
Green_756的博客
11-04 5019
函数的声明：告诉编译器有这个函数，使得函数放在主函数后面也不会报错 函数声明格式：int Add(int x,int y) 函数的定义：即函数那一部分的结构体，如： int Add(int x, int y) { int z = 0; z = x + y; return z; } 函数的声明与定义是相互存在的，即使函数声明了，若函数没有写定义，直接引用函数的声明，这个函数也不会存在（即只使用Add（a，b）但不写出Add（）的结构体）。 在初步了解函数的声明与定义后，我们可以更深一层理解：
被知乎大佬嘲讽后的一个月，我重新研究了一下内联函数
Jerish的博客
01-04 3655
这绝不仅仅是一篇讲内联意义的文章，参考我的学习过程，可能对你的知识整合有很大帮助 之前写了一篇总结c++面试的文章，被大佬纠出来很多关于内联的问题与错误。抱着不误导别人以及学习的态度，我在之后的一个月里抽时间重新研究了一下内联函数，确实学到了很多以前不了解的知识。学习么~就是一个不断打破之前认知并重构知识的过程，每个人都是从一个什么都不懂的菜鸟逐渐成长为一个大牛的。 在这篇文章里，我会由浅入深的分...
C++ 反汇编/栈帧
Jave.Lin 的学习笔记
05-26 1637
文章目录查看 C++ ASM调试是断点反汇编信息在项目属性的文件输出源码+汇编Debug 下的：[ProjectName].asmRelease 下的：[ProjectName].asmReferences 学习目的： 部分 shader 反汇编 后的代码查看 部分业务逻辑层的算法、逻辑优化等 查看 C++ ASM 有好几种方法可以查看 MSVC 的编译器 CL.exe 编译出来的 C++ 汇编代码。 下面获取反汇编代码都是基础 Release 下，因为 Debug 下太多调试信息，不太方便阅读 调试是
（史上最详细的解释看过来）深入理解函数栈帧
L_R
07-26 9556
函数的调用过程（栈帧） 　　话说，什么是函数栈帧？我之前也是一脸懵逼的（┭┮﹏┭┮），举个栗子，先看一段简单的代码： #include&amp;amp;amp;amp;lt;stdio.h&amp;amp;amp;amp;gt; int Add(int x, int y) { int z = 0; z = x + y; return z; } int main() { int a = 10; int b = 20; ...
通过函数栈帧获取函数名
最新发布
06-09
在一些编程语言中，可以通过函数栈帧来获取当前正在执行的函数的名称。具体实现方式和可用性取决于编程语言和操作系统。 在C++中，可以使用__FUNCTION__宏或者__PRETTY_FUNCTION__宏来获取当前函数的名称。这些宏在编译时会被替换为函数的名称字符串。在调试时，可以使用调试器来查看函数栈帧和函数名称。 在Java中，可以通过Throwable类的getStackTrace()方法获取函数调用堆栈信息，并从中获取函数名称。在调试时，可以使用Java虚拟机提供的调试工具来查看函数栈帧和函数名称。 在Python中，可以使用inspect模块来获取当前调用栈的帧信息，并从中获取函数名称。具体实现方式可以参考Python官方文档中的相关说明。 需要注意的是，获取函数名的方式并不总是可行的，特别是在一些优化后的程序中，函数名可能被删除或者压缩，这时无法通过函数栈帧来获取函数名。
评论 5
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

东条希尔薇

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值