1. 栈溢出原理：从函数调用到系统崩溃

大家好，我是你们的老朋友。今天咱们来聊聊栈溢出——这个让无数嵌入式工程师和系统程序员头疼的问题。说实话，我入行头三年，至少有一半的线上崩溃都是它引起的。每次排查到栈溢出，心里那个五味杂陈啊……

不过别怕，搞懂了原理，你就能从根源上避免它。咱们一步步来。

1.1 什么是栈？

栈（Stack），说白了就是一块内存区域，专门用来管理函数调用的。它遵循一个简单的规则：后进先出（LIFO）。就像你往桶里放盘子，最后放进去的，最先拿出来。

每个线程都有自己的栈空间。我见过不少新手，以为栈是无限大的——嗯，现实很残酷。栈的大小通常是固定的，比如在Linux上默认是8MB，在嵌入式系统里可能只有几KB。

核心要点：栈是线程私有的，大小固定，用完了就溢出。

1.2 函数调用栈

函数调用栈，就是记录函数调用关系的那条链。你想想看，当main函数调用funcA，funcA又调用funcB，系统得知道怎么一层层返回吧？

这个链条长什么样？我画个简单的示意图：

高地址
+------------------+
|   main的栈帧      |
+------------------+
|   funcA的栈帧     |
+------------------+
|   funcB的栈帧     |  <-- 当前正在执行
+------------------+
低地址

每次函数调用，系统都会在栈顶分配一个新的栈帧。函数返回时，这个栈帧就被释放了。我在项目中遇到过递归调用太深导致栈溢出的情况——那是一个XML解析器，递归解析嵌套层数超过1000层，直接崩了。

3. 栈帧结构

栈帧是什么？它是函数在栈上占用的那一小块区域。每个栈帧通常包含这几样东西：

组成部分 作用
返回地址 函数执行完后，该回到哪里继续
局部变量 函数内部定义的变量
参数 调用者传进来的参数
保存的寄存器 调用者需要保留的寄存器值

我个人习惯把栈帧想象成一个「函数的工作台」。函数执行时，所有临时数据都放在这个工作台上。工作台的大小是固定的，放不下就溢出。

避坑指南：我曾经在调试一个网络协议栈时，发现某个函数在栈上声明了一个8KB的数组，而线程栈总共才16KB。结果呢？一调用这个函数，栈就炸了。记住：大数组别放栈上，用堆或者静态区。

1.4 局部变量与缓冲区

局部变量，就是函数内部定义的变量。它们都分配在栈上。比如：

void vulnerable_func() {
    char buffer[64];  // 64字节的缓冲区，在栈上
    int count;        // 4字节，也在栈上
    // ...
}

这里有个关键点：缓冲区是栈上最容易出问题的地方。为什么？因为缓冲区通常有固定大小，但程序往往不检查写入的数据量。

你想想看，如果用户输入了128字节的数据，而buffer只有64字节，会发生什么？多出来的64字节会写到buffer后面的栈空间——覆盖了返回地址、局部变量，甚至其他函数的栈帧。

警告：缓冲区溢出是栈溢出的主要诱因之一。它不仅是崩溃问题，更是安全漏洞。著名的Morris蠕虫就是利用fingerd的缓冲区溢出传播的。

1.5 栈溢出触发条件

栈溢出什么时候发生？我总结了三种常见场景：

  1. 递归调用太深：每次递归都分配新栈帧，深度太大就把栈撑爆了。我记得有一次排查一个死循环递归，栈指针直接跑到了内存的保留区域。
  2. 局部变量太大：比如在栈上声明了一个几MB的数组。嵌入式开发中尤其常见——我见过有人把整个图像缓冲区放在栈上，结果可想而知。
  3. 缓冲区溢出：写入的数据超过了缓冲区的边界。这是最隐蔽的，因为它不一定会立即崩溃，而是悄悄破坏栈上的其他数据。

来看一个典型的栈溢出代码：

#include <string.h>

void overflow(char *input) {
    char buffer[16];
    strcpy(buffer, input);  // 没有检查长度！
    // 如果input超过16字节，buffer后面的栈空间就被覆盖了
}

int main() {
    char large_input[] = "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
    overflow(large_input);
    return 0;
}

这段代码里，strcpy不会检查目标缓冲区的大小。如果输入超过16字节，就会覆盖buffer后面的返回地址。程序返回时，CPU会跳到一个错误的地址——要么崩溃，要么被恶意利用。

关键总结：栈溢出的本质是「写入了超出栈容量的数据」。触发条件无非三种：递归太深、局部变量太大、缓冲区溢出。其中缓冲区溢出最危险，因为它可以被人为构造。

好了，这一章就到这里。下一章咱们聊聊栈溢出的具体危害——不只是崩溃，还有安全漏洞。到时候我会分享一个我亲手修复的栈溢出漏洞案例，保证让你印象深刻。

← 上一章 📖 返回目录 下一章 →