更新时间：2022-08-25 11:43
堆栈（Stack）是一种抽象数据结构，是一组相同数据类型的组合，所有的操作均在堆栈顶端进行，具有“后进先出”的特性，即最后一个放入堆栈中的物体总是被最先拿出来。堆栈中两个最重要的是PUSH（进栈）和POP（出栈）， PUSH操作在堆栈的顶部加入一 个元素，POP操作相反， 在堆栈顶部移去一个元素， 并将堆栈的大小减一。水满则溢，堆栈是有一定容量限制的，当超出了该容量限制，就会发生溢出。
事实上，堆和栈是不同的数据结构概念，堆栈溢出也可细化为堆溢出和栈溢出两种。栈有两个特性：只能从栈的顶端存取数据；数据的存取符合后进先出的原则。所谓后进先出，其实就如同自助餐中餐盘在桌面上一个一个往上叠放，在取用时先拿最上面的餐盘，这是典型的堆栈概念的应用。堆是一种树结构，准确地说是一个完全二叉树。
在内存中，当一个可执行程序被装入到内存时，主要包括两个部分 ：代码和数据。代码会被装入到内存中的代码区，数据区又由 3 部分组成 ：①全局变量：根据其是否有初始值，被装入到内存中的未初始化数据区和初始化数据区；②局部变量：在函数调用发生时存放在栈中；③动态内存空间：在程序运行时申请的动态内存空间存放在堆中。
栈区(stack)是后进先出的结构，向低地址进行扩展，是一块连续的内存区域，栈顶的地址和栈的最大容量是系统预先规定的，只要栈的剩余空间大于所申请空间，系统将为程序提供内存，否则将报异常来提示栈发生溢出。栈空间是系统自动分配、释放的，存放函数的参数值、局部变量的值等。一般来说，进栈的顺序首先为主函数中的下一条指令（函数调用语句的下一条可执行语句）的地址先进栈，其次是参数由右往左依次进栈，最后是函数中的局部变量进栈，出栈顺序与进栈顺序相反，对于程序来说，出栈就意味着函数执行完毕，函数空间将被系统完全释放掉。
堆区一般由程序员自己申请，并指明大小，程序最后进行释放，若程序员不释放，程序结束时可能由操作系统回收（注意，如果是C/C++语言，程序不进行对空间回收，而Java语言中有专门的垃圾回收器进行回收），堆区与数据结构中的堆有所不同，分配方式类似于链表。堆区向高地址扩展。
堆栈溢出是说堆区和栈区的溢出，二者同属于缓冲区溢出。从上面关于堆区和栈区的解释可以看出，一旦程序确定，堆栈内存空间的大小就是固定的，当数据已经把堆栈的空间占满时，再往里面存放数据就会超出容量，发生上溢；当堆栈中的已经没有数据时，再取数据就无法取到了，发生下溢。需要注意的是，栈分为顺序栈和链栈，链栈不会发生溢出，顺序栈会发生溢出。
堆栈尺寸设置过小、递归调用过深、函数调用层次过深等程序设计不当之处都可能导致堆栈溢出。
1、 堆栈尺寸设置过小
由堆栈溢出的定义便可知，堆栈尺寸设置过小时，其能储存的内容过小，容易发生溢出。
2、递归层次太深或函数调用层次过深导致堆栈溢出
调用函数时，系统将为调用者构造一个由参数表返回地址组成的活动记录，并将其押入到由系统提供的运行时刻栈的栈顶，然后将程序的控制权转移到被调函数。若被调函数有局部变量，则在运行时刻，在栈的栈顶也要为其分配相应的空间，因此，活动记录和这些局部变量形成了一个可供被调函数使用的活动结构。被调函数执行完毕时，系统将运行时刻栈的栈顶的活动结构退栈，并根据退栈的活动结构中所保存的返回地址将程序的控制权转移给调用者继续执行。由此可见，当递归层次太深时或者函数调用层次过深时会产生大量的活动记录和局部变量，当超过栈的空间长度时，即发生溢出。
例如C/C++语言中的无限递归：
3、动态申请空间使用之后没有释放
如果是C语言，由于没有垃圾资源自动回收机制，因此，需要程序主动释放已经不再使用的动态地址空间，如果不释放，程序结束后该部分空间依然存在，还可以继续访问，也就是说这部分依然占据着堆空间，剩余的堆空间减少，就可能造成堆区溢出。而如果是Java语言则因为有专门的垃圾回收器回收则不会有此问题。
从小处看，堆栈溢出会改变临近堆栈的空间中的内容，从而导致程序运行异常，发生故障；从大处看，堆栈溢出和计算机网络安全密切相关。堆栈溢出攻击是计算机被攻击的最为常见的一种形式，远程网络的攻击绝大多数是针对堆栈溢出的漏洞，这种攻击可以使得一个匿名的Internet用户有机会获得一台主机的部分或全部控制权。
堆栈溢出时会访问不存在的RAM空间，造成代码跑飞，这时无法得到溢出时的上下文数据，也无法对后续的程序修改提供有用信息。
堆栈溢出常见的攻击类型有：修改函数的返回地址，使其指向攻击代码，当函数调用结束时程序跳转到攻击者设定的地址而不是原先的地址，修改函数指针，长跳转缓冲区来找到一个可供溢出的缓冲区。
攻击者通过缓冲区溢出来重写存储在返回地址内的值从而达到控制程序的执行流程的目的。程序函数就像是一个大程序中的小程序。它是相对独立的，对传给它的数据做相应的处理然后将处理的结果返回给主函数。因为数据在一个函数内进行处理，因此它用栈作为数据的临时存储区域。当一个程序调用函数时，它将所有的数据压栈，包括返回地址，如图所示。当函数被调用时，指令指针指向的就是函数的返回地址。这一点很重要，因为当被调用函数执行结束以后，主程序要回到被调用函数的返回地址处，接着执行下一条指令。返回地址存储在RET中，当被调用函数执行结束，该返回地址传递给指令指针，以便主函数能够回到函数调用之前的地址继续执行。如果攻击者能够使缓冲区溢出并且重写存储在RET中的值，将恶意代码的地址赋值给RET，那么指令指针将指向恶意代码，从而执行恶意代码。
堆是程序中动态分配的内存空间，因为程序在执行前所需要的内存数量是未知的，因此堆内存在程序需要时进行动态分配，不需要时进行动态释放。堆和栈的主要区别在于，堆没有像栈那样的返回地址，这使得在栈溢出中用于控制程序执行流程的相关技术不可用。堆溢出可能导致重写数据或者指向其他函数的指针。这样，攻击者可以重写这些指针使其指向恶意代码，而不是指向原来的内存区域。
利用堆栈溢出攻击计算机的最典型的例子是1988年利用fingerd漏洞进行攻击的蠕虫病毒。
通常的代码要设置堆栈缓冲区，最好能检测堆栈运行形况，设置堆栈溢出检测算法。对于递归引起的堆栈溢出，可以采用循环处理。
针对堆栈溢出可能造成的计算机安全问题，通常有以下这些防范措施：
（1） 强制按照正确的规则写代码
（2） 通过操作系统使得缓冲区不可执行，从而阻止攻击者植入攻击代码。但由于攻击者并不一定要通过植入代码来实现攻击，同时linux在信号传递和GCC的在线重用都使用了可执行堆栈的属性，因此该方法依然有一定弱点。
（3） 利用编译器的边界检查来实现缓冲区的保护。该方法使得缓冲区溢出不可能出现，完全消除了缓冲区溢出的威胁，但代价较大，如性能速度变慢。
（4） 程序指针完整性检查，该方法能阻止绝大多数缓冲区溢出攻击。该方法就是说在程序使用指针之前，检查指针的内容是否发生了变化。