用Lint查询代码错误

Lint:错误检查和代码分析

如果想用一个有效的工具察看C/C++源代码中的错误，遗漏，不确定的构建过程，以及移植问题等等，你应该来看看Lint。可以把Lint当成一个编译器，除了不产生代码之外，对于错误和警告的报告来说已经非常足够了。

通常，一个C/C++的编译器假设程序是正确的，而Lint恰恰相反，因此它优于编译器执行的一般性检查。Lint还可以贯穿多个文件来执行它的错误检查和代码分析，这是编译器做不到的。

下面是Lint能够检查的部分错误列表。如果你幸运的话，你的编译器也可以检查出其中的一些，但不会使全部。

这是两个流行的Lint 程序:

运行 Lint 跟运行一个正常的编译器一样，只要把直接加入的makefile 中就可以了。在便以前后都可以运行它。

尽管在编译前运行它看起来更有意义，但有时在成功变以后执行更有价值。这意味着，编译器报告了例如键盘输入错误等各种错误，而Lint在已编译的代码上给与更多的检查。

当使用Lint的时候，不要为他报告的错误及告警信息的数目而惊慌失措。通过学习怎样控制Lint的输出你就不会着这样了

通过一系列方法可以控制和校准Lint的输出：

配置选项：通过命令行参数或一个配置文件，你能发现有上百个选项可以优化输出。
代码注释：在你的代码中可以为Lint加入特殊的注释。这样可以非常好的控制你希望检查的代码，例如，这里有一个返回NULL指针的函数, Splint可以通过下面的注释 /*@null@*/ 来识别:

/*@null@*/ void *test(void)
{
// a function that returns NULL!
return NULL;
}

这有两个目的: 1）防止Splint 为这个返回Null指针的函数高景，2）保证Splint 检查任何调用该函数的代码中使用该函数的返回指针是有效的。 (虽然Splint和PC-lint 有着不同的代码注释约定，但基本原理是相同的。)

同样对这个问题而言，使用全局的配置选项“-nullret”可以屏蔽掉所有的null指针检查，从而不用增加那些柱石，缺点是由你的代码将被检查的不彻底。然而，这种方法有时候是必需的，尤其是在某些现存的代码上第一次使用Lint。

你怎样启动Lint呢？最好在一个项目中尽早地开始使用Lint, 尤其是在你已经生成了大量的未检查代码之前。如果没这样做，将会使效率降低。

打开编译器中的严格告警，一旦你的代码没有被编译器发现任何告警，启动Lint。然后逐渐地增加Lint测试的严格性，同时在需要的地方增加代码注释。有效的使用Lint需要时间，但这种努力是值得的。

作者:Abel 更新日期:2005-03-20
来源:Builder.com.cn 浏览次数: