摘要：MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。

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

单位：国防科学技术大学计算机学院 湖南长沙410073