pc lint 9(C/C++软件代码静态分析工具) v9.0 最新免费版

对于C语言程序员来说您是否还在为软件的代码分析感到头疼呢？不要紧这里小编给你带来了pc lint 9，它是一款C/C++软件代码静态分析工具。该工具可以帮助您提前发现程序中的潜在错误漏洞，pc lint 9还会为您提高代码的质量，在使用静态代码分析软件过程中不仅可以检测一般的语法错误，还可以检测潜在的错误，比如数组访问越界、使用未初始化变量等。

静态代码分析软件特性及相关说明：

co.lnt 通用的可选编译文件。
sl-....c 非ANSI编译器的标准库文件模块
lint-nt.exe：PC-lint的可执行程序。
config.exe：PC-lint的配置文件程序。
pc-lint.pdf：PC-lint的PDF格式的在线手册，本文的大部分内容是从中得来的。
pc-lint目录下几个重要的文件及程序
msg.txt: 对于错误消息编号的详细解释。
lib-....lnt：可选文件, 特定的"有挑战性"的库文件。
au-....lnt：可选文件, 作者们推荐的检测条件。
Lnt/： 这个目录下有些东西还是值得认识一下。
co-....lnt：指定的编译器的可选编译文件。
sl.c: 非ANSI编译器的通用标准库文件模块
env-....lnt：不同平台下的可选文件，
包括MS Visual Studio和其他各种编辑工具。
 选项的规则
通过使用加号"+"和减号"-"，以注释的形式插入代码中，来恢复和屏蔽指定的被检查的选项。格式如下:
/*lint option1 option2 ... optional commentary */
或者
//lint option1 option2 ... optional commentary
注意：lint必须是小写，选项的一行不能超过80个字符，否则导致致命的错误，错误信息的编号就是323。如果选项确实有很长，可以通过换行的方式来实现。另外屏蔽和恢复的选项的代码可以放在宏定义中，宏被展开后，这些选项会生效。
选项中的空格
因为空格是用来分隔选项的，除此之外只能出现在圆括号的旁边或是空格自身被引用(例如operator new按语法要求中间就有空格)。举个例子：
esym(534,printf,scanf,operator new)
esym(534, printf, scanf, operator new)
esym( 534 , printf , scanf , operator new )
对于第三个，空格出现在圆括号的旁边，也出现在自身被引用的地方(operator new)。另外operator和new之间出现两个空格也是不合法的，因为它违反了语法规则。另外，也可以使用双引号("")来保护空格,例如：
"dWORD=unsigned short"
选项的分类
PC-lint的选项有300多种，可以分为下面几类：
禁止错误信息
选项开头使用"-e"可以禁止指定的错误消息，使用"+e"恢复指定的错误消息。如果禁止消息，只不过不让消息输出，并不影响PC-lint的处理过程。顺便提一下前面提到的"-wLevl",这个选项是禁用指定级别及以上的消息的显示。
错误信息编号
对于大部分的错误消息，PC-lint都提供了一个关联的错误编号。小于1000的错误编号是分配给C语言的，1000以上的错误编号则是分配给C++语言的。
对于C语言，1~199是与语法错误；200~299是PC-lint内部错误，应该决不会发生的；300~399是致命错误，通常是由于超越了某些限制；400~699是警告消息，提示被检查的程序中可能存在错误；700~899是提示信息，这些提示信息可能有错误，也可能是合法的程序，取决于个人的编程风格；900~999则是一些称为可选信息，一般不会自动输出。
PC-lint提供了高级级别设置选项-wLevel，缺省的级别为3级。-w0, -w1 , -w2, -w3, -w4 分别可以生成上述表格中对应告警级别和级别更低的告警，其中级别越低告警越重要。同样，也提供了处理库函数的头文件告警级别的选项-wlib(Level)，缺省的级别也是3级，级别对应的含义与前者一样。