空指针解引用错误检测的静态方法研究

摘要：

空指针解引用是C语言中的一类常见的动态内存错误.Manevich R等提出了一种适用于检测空指针解引用错误的后向分析方法.本文将后向分析的思想和流敏感、上下文敏感的指针分析结合在一起,给出了一种需求驱动的空指针解引用检测静态分析算法.该算法首先由指针分析获得别名信息,然后针对所关心的数据做后向数据流分析,追踪数据传递的源头,以确定程序中的表达式是否产生解引用错误.我们在SUW2平台上实现了这一算法.实验结果表明,算法具有较高的检测精度.

关键词：空指针解引用、指向图、后向分析、指针分析

所属期刊栏目：31

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

资助基金：国家自然科学基金资助项目80725206,60673118,90612009;国家863计划资助项目2006AA01Z429;国家973计划资助项目2005CB321802;新世纪优秀人才计划资助项目NCET-04-0996

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

页数：共5页

页码：92-96