我和栈帧的爱恨情仇

请叫我7plus

已于 2023-04-08 21:49:54 修改

阅读量236

点赞数

分类专栏： C/C++ 文章标签： c语言

于 2022-10-09 19:38:33 首次发布

本文链接：https://blog.csdn.net/weixin_41544435/article/details/127226186

版权

C/C++ 专栏收录该内容

13 篇文章 1 订阅

订阅专栏

例题1

阅读如下C代码片段（其中Y表示代码指令地址）：

void overflow(char* pShellcode, int iLen) {
Y1：char buffer[8];
Y2: memcpy(buffer, pShellcode, iLen); 
Y3: „„
}
Y4: int main() {
Y5: „„
Y6: overflow("123456789123456789",18);
Y7: „„ 
}

main主程序调用执行overflow函数后，指令指针指向（D?）。
A.Y3
B.Y7
C.0x34353637
D.0x37363534

解析：

简述：

（32位系统）栈帧的结构为局部变量（8byte）+ EBP(4byte) + Return Addr(4 byte) + 入参（从右到左 8byte）
出栈时 12345678 没有问题 9123 覆盖EPB 4567覆盖了 Return Addr 按照小端来计算地址是 ‘7’‘6’‘5’‘4’= 0x3736353

详细叙述

该题考查栈帧的知识。而且需要两个其他条件：1. 32位系统，2. 小端存储
在调用函数的时候：
🍭1、将现场保护起来压进一个栈帧中。
🍬2、进入函数也要有一个栈帧。其结构图如下所示：
在这里插入图片描述
buffer的内存如下：buffer占8B，而后是main的ebp/rbp，而后是返回地址。但是如果直接给他18的大小后面的18 - 8 = 10个B会覆盖信息。32位中ebp为4B，会被[9 1 2 3]覆盖。返回地址4B会被[4 5 6 7]覆盖。因此最后指向的位置是[0x37363534]。
在这里插入图片描述
memcpy(buffer, pShellcode, 8)

memcpy(buffer, pShellcode, 18)

参考：
链接: 牛客原题、链接: 栈帧结构、链接: 栈帧解释

疑问

疑问：
一直以来有一些疑惑，程序运行的时候是在内存上还是磁盘上？如果程序在内存上，那么哪些数据又存在哪里，一起的吗？程序在运行的时候总说返回地址，返回地址是在内存上吗，和数据的地址是同样表示方式吗？
在这里插入图片描述

证明：磁盘在是用来存储数据和代码的，当程序要运行时，程序会装载到内存上，因此程序在内存上，数据也是存在内存上。证明如下：
在这里插入图片描述
在内存上查到程序执行的语句。在这里用变量来指示程序的变化。可以从上下两个图得出结论：执行的程序是在内存上的。

紧接着在memory中查找a的地址：

发现内存定义在了0x60fefc，和程序不在一块。

总述

32位操作系统针对的32位的CPU设计。CPU内部寄存器和寻址总线是32位，指令集可以运行32位数据指令，也就是说一次可以提取32位数据（4个字节，32bit=4Byte）。32位CPU有4G的内存寻址空间，一位内存地址表示需要8B空间（例如,0x0060ff08）。
在C语言中，内存可分用五个部分：

BSS段（Block Started by Symbol): 用来存放程序中未初始化的全局变量的内存区域。注：未初始化的全局变量在memory中不能查看。
数据段（data segment): 用来存放程序中已初始化的全局变量的内存区域。
代码段（text segment): 用来存放程序执行代码的内存区域。
堆（heap）：用来存放进程运行中被动态分配的内存段，它的大小并不固定，可动态扩张或缩减。当进程调用malloc分配内存时，新分配的内存就被动态添加到堆上，当进程调用free释放内存时，会从堆中剔除。
栈（stack）：存放程序中的局部变量（但不包括static声明的变量，static变量放在数据段中）。同时，在函数被调用时，栈用来传递参数和返回值。由于栈先进先出特点。所以栈特别方便用来保存/恢复调用现场。

malloc函数用法

其中malloc用法需熟记，用的地方很多。定义如下：

void *malloc(int size);

说明：malloc 向系统申请分配指定size个字节的内存空间。返回类型是 void* 类型。void* 表示未确定类型的指针。C,C++规定，void* 类型可以强制转换为任何其它类型的指针。 malloc 函数返回的是 void * 类型，如果你写成：int* p = malloc (sizeof(int)); 则程序无法通过编译，报错：“不能将 void* 赋值给 int * 类型变量”。所以必须通过 (int *) 来将强制转换。
正确用法如下：

int* p = (int *) malloc (sizeof(int));

详见：malloc()函数其实就在内存中找一片指定大小的空间，然后将这个空间的首地址范围给一个指针变量，这里的指针变量可以是一个单独的指针，也可以是一个数组的首地址，这要看malloc()函数中参数size的具体内容。我们这里malloc分配的内存空间在逻辑上连续的，而在物理上可以连续也可以不连续。对于我们程序员来说，我们关注的是逻辑上的连续，因为操作系统会帮我们安排内存分配，所以我们使用起来就可以当做是连续的。