软件安全性的静态分析

【文件属性】：
文件名称：软件安全性的静态分析
文件大小：129KB
文件格式：PDF
更新时间：2014-10-13 03:22:34
软件安全; 静态分析; 控制流图 提出了基于整数区间和控制依赖图，通过静态分析来检测 C语言源代码中安全漏洞的新方法。该方法在引入整数区间概念及其运算规则。