聊聊关于C语言(VS软件)中的栈保护机制

最新推荐文章于 2023-05-15 21:58:11 发布

原创最新推荐文章于 2023-05-15 21:58:11 发布 · 962 阅读

2 ·

CC 4.0 BY-SA版权

笔记同时被 3 个专栏收录

12 篇文章

订阅专栏

其他

6 篇文章

订阅专栏

C语言

5 篇文章

订阅专栏

本文深入探讨了C语言中Visual Studio栈保护机制的工作原理，通过一个经典案例展示了栈溢出的防护机制如何触发，解释了缓冲区的作用以及其在防止栈溢出攻击中的重要性。

关于C语言(VS)中的栈保护机制

栈保护机制(VS软件)是为了防止栈溢出而专门设计的一种保护机制。在初始化多个变量，或者初始化数组之后，计算机在栈中开辟内存时，一般会留出“缓冲区”，来降低利用栈溢出漏洞的可能性。
下面我们来看一个非常经典的案例(操作软件VS2013 Debug版本状态下)：

#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>
int main()
{
	int i = 0;
	int arr[10] = { 0 };
	for (i = 0; i <= 12; i++)
	{
		arr[i] = 0;
		printf("********* ");
	}
	return 0;
}

运行之后我们会发现一个神奇的现象，它在无限循环。

向着梦想dё方向前进
然而其中的原因就是因为栈保护机制的触发。
我们分别将变量i以及数组arr的地址（地址会随机分配）来看一下：

#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>
int main()
{
	int i = 0;
	int arr[10] = { 0 };
	printf("%d\n", &i);
	printf("%d,%d\n", &arr[0],&arr[9]);
	return 0;
}

在这里插入图片描述
我们明显的能看到&a[9]+12=&i

即数组与变量之间相隔两个字节，而这两个字节即为栈的“缓冲区”。
之所以会无限循环是因为a[12]=i=0,即在i自增到12时又被置为0.所以会无限循环。而数组发生越界却并没有报错的原因是程序在执行完之后才会返回检查并指出其中的错误，而上述的程序在无限循环中显然没有执行完毕。
注：
如果将版本改为Release（面向用户）版本，程序会正常运行。是因为这个版本会将程序进行优化与精简。