软件安全性的静态分析

摘要：

提出了基于整数区间和控制依赖图,通过静态分析来检测C语言源代码中安全漏洞的新方法.该方法在引入整数区间概念及其运算规则的基础上,把C语言中的数组、指针和整型表达式都抽象成整数区间,从而把相关安全性判断转换成整数区间之间的关系判断.最后讨论了该方法的具体算法.

关键词：软件安全、静态分析、控制流图、整数区间、缓冲区溢出、整数溢出

所属期刊栏目：27

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

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

页数：共4页

页码：1411-1414