首页 | 本学科首页   官方微博 | 高级检索  
     

基于MYGCC的编程规则检查算法研究
引用本文:李锋,文艳军,齐治昌,陆赛因.基于MYGCC的编程规则检查算法研究[J].计算机工程与科学,2012,34(2):67-72.
作者姓名:李锋  文艳军  齐治昌  陆赛因
作者单位:国防科学技术大学计算机学院,湖南长沙,410073
基金项目:国家自然科学基金重点项目
摘    要:MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。

关 键 词:编程规则检查  静态分析  可扩展编译器

Research on a MYGCC-Based Algorithm for Checking Programming Rules
Li Feng , WEN Yan-jun , QI Zhi-chang , LU Sai-yin.Research on a MYGCC-Based Algorithm for Checking Programming Rules[J].Computer Engineering & Science,2012,34(2):67-72.
Authors:Li Feng  WEN Yan-jun  QI Zhi-chang  LU Sai-yin
Affiliation:(School of Computer Science,National University of Defense Technology,Changsha 410073,China)
Abstract:MYGCC is a tool for checking programming rules,and its current checking algorithm has defects.That is,it can not show the whole control flow paths that violate the checking rules.To eliminate the defects,this paper presents an improved algorithm to the original one of MYGCC.Experiment shows that the algorithm is effective.This improvement can help users to find the position of bugs more accurately,and benefit bug fixing.
Keywords:programming rule checking  static analysis  extensible compiler
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《计算机工程与科学》浏览原始摘要信息
点击此处可从《计算机工程与科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号