背景：
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:pclint8config.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