PC-lint配置实践(C/C++)

1 PC-lint最佳指南

PC-Lint 最佳使用指南是随安装包提供的官方文档——Reference Manual for PC-lint/FlexeLint A Diagnostic Facility for C and C++(PC-lint.pdf)。IDE或编辑器(Virual Studio/SourceInsight)的配置可以搜索相关资料[1][2][3]。

2 PC-lint配置自动生成

对于PC-lint检查频繁执行，项目文件频繁变更的CI任务，可以通过脚本(bat/Python)自动生成PC-lint的相关配置项，例如，源文件完整路径列表、头文件路径等。这便于PC-lint检查的自动化部署。

其中，头文件可以通过在PC-lint配置文件中通过-i参数添加，也可以通过Windows系统环境变量INCLUDE添加，如下：

/* std.lnt */
-iD:\MinGW\lib\gcc\mingw32\6.3.0\include
-iD:\MinGW\lib\gcc\mingw32\6.3.0\include-fixed
-iD:\MinGW\include

/* lint.bat */
@set INCLUDE=%INCLUDE%;D:\MinGW\lib\gcc\mingw32\6.3.0\include
@set INCLUDE=%INCLUDE%;D:\MinGW\lib\gcc\mingw32\6.3.0\include-fixed
@set INCLUDE=%INCLUDE%;D:\MinGW\include

注意: Windows命令dir带有/s /b参数是显示当前目录下符合条件的所有文件的绝对路径，如下：

D:\cJSONFiles\cJSON>dir *.c /s /b 

输出:

D:\cJSONFiles\cJSON\cJSON.c
D:\cJSONFiles\cJSON\test.c

3 PC-lint输出格式设置

PC-lint输出格式选项可以在配置文件中自定义设置，具体可参考lnt/目录下的Virual Studio/SourceInsight环境配置项，例如，env-si.lnt、env-vc12.lnt等。此外，将PC-lint检测结果输出到文本文件，便于错误观察。

注意：当用bat脚本生成PC-lint配置文件时，需要注意bat脚本中的%需要转义为%%。

-"format=%%f %%l %%t %%n: %%m"

4 PC-lint GCC环境配置

PC-lint检测GCC编译环境时，可能会提示找不到lint_cmac.h(C)或lint_cppmac.h(C++),参考co-gcc.lnt解决。

5 参考资料

[1] PC-Lint使用

[2] PClint和SI的结合静态代码检视

[3] PC-lint的配置及使用

[4] PC-Lint培训材料

[5] PC-lint 中文手册

[6] PCLint输出格式选项

[7] PC-lint配置及使用说明