基于抽象区间域的数组边界检查技术
作者单位：解放军信息工程大学信息工程学院
会议名称：《河南省计算机学会2010年学术年会》
会议日期：2010年
学科分类：0839[工学-网络空间安全] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：数组访问越界是程序中常见的问题,给程序的执行带来潜在的安全威胁。针对该问题提出了一种基于抽象解释理论的程序静态分析技术,用于自动发现C程序源代码中存在的数组访问越界错误。文章介绍了抽象解释的基本理论,描述了抽象区间域的基本概念和数组越界检查的判定条件,给出了抽象分析器的设计思路和模拟检测过程。