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

作     者：蒋剑琴 黄达明 曾庆凯 JIANG Jian-qin;HUANG Da-ming;ZENG Qing-kai

作者机构：南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 

出 版 物：《解放军理工大学学报（自然科学版）》 (Journal of PLA University of Science and Technology(Natural Science Edition))

年 卷 期：2009年第10卷第3期

页      面：262-268页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金资助项目(60773170 60721002 90818022) 国家863计划资助项目(2006AA01Z432) 高等学校博士学科点专项科研基金资助项目(200802840002) 

主　　题：软件安全 程序静态分析 语义抽象 内存访问错误 

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