一种C语言缓冲区溢出漏洞检测的静态分析方法

摘要：

为更准确的检测程序中可能出现的缓冲区溢出漏洞,本文提出了一种c语言缓冲区溢出漏洞检测的静态分析方法,它在源代码的SSA(Static Single Assignment)形式上进行外部数据分析,并给出了该方法的实现过程.通过实践的结果表明该方法能有效的避免误判,与其他同类方法相比具有较高的准确性.

关键词：缓冲区溢出、外部数据分析、SSA

分类号：TP311(计算技术、计算机技术)

在线出版日期：2006-08-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：115-116