记一次C栈溢出

原创已于 2023-05-22 10:32:43 修改 · 441 阅读

2 ·

CC 4.0 BY-SA版权

文章标签：

#C #栈破坏

于 2021-05-31 23:01:49 首次发布

C/C++ 同时被 2 个专栏收录

55 篇文章

订阅专栏

笔记

11 篇文章

订阅专栏

本文通过一段C语言代码展示了栈溢出的现象，详细解释了由于将无符号短整型变量当作整型赋值导致的缓冲区覆盖问题。在第9行，len的赋值操作造成了栈溢出，影响了buffer的前两个字节，使得最终输出的buffer内容不正确。理解栈溢出的原因对于防止安全漏洞至关重要。

今天与大家分享的一次堆栈溢出的调试过程，废话少说直接看代码。

1 #include <stdio.h>
2 #include <string.h>

3 void stack_damage(char *buffer, int *len)
4 {
5    char *str = "stack damaged!";
6    int  slen = strlen(str);
7    strncpy(buffer, str, slen);
8   *len = slen;
9 }

10 int main(void)
11 {
12    char buffer[100] = {0};
13    unsigned short len = 0;
14    stack_damage(buffer, &len);
15    printf("buffer[%d]:%s.\n", len, buffer);
16    return 0;
17 }

大家猜猜看，这段代码的输出结果？

如果你的答案是:“buffer[14]:stack damaged!.”，很遗憾，你的答案是错误的。你可能很纳闷，明明是很简单的代码，为什么结果不正确呢？下面我就带大家一起看一下这其中的奥秘。

问题原因就是第9行代码:len = slen;，这是一个简单的给指针变量赋值的操作，没有特别的。不错，单单看这一行代码确实没有问题，问题的根本原因，其实是len的原始类型为unsinged short类型，而这里赋值时，却把它当做了int类型，这相当于“多写了其他两个不属于len的字节”，即，出现了栈溢出，而由于溢出而覆盖掉的两个字节恰恰就是，buffer的前两个字节，从而导致buffer开始的两个字节都为0，所以，使用printf打印时，buffer不能输出正确的结果。

下图展示了buffer的内存是如何被覆盖的。

在这里插入图片描述