基于抽象区间域的数组边界检查技术

摘要：

数组访问越界是程序中常见的问题,给程序的执行带来潜在的安全威胁.针对该问题提出了一种基于抽象解释理论的程序静态分析技术,用于自动发现C程序源代码中存在的数组访问越界错误.文章介绍了抽象解释的基本理论,描述了抽象区间域的基本概念和数组越界检查的判定条件,给出了抽象分析器的设计思路和模拟检测过程.

关键词： 程序设计 数组访问越界现象 静态分析技术 抽象解释理论

作者: 曾勇军 王清贤 奚琪

作者单位: 解放军信息工程大学信息工程学院,河南郑州,450002

会议类型: 国内会议

会议名称: 河南省计算机学会2010年学术年会

会议地点: 郑州

会议语种:中文

页码: 100-106

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