%0 Journal Article %T Research and implementation of automated C++ code defect detection tool
C++代码缺陷自动检测工具的研究与实现* %A GU Ke %A LIU Chao %A JIN Mao-zhong %A
古可 %A 刘超 %A 金茂忠 %J 计算机应用研究 %D 2009 %I %X 通过编译的C++程序代码并不一定保证代码中不存在缺陷。代码中可能依然隐含了安全、设计或是风格上的缺陷,从而导致程序运行时出现内存泄露、指针误用等现象,或导致程序代码不清晰、可读性差。为了有效查找这些缺陷,探讨了可定制缺陷规则的C++代码缺陷自动检测技术,介绍了两种缺陷定位方法,给出了一种基于XPath技术的缺陷规则定制方法,设计并实现了一种代码缺陷自动检测工具CDD(C++ defect detector),并通过实验证明了缺陷定位方法的有效性以及CDD的易用性。 %K static analysis %K abstract syntax tree %K defect detection %K rule extension
静态分析 %K 抽象语法树 %K 缺陷检测 %K 规则扩展 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=02653F8D13095CB94A31D7E5712B56D0&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=94C357A881DFC066&sid=99C22CF1E519BF36&eid=95B0C98E7814901D&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=9