内存溢出

在程序员设计的代码中包含的“内存溢出”漏洞实在太多了。

导致内存溢出问题的原因有很多，比如：

(1) 使用非类型安全(non-type-safe)的语言如 C/C++ 等。

(2) 以不可靠的方式存取或者复制内存缓冲区。

(3) 编译器设置的内存缓冲区太靠近关键数据结构。

下面来分析这些因素：

1. 内存溢出问题是 C 语言或者 C++ 语言所固有的缺陷，它们既不检查数组边界，又不

检查类型可靠性(type-safety)。众所周知，用 C/C++ 语言开发的程序由于目标代码非

常接近机器内核，因而能够直接访问内存和寄存器，这种特性大大提升了 C/C++ 语言

代码的性能。只要合理编码，C/C++ 应用程序在执行效率上必然优于其它高级语言。

然而，C/C++ 语言导致内存溢出问题的可能性也要大许多。其他语言也存在内容溢出

问题，但它往往不是程序员的失误，而是应用程序的运行时环境出错所致。

2. 当应用程序读取用户(也可能是恶意攻击者)数据，试图复制到应用程序开辟的内存缓

冲区中，却无法保证缓冲区的空间足够时(换言之，假设代码申请了 N 字节大小的内存

缓冲区，随后又向其中复制超过 N 字节的数据)。内存缓冲区就可能会溢出。想一想，

如果你向 12 盎司的玻璃杯中倒入 16 盎司水，那么多出来的 4 盎司水怎么办？当然会

满到玻璃杯外面了！

3. 最重要的是，C/C++ 编译器开辟的内存缓冲区常常邻近重要的数据结构。现在假设

某个函数的堆栈紧接在在内存缓冲区后面时，其中保存的函数返回地址就会与内存缓冲

区相邻。此时，恶意攻击者就可以向内存缓冲区复制大量数据，从而使得内存缓冲区溢

出并覆盖原先保存于堆栈中的函数返回地址。这样，函数的返回地址就被攻击者换成了

他指定的数值；一旦函数调用完毕，就会继续执行“函数返回地址”处的代码。非但如

此，C++ 的某些其它数据结构，比如 v-table 、例外事件处理程序、函数指针等，也可

能受到类似的攻击。