基于指向与数值抽象的带指针算术程序的分析方法

摘要：

带指针算术的程序往往包含数组越界、缓冲区溢出等运行时错误.单纯的指针分析技术和数值分析技术都无法有效处理指针算术.为了将指针分析与数值分析相结合,首先提出一种新的指针内存模型,然后基于该模型设计了一个刻画指针指向关系和指针偏移量的抽象域.最后在抽象解释框架下,设计并实现了一个面向带指针算术C程序的静态分析工具原型PAA.实验结果表明,PAA能够有效地分析指针程序的指向关系和数值性质,并能够在效率和精度间取得合理的权衡.

关键词：静态分析、抽象解释、指向分析、数值抽象域

所属期刊栏目：42

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61202120,91118007;教育部博士点基金20124307120034

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

页数：共6页

页码：32-37