一种基于代码静态分析的缓冲区溢出检测算法

作者：王雅文; 姚欣洪; 宫云战; 杨朝红

来源：Z201204027, 2012, (04): 839-845.

• 安全漏洞
• 缓冲区溢出
• 静态分析
• 区间运算
• 函数摘要 security vulnerabilities
• buffer overflow
• static analysis
• interval calculation
• function summary

缓冲区溢出目前已成为最常见的软件安全漏洞之一,从源代码形式来看,常见的缓冲区溢出漏洞主要有两种类型:数据拷贝和格式化字符串造成的缓冲区溢出.分析了常见缓冲区溢出漏洞发生的原因,给出了格式化字符串存储长度的计算方法,介绍了一种基于源代码静态分析的缓冲区溢出检测算法,该算法首先对源代码进行建模,构造其抽象语法树、符号表、控制流图、函数调用图,在此基础上运用区间运算技术来分析和计算程序变量及表达式的取值范围,并在函数间分析中引入函数摘要来代替实际的函数调用.最后使用该方法对开源软件项目进行检测,结果表明该方法能够有效地、精确地检测缓冲区溢出.

• 单位
  网络与交换技术国家重点实验室; 北京邮电大学; 中国人民解放军装甲兵工程学院