一种悬挂指针故障的静态检测方法  

A Method of Static Detecting for Dangling Pointer

作　　者：孙涛[1] 宫云战[1] 金大海[1] 

机构地区：[1]北京邮电大学网络技术研究院,北京100876

出　　处：《计算机研究与发展》2010年第S1期69-73,共5页Journal of Computer Research and Development

基　　金：国家"八六三"高技术研究发展计划基金重点项目(2007AA010302);国家"八六三"高技术研究发展计划基金项目(2009AA012404)

摘　　要：悬挂指针是指那些不指向任何合法对象的指针,它引起的故障会导致程序产生无法预料的后果并且不容易找到问题的原因.针对C/C++语言中常见悬挂指针故障进行了分析,建立了悬挂指针类型故障模型,设计并实现了一种悬挂指针故障的静态检测方法.通过函数摘要实现跨函数分析,方法能够同时检测函数内和函数间的悬挂指针故障.实验证明,该方法能够检测出故障点,误报率低.该方法已应用于软件测试系统中实际项目的缺陷检测.悬挂指针是指那些不指向任何合法对象的指针,它引起的故障会导致程序产生无法预料的后果并且不容易找到问题的原因.针对C/C++语言中常见悬挂指针故障进行了分析,建立了悬挂指针类型故障模型,设计并实现了一种悬挂指针故障的静态检测方法.通过函数摘要实现跨函数分析,方法能够同时检测函数内和函数间的悬挂指针故障.实验证明,该方法能够检测出故障点,误报率低.该方法已应用于软件测试系统中实际项目的缺陷检测.

关 键 词：软件测试 静态分析 悬挂指针 函数摘要 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]