24、ABOR：高效的缓冲区溢出检测与修复方案

ABOR：高效的缓冲区溢出检测与修复方案

在C/C++编程中，缓冲区溢出是一个常见且危险的问题。由于缺乏通用方法来轻松获取缓冲区的长度和索引，这使得检测和修复缓冲区溢出漏洞变得具有挑战性。今天要介绍的ABOR（Automatic Framework for Buffer Overflow Removal），就是一种专门用于检测和修复缓冲区溢出漏洞的自动化框架。

1. 缓冲区长度和索引的处理

在C/C++里，没有通用的方法能轻松获取缓冲区的长度和索引。为了解决这个问题，ABOR创建了中间变量来表示它们。在特定表格（可类比为文中的Table 1）中，最后一列“Required Intermediate Variable”记录了每个约束所需的中间变量。

2. 缓冲区溢出检测

在现有的检测方法中，基于路径敏感的方法具有更高的准确性，因为它们针对每个执行路径模拟运行时行为。对于每个路径，路径敏感方法最终会生成一个路径约束，以反映外部输入和目标缓冲区之间的关系，并通过验证生成的路径约束来验证路径的漏洞。

ABOR对Marple方法进行了改进并集成到自身中。Marple通过维护查找表存储常见的缓冲区溢出敏感汇点（bo - sensitive sinks）的语法结构，对每个识别的汇点节点和经过该节点的路径生成初始约束（查询），并沿路径反向传播该查询。在遇到可能影响约束相关数据流信息的节点时，通过符号执行更新约束。更新后，调用定理证明器验证约束，如果约束不可满足，则判定该路径存在缓冲区溢出漏洞。

ABOR对Marple的集成和扩展步骤如下：
1. 替换查找表 ：用特定表格（类比Table