虽然当今编程语言层出不穷,但C语言作为主流语言仍然被广泛地应用到各种系统的开发中。因为当今软件开发的成本越来越高,如果稍有不慎,就可能造成很严重的软件故障,从而造成相当严重的经济损失。应这方面的需求,软件测试工具应运而生。作为软件测试工具,静态代码分析工具不用执行源代码程序就可以检测软件中的错误或者是缺陷,再加上它对成本的要求比较低,所以被越来越多的公司所采用。尽管当前静态代码分析工具种类繁多,但是都存在着指针别名分析不够准确的问题,有的工具忽略指针别名分析,有的工具则采用其他形式来代替指针别名分析。由于指针别名分析的好坏将直接影响到静态分析工具代码分析的准确率,所以针对当前代码分析工具存在的这些问题,设计和实现了指针别名分析算法,并将此算法应用到自行开发的工具CChecker中。指针别名分析分为过程内指针别名分析和过程间指针别名分析。过程内采用对控制流图进行数据流分析的方法,通过遍历程序的控制流图,记录下函数、参数、变量的使用情况,并且根据C语言的独特性设计了C语言别名的规则集和关于C语言的过程内指针别名分析方法,并通过实例来验证了方法的正确性。因为C语言存在着参数传递和全局变量,使得过程内分析还不够完善,需要引入过程间的指针别名分析,通过拓展调用图生成程序的联系图,增强联系图的属性,实现了C语言过程间的指针别名分析算法。本论文在参考CTree的基础上,使用面向对象的方法自行设计和实现了考虑指针别名的静态代码分析工具CChecker,设计了静态代码分析系统的架构图和系统的各个功能模块,给出了代码分析的流程图,介绍了源代码静态分析工具中主要的类和接口。考虑到缺陷或错误的级别、用户关注点和文件路径等等因素的影响,有针对性地设计了静态分析工具的命令。通过和静态代码分析工具CppCheck做比较,CppCheck没有考虑指针别名分析,可以看出本工具在代码分析的准确率上有了一定的提高,并且从实际应用中证实了该工具的实用性。