缓冲区溢出：入门知识

定义

应用程序运行时，操作系统为其分配连续的内存区域来存储数据，这片内存区域就叫做缓冲区。

缓冲区溢出是指用户向缓冲区中写入的数据超过了定义的内存边界，从而将数据写入其他区域的行为。

攻击者可以通过缓冲区溢出攻击来更改缓冲区的数据、注入恶意代码、改变程序的控制权等等。

进程内存分配

C和C++的编译器强调程序的运行速率，而忽视内存的边界检查，这是导致缓冲区溢出的直接原因。

进程的内存分配在逻辑上分为三部分：代码区域、动态数据区域（如存放局部变量的堆栈）、静态数据区域（存放全局变量和静态变量）。

系统分配的缓冲区可以在数据段、堆栈、以及BSS段中，而同时，与程序执行相关的一些数据变量（如函数参数指针、函数的返回内存地址等数据）也存放在这些内存区域，这就使得缓冲区溢出攻击可以影响程序执行。

函数内的局部变量的内存分配发生在栈中，而对这些局部变量的操作（如STRCPY）是从低地址到高地址进行的，由于内存中所保存的函数调用的返回地址在高址部分，所以有可能覆盖函数的返回地址。

实例

程序有一个5B大小的缓冲区p，运行时将传入的第一个参数复制到缓冲区中。理论上，程序的输入参数超过5B时就会出现缓冲区溢出。

分类

缓冲区溢出攻击的类型包括：

• 栈溢出攻击
• 本地指针溢出攻击
• 本地函数指针溢出攻击
• BSS函数指针溢出攻击

检测

从大方向上分为两种：

• 静态缓冲区溢出检测：分析源码中可能遭受攻击的代码段。这种方法的优点是在软件编译前就能发现漏洞，缺点是误报率过高。
• 动态缓冲区溢出检测：利用精心构造的测试用例触发漏洞。这种方法的优点是误报率低，缺点是很难构造恰当的测试用例。