堆栈溢出危害：数据损坏、系统崩溃、安全漏洞

说实话，我在嵌入式这行干了十几年，见过最让人头疼的问题之一，就是堆栈溢出。它不像语法错误那样编译时就能发现，也不像逻辑错误那样有迹可循。它像个幽灵，平时不声不响，一旦爆发，后果往往很严重。

我个人习惯把堆栈溢出的后果分成三类：数据损坏、系统崩溃、安全漏洞。咱们一个一个来看。

数据损坏：悄无声息的破坏者

堆栈溢出最直接的后果，就是数据损坏。为什么会这样？你想想看，堆栈是向下生长的，局部变量、函数参数、返回地址都放在里面。一旦某个函数用栈用过了头，就会把数据写到不该写的地方去。

我在项目中遇到过这样一个案例：一个传感器采集程序，跑着跑着数据就跳变。查了三天，最后发现是一个局部数组越界了。那个数组只有64字节，但某个条件下会写入80字节。多出来的16字节，恰好覆盖了相邻的另一个变量。

这种损坏有几个特点：

• 随机性：不是每次都会触发，跟执行路径有关
• 隐蔽性：系统可能还能继续跑，但数据已经不对了
• 难复现：换个编译器优化等级，可能就复现不出来了

系统崩溃：最直接的后果

堆栈溢出导致系统崩溃，说白了就是程序跑飞了。这里我重点说两种常见情况。

返回地址被覆盖

这是最经典的。函数调用时，返回地址保存在堆栈里。一旦溢出把返回地址改了，函数返回时就跳到不知道什么地方去了。轻则触发HardFault，重则执行了一堆垃圾指令。

// 典型的危险写法
void dangerous_func(void) {
    char buffer[32];
    // 如果输入超过32字节，返回地址就危险了
    gets(buffer);  // 千万别这么写！
}

嗯，这里要注意，gets()函数在C标准里已经被废弃了，但很多老项目里还能看到。我曾经在一个遗留代码里见过这种写法，当时后背都凉了。

堆栈指针错乱

还有一种情况，是堆栈指针本身被破坏了。比如在中断服务函数里用了太多局部变量，或者递归调用太深。堆栈指针一路往下走，最后踩到了堆区或者全局变量区。

我记得有一次调试一个电机控制程序，现象很奇怪：电机转着转着突然停了，但系统没死，还能响应串口命令。后来发现是堆栈把PID参数给覆盖了，控制输出直接变成0。

安全漏洞：最危险的后果

说到安全漏洞，很多人觉得那是PC端的事，嵌入式设备能有什么安全问题？大错特错。堆栈溢出是嵌入式系统安全漏洞的头号来源。

缓冲区溢出攻击

攻击者利用堆栈溢出，覆盖返回地址，让程序跳转到攻击者指定的代码。这在嵌入式设备上同样可行，尤其是那些联网的IoT设备。

// 攻击者可以利用这样的代码
void process_command(char *input) {
    char cmd_buf[128];
    strcpy(cmd_buf, input);  // 没有长度检查！
    // 如果input超过128字节，返回地址可能被控制
}

提权攻击

在RTOS环境下，堆栈溢出还可能被用来提权。比如一个低优先级的任务，通过溢出覆盖了高优先级任务的数据，或者修改了任务控制块。

三种后果的对比

你看，这三种后果一个比一个严重。数据损坏可能只是让你多花几天排查，系统崩溃可能导致产品召回，而安全漏洞——嗯，那可能是毁灭性的。

所以我的建议是：别等到出了问题再想办法，从一开始就把堆栈防护做进去。后面几章我会详细讲怎么测量堆栈深度、怎么加防护措施。但首先，你得意识到这个问题的严重性。

说白了，堆栈溢出就像房子里的白蚁。平时看不见，等看见的时候，梁可能已经空了。咱们做嵌入式开发的，不能等到房子塌了才想起来加固。