PC-lint Plus是一種靜態分析工具，通過分析C和C ++源代碼來發現軟件中的缺陷。與編譯器一樣，PC-lint Plus會解析源代碼文件，執行語義分析，并構建一個抽象語法樹來表示程序。PC-lint Plus采用各種機制，包括數據流分析，數值跟蹤，讀寫分析，強類型檢查，功能語義驗證和許多其他技術，來提供對單個文件和整個項目強大而全面的分析。

本文介紹了PC-lint Plus的使用方法：平臺推廣方案。

點擊下載PC-lint Plus正式版

推廣使用的前提

• 通過對PC-lint在一定范圍的試用，形成一個全平臺統一的PC-lint檢查選項模板，此模板應按照PC-lint不同的告警級別進行分類，按照從低到高逐漸提高告警級別的方式，一步一步改善程序質量。
• 根據不同的模板和不同的階段制定出循序漸進的檢查通過標準，如：確定在某一階段要求改掉某類告警的百分比。
• 修改版本控制的流程，在模塊并入版本前和版本提交測試前，增加通過PC-lint檢查的要求，并按照通過標準進行執行。
• 制定特殊情況的處理流程（在小范圍內確定要求關閉某個告警信息）。

注：PC-lint告警級別可以通過-w選項進行設置。

-wLevel：設置錯誤信息告警級別。

-w0?No?messages?(except?for?fatal?errors)

-w1?Error?messages?only?--?no?Warnings?or?Informationals.

-w2?Error?and?Warning?messages?only

-w3?Error,?Warning?and?Informational?messages?(this?is?the?default)

-w4?All?messages.

個人的使用方案

如果每一個開發人員都使用PC-lint對各自開發、修改的代碼進行檢查，可以按照各自目前使用的開發工具集成PC-lint的做法，這樣不僅運行方便，而且對告警的定位和程序修改都很方便，但是要求必須使用平臺統一的PC-lint選項模板，并且只能自行增加變量和頭文件路徑信息的定義，不能隨意關閉告警信息。

子系統的檢查人的使用方案

采用PC-lint結合makefile的方式，在流程的檢查點由指定人員對平臺各個子系統的代碼進行檢查，并把PC-lint的告警信息發送給相關人員進行處理，通過檢查后才能進入下一個流程。

特殊情況處理方法

由于各子系統代碼風格或個人編程風格的差異，可能存在統一選項文件中的某個選項在大部分代碼中是非常嚴重，必須排查的，而在某類代碼中是輕微的，或者雖然也嚴重但對它的修改將會涉及眾多文件的修改，這種眾多文件的修改在短期內無法完成，對于這類特殊情況將可以通過在代碼中加pclint編譯信息，屏蔽相關選項的檢查。但對于這類特殊情況，需要制定流程，要求提交相關的說明。

在代碼中加入編譯信息屏蔽pclint檢查的形式根據代碼情況的不同有許多種，但對它的整理需要多人投入較長時間對pclint進行詳細了解才能獲得，此處只提供一種最簡單的方法，下面以實例說明：

某段代碼中有一句語句?memset((void?*)(&(pVar->Data)),?0,?sizeof(A_Data));

被pclint檢查出warning?545，可疑的&使用，但在程序中經過確認這句話沒有問題，而且由于其他原因的限制不能替換為符合pclint的格式，則在此語句的前后中加入如下pclint可理解的注釋

/*lint?–e545?*/?memset((void?*)(&(pVar->Data)),?0,?sizeof(A_Data));?/*lint?+545?*/

/*lint?–e545?*/表示在以后的語句中屏蔽e545的檢查，/*lint?+545?*/表示在以后的語句中回復e545的檢查。

通過這種方式即可在局部屏蔽pclint的檢查。但程序中可能此語句非常多，對每個語句加注釋會非常麻煩，目前還沒有找到此情況下合適的方法。但對于宏，可以在宏定義中添加注釋信息，如對于下面的宏定義

#define?DIVZERO(x)??((x)?/0)

希望屏蔽e545的檢查，則在宏定義中添加注釋

#define?DIVZERO(x)?/*lint?-save?-e54?*/?((x)?/0)??/*lint?-restore?*/