1.概述 

LINT工具是一种软件质量保证工具,许多国外的大型专业软件公司,如微软公司,都把它作为程序检查工具,在程序合入正试版本或交付测试之前一定要保证通过了LINT检查 ,他们要求软件工程师在使用LINT时要打开所有的编译开关,如果一定要关闭某些开关,  那么要给出关闭这些开关的正当理由。
    在英文中,‘’lint‘’是指纠缠在一起的细小纤维或者绒毛,比如衣物上面起的毛或者线头。如此命名该工具,正是借用了"lint" 一词的含义：将"lint"从程序中挑拣出来,从而使程序更"干净"。
    C语言的灵活性带来了代码效率的提升,但相应带来了代码编写的随意性,另外C编译器不进行强制类型检查,也带来了代码编写的隐患。LINT识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析,能识别没有被适当检验的数组下标,报告未被初始化的变量,警告使用空指针,冗余的代码,等等。软件除错是软件项目开发成本和延误的主要因素。LINT能够帮你在程序动态测试之前发现编码错误。这样消除错误的成本更低。
    下面是LINT能够检查的部分错误列表。如果你幸运的话,你的编译器也可以检查出其中的一些,但不会使全部。

• <!--[if !supportLists]-->     可能的空指针<!--[endif]-->
• <!--[if !supportLists]-->     在释放内存之后使用了该指针<!--[endif]-->
• <!--[if !supportLists]-->     赋值次序问题<!--[endif]-->
• <!--[if !supportLists]-->     拼写错误<!--[endif]-->
• <!--[if !supportLists]-->     被零除<!--[endif]-->
• <!--[if !supportLists]-->     失败case 语句 (遗漏了break语句) <!--[endif]-->
• <!--[if !supportLists]-->     不可移植的代码<!--[endif]-->
• <!--[if !supportLists]-->     宏定义参数没用使用圆括号<!--[endif]-->
• <!--[if !supportLists]-->     符号的丢失<!--[endif]-->
• <!--[if !supportLists]-->     异常的表达式<!--[endif]-->
• <!--[if !supportLists]-->     变量没有初始化<!--[endif]-->
• <!--[if !supportLists]-->     可疑的判断语句(例如, if (x = 0)) <!--[endif]-->
• <!--[if !supportLists]-->     printf/scanf 的格式检查<!--[endif]-->

可想而知,如果从我们编码后第一次编译程序时就使用LINT来检查程序,并且保证消  除所有的LINT告警,我们就不会遇到象今天这么多的告警信息。即使在今天,我们如果能  抽出一定的精力来消除程序中的LINT告警,以后再维持这种无告警状态就是很容易的了。  我们程序质量的提高也是不言而喻的。
    现有的两个流行的LINT程序：

• <!--[if !supportLists]-->     PC-lint是一个由Gimpel Software提供的支持C/C++的商用程序。<!--[endif]-->
• <!--[if !supportLists]-->    Splint(原LCLint) 是一个GNU免费授权的 Lint程序,但是只支持C不支持C++。<!--[endif]-->

PC-LINT是GIMPEL SOFTWARE公司的产品,其中的内容是非常广泛的,光是选项就有300多个,涉及到程序编译及语法使用中的方方面面。GIMPEL SOFTWARE公司的网址： http://www.gimpel.com/
    如果要给LINT工具下一个形象点的定义,那就是：一种更加严格的编译器。它不仅可  以象普通编译器那样检查出一般的语法错误,还可以检查出那些虽然完全合乎语法要求,  但很可能是潜在的、不易发现的错误。