程序编译保护&堆栈溢出保护机制

最新推荐文章于 2023-08-23 17:35:56 发布

hypnotic`

最新推荐文章于 2023-08-23 17:35:56 发布

阅读量1.6k

点赞数 3

文章标签：安全网络 c语言

本文链接：https://blog.csdn.net/wkshwbw/article/details/128278686

版权

一，前言

缓冲区溢出(buffer-overflow)是一种非常普遍、同时非常危险的漏洞，在各种操作系统、应用软件中广泛存在。缓冲区溢出攻击是利用缓冲区溢出漏洞所进行的攻击，轻则可以导致程序失败、系统关机等，重则可以利用它执行非授权指令，甚至获取系统特权，从而进行其它的非法操作。缓冲区攻击有栈溢出、堆溢出、格式化字符串漏洞、整形变量溢出等。以堆栈溢出为代表的缓冲区溢出已成为最为普遍的安全漏洞。由此引发的安全问题比比皆是。为了尽可能避免缓冲区溢出漏洞被攻击者利用，现今的编译器设计者已经开始在编译器层面上对堆栈进行保护。

二，堆栈溢出原理

在计算机里，堆栈是内存里的一段区域。堆一般由程序员分配释放，如果程序员不释放，程序结束时可能由操作系统回收，分配方式类似于数据结构中的链表；栈由操作系统自动分配释放，存放函数的参数值、局部变量、返回地址等，分配方式类似于数据结构中的栈。以堆栈溢出为代表的缓冲区溢出已经成为最普遍的安全漏洞，由此引发的安全问题比比皆是。堆栈溢出的原因一般有以下几种：

1，函数调用层次太深。函数递归调用时，系统要在栈中不断保存函数调用时的现场和产生的变量，，如果递归调用太深，就会造成栈溢出，这是递归无法返回。再者，当有函数调用层次过深时也可能导致栈无法容纳这些调用的返回地址而造成栈溢出。

2，动态申请空间(可参考下文了解更多）C/C++动态内存开辟详解（含常见错误以及经典面试题）_利刃Cc的博客-CSDN博客_c++动态开辟空间使用之后没有释放。由于c语言中没有垃圾资源自动回收机制，因此，需要程序主动释放已经不再使用的动态地址空间。申请的动态空间使用的是堆空间，动态空间使用不会造成堆溢出。

3，数组访问越界。C语言没有提供数组下标越界检查，如果在程序中出现数组下标访问超出数组范围，在运行过程中可能会内存访问错误。

4.指针非法访问。指针保存了一个非法的地址，通过这样的指针访问所指向的地址时会产生内存访问错误。

堆溢出：不断的new一个对象，一直创建新的对象

栈溢出：死循环或者是递归太深的原因，可能太大或者没有终止。

通常堆栈溢出是指调用堆栈溢出，溢出是指这个数据结构的满溢，不能存放更多数据，其他的数据结构也会遇到这种情况。即使数据结构并非固定容量，而是可扩展的，在有限的内存空间下仍是有满溢的机会。

在一些高级语言中，类似python, java, go等，有一些机制用于防止栈溢出，比如，python默认的递归深度是1000，当递归调用超过这个深度后就会引发异常。此外，编译器层面上也有对堆栈进行保护，其中最著名的是Stack Guard和Stack-smashing Protectection。在操作系统的层面上，为了减少堆栈溢出带来的危害，还有类似于地址空间随机化的机制。