过程间的空指针引用故障静态检测方法
空指针引用的错误在C++程序中普遍存在,面向故障的静态测试方法应该很好地针对这种故障模式。然而已有的一些静态测试方法大多着重于过程内,许多通过函数参数或者返回值进行传递的指针由于函数间分析的复杂性导致其检测相对困难。提出了一种以函数摘要做基础进行函数间分析、同时利用状态机对函数间的空指针引用错误进行检测的方法。同时,过程内利用了路径敏感的特性减少了误报。
静态分析 空指针引用 函数摘要 静态检测 故障模式 路径敏感特性
张冠楠 宫云战 金大海
北京邮电大学网络技术研究院 北京 100876
国内会议
武汉
中文
53-56
2009-08-15（万方平台首次上网日期，不代表论文的发表时间）