关于PC-lint，以及如何在MDK中添加PC-lint工具

有人问：代码中类似/*lint !e750... */代表什么意思？

回答这个问题，就要牵涉到本文说的PC-Lint这个工具。

1写在前面

可能有一定编程经验的朋友，应该在一些地方都看到过类似/*lint !e750... */这种“注释”。

但，有多少人去分析过它的含义呢？

比如：在FreeRTOS的tasks.c源码中有如下一行语句：

#undef MPU_WRAPPERS_INCLUDED_FROM_API_FILE /*lint !e961 !e750. */

后面/*lint !e961 !e750. */作用就是：在使用PC-Lint工具进行静态分析时，隐藏本行宏定义未被调用的“错误”。

换种方式理解：编译时，这条语句不出现警告信息（注意：这里是比喻为编译，其实是PC-Lint静态分析）。

2

关于PC-Lint

PC-Lint 是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具，它的全称是PC-Lint/FlexeLint forC/C++。

你可以把它看作是一种更加严格的编译器。它除了可以检查出一般的语法错误外，还可以检查出那些虽然符合语法要求，但很可能是潜在的、不易发现的错误。

C语言的灵活性带来了代码效率的提升，但相应带来了代码编写的随意性，另外C编译器不进行强制类型检查，也带来了代码编写的隐患。

PC-Lint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析，能识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针，冗余的代码等。

软件除错是软件项目开发成本和延误的主要因素，PC-lint能够帮你在程序动态测试之前发现编码错误，这样消除错误的成本更低。

错误号

PC-Lint 能够检查出很多语法错误和语法上正确的逻辑错误，PC-Lint 为大部分错误消息都分配了一个错误号：

这些错误号在文档中有详细说明：

命令格式：

更多相关内容可以参考官网：

www.gimpel.com

3

Keil支持PC-Lint说明

在Keil官网有这样一段信息：

X PC-lint is a powerful staticanalysis tool that will check your C/C++ source code and find bugs, glitches, inconsistencies, non-portable constructs, redundant code, and much more. It looksacross multiple modules, and so, enjoys a perspective your compiler does not have.

A C compilercannot always detect each and every potential problem in your source files.

This is where PC-Lint comes in.

Supports K&R C, ANSI C, and ANSI/ISO C++ standards

Explicit support for MISRA C and MISRA C++ (Motor Industry Software Reliability Association) standards

Value tracking of auto and static variables detectssubtle initialization and value misuse problems

Inter-function Value Tracking - powerful inter-statement value tracking crosses function boundaries

Optional strong type checking (typedef-based) with a rich option set to detect nominal type differences

User-defined semantic checking for function arguments and return values

Each of the Keil development tools,ARM, C51, C251, and C166, support Gimpel Software's PC-Lint. Configuration files are included in the Keil development tools which enable you to quickly and easily begin using PC-Lint in your application development and testing.

http://www.keil.com/pclint

大概意思就是Keil（ARM, C51, C251, and C166）支持PC-Lint，配置文件包含在Keil开发工具中，使您能够在应用程序开发和测试中快速轻松地开始使用PC-Lint。

还提供了一个例子：

示例代码：

C51编译输出结果：

执行PC-Lint输出：

示例程序列表（错误以突出显示），C51编译器输出和PC-Lint输出。当PC-Lint检测到并报告26个错误和警告时，C51编译器会检测并报告12个错误和警告。

4

MDK中添加PC-Lint

要使用PC-Lint，大概需要以下两步：

安装PC-Lint

MDK添加PC-Lint

1.安装PC-Lint

PC-Lint是一款收费的工具，大家可以网上搜索相关po解版本，相关安装很简单，这里不说明。

2.MDK添加PC-Lint

在MDK的帮助文档中，有相关添加和配置说明，我这里也简单说下。

A.菜单Tools ->Set-up PC-lint进入配置界面（如上图）

B.添加lint-nt.exe

前提需要安装PC-Lint，指向安装路径下的lint-nt.exe。点击“...”即可添加（标记1）。

C.添加co-ARMCC-5.lnt

这个路径是MDK安装目录下面，可参看上图（标记2）。

D.MISRA规则配置

这里参看帮助文档，选择MISRA_C_2012_Config（标记3）。

E.增加PC-Lint命令

例如，要禁止PC-lint输出的info 714消息，可以在此对话框中输入-e714 （标记4）。

当然，本文重点在于引导大家了解PC-Lint这个工具，想要运用PC-lint这个工具，还需要掌握更多相关规则、配置。