基于指向与数值抽象的带指针算术程序的分析方法
指针作为程序语言的重要数据类型，在使用时具有较高的灵活性，这种灵活性为程序的编写带来了极大的便利，但也使得不当的指针使用成为引发非法内存访问的源泉之一。带指针算术的程序往往包含数组越界、缓冲区溢出等运行时错误.单纯的指针分析技术和数值分析技术都无法有效处理指针算术.为了将指针分析与数值分析相结合,首先提出一种新的指针内存模型,然后基于该模型设计了一个刻画指针指向关系和指针偏移量的抽象域.最后在抽象解释框架下,设计并实现了一个面向带指针算术C程序的静态分析工具原型PAA.实验结果表明,PAA能够有效地分析指针程序的指向关系和数值性质,并能够在效率和精度间取得合理的权衡.
计算机程序 指针算术 指向关系 数值性质 抽象解释 抽象域
尹帮虎 陈立前 王戟
国防科学技术大学计算机学院,并行与分布处理国防科技重点实验室,湖南长沙 410073
国内会议
济南
中文
1-6
2014-10-16（万方平台首次上网日期，不代表论文的发表时间）