|
|||||
|
|
| 基于语义抽象的内存访问错误检测 | |
| 引用本文： | 蒋剑琴,黄达明,曾庆凯.基于语义抽象的内存访问错误检测[J].通信工程学院学报,2009(3):262-268. |
| 作者姓名： | 蒋剑琴 黄达明 曾庆凯 |
| 作者单位： | [1]南京大学计算机软件新技术国家重点实验室,江苏南京210093 [2]南京大学计算机科学与技术系,江苏南京210093 |
| 摘 要： | 为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误。通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性。原型实现表明了方法的有效性。 |
| 关 键 词： | 软件安全 程序静态分析 语义抽象 内存访问错误 |
| 本文献已被 维普 等数据库收录！ | |