PWN的知识之栈溢出

栈溢出

什么是栈溢出？

栈溢出（Stack Overflow）是指在程序运行过程中，向栈中存放的数据量超过了栈的最大容量，从而导致程序出现异常行为的情况。可以比作一个箱子原本只能容纳一定数量的物品，如果强行往里面塞入更多的东西，最终物品会"溢出来"，进而影响到箱子周围的其他物品，甚至破坏整个存放系统的正常运作。

在计算机程序的运行时内存布局中，栈是一种用于存储局部变量、函数调用信息（如返回地址、参数等）的数据结构。它遵循后进先出（LIFO）的原则进行操作。当程序不断地向栈中压入数据（例如频繁调用函数，每次函数调用都会在栈上分配空间以存储局部变量和调用相关信息），却没有及时进行出栈操作以释放空间时，一旦栈的使用超出了其最大容量范围，就会发生栈溢出。

什么情况下会出现栈溢出？

这里以C语言为例,举几种不同的例子

无限循环中的函数调用

在一个无限循环体内不断地进行函数调用，且每个函数调用都会在栈上分配空间，这样持续下去也会导致栈溢出。下面是一个典型的因为无限循环导致栈溢出的

c 复制代码

#include <stdio.h>

// 递归函数，没有合理的终止条件
void infinite_recursion() {
    int local_variable = 0; // 局部变量，占用栈空间
    printf("Calling function, stack address: %p\n", &local_variable);
    infinite_recursion(); // 函数调用自身
}

int main() {
    infinite_recursion(); // 开始递归调用
    return 0;
}

infinite_recursion 函数在内部调用自身每次调用时都会在栈上分配一个局部变量（local_variable）并打印出来来直观显示栈的增长，并且没有终止条件，运行之后会因为没有终止条件而进行无限调用，栈空间持续占用，最后直至超出栈的空间，造成栈溢出

递归调用过深

个函数在其内部不断地调用自身，并且没有合理的终止条件或者终止条件很难达到时，就会导致栈不断地增长，最终可能引发栈溢出。以下是一个计算阶乘的递归函数示例，当输入的数值较大时，就可能出现栈溢出的情况：

c 复制代码

#include <stdio.h>

int factorial(int n) {
    if (n == 0 || n == 1) {
        return 1;
    }
    return n * factorial(n - 1); // 递归调用
}

int main() {
    int n;
    printf("请输入一个整数来计算其阶乘: ");
    scanf("%d", &n); 

    int result = factorial(n); 
    printf("阶乘结果: %d\n", result);

    return 0;
}

如果用户输入一个很大的数就会因为调用次数过多，栈空间会被耗尽，导致栈溢出，程序崩溃。