10.3969/j.issn.1007-130X.2009.03.027
空指针解引用错误检测的静态方法研究
空指针解引用是C语言中的一类常见的动态内存错误.Manevich R等提出了一种适用于检测空指针解引用错误的后向分析方法.本文将后向分析的思想和流敏感、上下文敏感的指针分析结合在一起,给出了一种需求驱动的空指针解引用检测静态分析算法.该算法首先由指针分析获得别名信息,然后针对所关心的数据做后向数据流分析,追踪数据传递的源头,以确定程序中的表达式是否产生解引用错误.我们在SUW2平台上实现了这一算法.实验结果表明,算法具有较高的检测精度.
空指针解引用、指向图、后向分析、指针分析
31
TP311(计算技术、计算机技术)
国家自然科学基金资助项目80725206,60673118,90612009;国家863计划资助项目2006AA01Z429;国家973计划资助项目2005CB321802;新世纪优秀人才计划资助项目NCET-04-0996
2009-04-09(万方平台首次上网日期,不代表论文的发表时间)
共5页
92-96