關(guān)于PC-lint，以及如何在MDK中添加PC-lint工具

有人問：代碼中類似/*lint !e750... */代表什么意思？

回答這個問題，就要牽涉到本文說的PC-Lint這個工具。

1寫在前面

可能有一定編程經(jīng)驗的朋友，應(yīng)該在一些地方都看到過類似/*lint !e750... */這種“注釋”。

但，有多少人去分析過它的含義呢？

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

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

后面/*lint !e961 !e750. */作用就是：在使用PC-Lint工具進(jìn)行靜態(tài)分析時，隱藏本行宏定義未被調(diào)用的“錯誤”。

換種方式理解：編譯時，這條語句不出現(xiàn)警告信息（注意：這里是比喻為編譯，其實是PC-Lint靜態(tài)分析）。

2

關(guān)于PC-Lint

PC-Lint 是GIMPEL SOFTWARE公司開發(fā)的C/C++軟件代碼靜態(tài)分析工具，它的全稱是PC-Lint/FlexeLint for C/C++。

你可以把它看作是一種更加嚴(yán)格的編譯器。它除了可以檢查出一般的語法錯誤外，還可以檢查出那些雖然符合語法要求，但很可能是潛在的、不易發(fā)現(xiàn)的錯誤。

C語言的靈活性帶來了代碼效率的提升，但相應(yīng)帶來了代碼編寫的隨意性，另外C編譯器不進(jìn)行強(qiáng)制類型檢查，也帶來了代碼編寫的隱患。

PC-Lint識別并報告C語言中的編程陷阱和格式缺陷的發(fā)生。它進(jìn)行程序的全局分析，能識別沒有被適當(dāng)檢驗的數(shù)組下標(biāo)，報告未被初始化的變量，警告使用空指針，冗余的代碼等。

軟件除錯是軟件項目開發(fā)成本和延誤的主要因素，PC-lint能夠幫你在程序動態(tài)測試之前發(fā)現(xiàn)編碼錯誤，這樣消除錯誤的成本更低。

錯誤號

PC-Lint 能夠檢查出很多語法錯誤和語法上正確的邏輯錯誤，PC-Lint 為大部分錯誤消息都分配了一個錯誤號：

這些錯誤號在文檔中有詳細(xì)說明：

命令格式：

更多相關(guān)內(nèi)容可以參考官網(wǎng)：

www.gimpel.com

3

Keil支持PC-Lint說明

在Keil官網(wǎng)有這樣一段信息：

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

A C compiler cannot 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 detects subtle 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開發(fā)工具中，使您能夠在應(yīng)用程序開發(fā)和測試中快速輕松地開始使用PC-Lint。

還提供了一個例子：

示例代碼：

C51編譯輸出結(jié)果：

執(zhí)行PC-Lint輸出：

示例程序列表（錯誤以突出顯示），C51編譯器輸出和PC-Lint輸出。當(dāng)PC-Lint檢測到并報告26個錯誤和警告時，C51編譯器會檢測并報告12個錯誤和警告。

4

MDK中添加PC-Lint

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

安裝PC-Lint

MDK添加PC-Lint

1.安裝PC-Lint

PC-Lint是一款收費的工具，大家可以網(wǎng)上搜索相關(guān)po解版本，相關(guān)安裝很簡單，這里不說明。

2.MDK添加PC-Lint

在MDK的幫助文檔中，有相關(guān)添加和配置說明，我這里也簡單說下。

A.菜單Tools ->Set-up PC-lint進(jìn)入配置界面（如上圖）

B.添加lint-nt.exe

前提需要安裝PC-Lint，指向安裝路徑下的lint-nt.exe。點擊“...”即可添加（標(biāo)記1）。

C.添加co-ARMCC-5.lnt

這個路徑是MDK安裝目錄下面，可參看上圖（標(biāo)記2）。

D.MISRA規(guī)則配置

這里參看幫助文檔，選擇MISRA_C_2012_Config（標(biāo)記3）。

E.增加PC-Lint命令

例如，要禁止PC-lint輸出的info 714消息，可以在此對話框中輸入-e714 （標(biāo)記4）。

當(dāng)然，本文重點在于引導(dǎo)大家了解PC-Lint這個工具，想要運(yùn)用PC-lint這個工具，還需要掌握更多相關(guān)規(guī)則、配置。