PC-Lint

背景：

C/C++编译器不进行强制类型检查，也不做任何边界检查

在代码提交测试之前发现这些潜在的错误

专用的代码检查工具完成

Logiscope RuleChecker和PC-Lint 是应用比较广泛的两个C/C++静态代码检查工具

PC-Lint 是GIMPEL SOFTWARE公司开发的

PC-Lint能够在Windows、MS-DOS和OS/2平台上使用,以二进制可执行文件的形式发

FlexeLint 运行于其它平台，以源代码的形式发布

功能:

PC-Lint 能够检查出很多语法错误和语法上正确的逻辑错误

PC-Lint 为大部分错误消息都分配了一个错误号

编号小于1000的错误号是分配给C 语言的，编号大于1000的错误号则用来说明C++的错误消息

以C语言为例

其中的编号1-199指的是一般编译器也会产生的语法错误；

编号200-299是PC-Lint 程序内部的错误，这类错误不会出现在代码中的；

编号300-399指的是由于内存限制等导致的系统致命错误。

编号400-999中出现的提示信息，是根据隐藏代码问题的可能性进行分类的：

其中编号400-699 指的是被检查代码中很可能存在问题而产生的告警信息；

编号700-899中出现的信息，产生错误的可能性相比告警信息来说级别要低，但仍然可能是因为代码问题导致的问题。

编号900-999 是可选信息，他们不会被默认检查，除非你在选项中指定检查他们。

 

使用方法:

PC-lint 的安装非常简单，以PC-lint 8.0为例，运行安装程序将其释放到指定的安装目录即可，比如c:\pclint8。

然后需要运行PC-lint 的配置工具config.exe生成选项和检查配置文件，以刚才的安装路径为例，config.exe 应

该位于：C:\pclint8\config.exe。

配置文件是代码检查的依据，PC-lint 自带了一个标准配置文件std.lnt，但是这个文件没有目录包含信息（头文件目录），通常对代码检查的时候都需要指定一些特殊的包含目录，所以要在标准配置的基础上生成针对某个项目代码检查的定制配置。

 

 

 

 

 

 

 

https://baike.baidu.com/item/PC-lint/8340681?fr=aladdin&fromid=3114548&fromtitle=PCLint

https://blog.csdn.net/zerokkqq/article/details/79320686