互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

C++代码缺陷自动检测工具的研究与实现


□ 古 可 刘 超 金茂忠

  (北京航空航天大学 软件工程研究所 北京 100191)
  
  摘 要:通过编译的C++程序代码并不一定保证代码中不存在缺陷。代码中可能依然隐含了安全、设计或是风格上的缺陷,从而导致程序运行时出现内存泄露、指针误用等现象,或导致程序代码不清晰、可读性差。为了有效查找这些缺陷,探讨了可定制缺陷规则的C++代码缺陷自动检测技术,介绍了两种缺陷定位方法,给出了一种基于XPath技术的缺陷规则定制方法,设计并实现了一种代码缺陷自动检测工具CDD(C++ defect detector),并通过实验证明了缺陷定位方法的有效性以及CDD的易用性。
  关键词:静态分析; 抽象语法树; 缺陷检测; 规则扩展
  中图分类号:TP311文献标志码:A
  文章编号:1001-3695(2009)05-1628-04
  
  Research and implementation of automated C++ code defect detection tool
  GU Ke LIU Chao JIN Maozhong
  (Software Engineering Institute Beihang University Beijing 100191 China)
  Abstract:The C++ program which is all right in compiling process does not always insure there are no defects in the code. For the reason that there may be defects relative to securities design and code style it may result in memory leak misuse of pointers or make the program code unclearly and unreadable. The defects will place bad impact on the normal running and the maintain ability of the software. This paper introduced a good technology of defectextendable automated C++ code defect detection including two methods to detect the defects a description of defect rules based on XPath technology and an introduction of the C++ defect automation detector. Furthermore analyzed the detector in stability credibility and easytouse by experiment. ......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017