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