原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
CN43-1258/TP
2012 年第 34 卷第 2 期
计算机工程与科学
ISSN 1007-130X COMPUTER ENGINEERING . SCIENCE Vo l. 34 ,No. 2 ,2012
文章编号: 1007-130X(2012)02-0067-06
基于 MYGCC 的编程规则检查算法研究*
Research on a MYGCC-Based Algorithm
for Checking Programming Rules
李锋，文艳军，齐治昌，陆赛因
Li Feng ,WEN Yan-jun ,QI Zhi-chang ,LU Sai-yin
{国防科学技术大学计算机学院，湖南长沙 410073)
(School of Computer Science ,National University of Defense Technology ,Changsha 410073 ,China)
摘 要:MYGCC 是一个编程规则检查工具，其目前的检查算法存在局限性，不能完整地展示违反编
程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法，可以弥补上述的局限性。实验表
明改进算法是有效的，此改进有助于用户是准确地定位错误位直，方便对编程错误的修正。
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 elimi
nate 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 benefi t bug fixing.
关键词:编程规则检查;静态分析;可扩展编译器
Key words: programming rule checking; static analysis; extensible compiler
doi: 10. 3969/j. issn. 1007-130X. 2012. 02. 013
申图分类号:TP311 文献标识码:A
量的有效手段。
1 引言 MYGCC 算法存在局限性，对于源程序错误只
能定位到错误路径的终点的行号。本文提出并实
程序的静态分析工具分两类，一类是对描述程 现了一种改进的编程规则检查算法，可以弥补上述
序的语法和语义进行检查，另一类是对用户自定义 MYGCC 的局限性。按照这个改进算法，并在
MYGCC 中做了实现并形成新版本 MYGCC-B.测
的编程规则进行检查。前者是编译过程顺便完成
的，后者需要专门的软件工具。 MYGCC 是一个程
文档评论（0）