软件安全性的静态分析

【文件属性】：

文件名称：软件安全性的静态分析

文件大小：129KB

文件格式：PDF

更新时间：2014-10-13 03:22:34

软件安全; 静态分析; 控制流图

提出了基于整数区间和控制依赖图，通过静态分析来检测 C语言源代码中安全漏洞的新方法。该方法在引入整数区间概念及其运算规则。