基于语义抽象的内存访问错误检测

摘要：

内存访问错误是程序中最严重的缺陷之一。本文提出一种基于语义抽象的内存访问错误检测方法，通过对程序具体语义的完备近似抽象，对相关约束变量操作的精确检验，以及控制流图遍历中的函数信息收集，能够在过程间完备地静态检测C程序源代码中的内存访问边界错误。通过将程序分析和程序验证相结合，提高内存检查的自动化和准确性。原型实现表明了方法的有效性。

关键词： 软件安全 程序静态分析 语义抽象 内存访问错误 检测方法

作者: 蒋剑琴 黄达明 曾庆凯

作者单位: 南京大学计算机软件新技术国家重点实验室，南京，210093 南京大学计算机科学与技术系，南京，210093

会议类型: 国内会议

会议名称: 第六届中国信息和通信安全学术会议(CCICS”2009)

会议地点: 南京

会议语种:中文

页码: 642-644

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