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

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

點(diǎn)擊下載PC-lint Plus正式版

推廣使用的前提

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

注：PC-lint告警級別可以通過-w選項進(jìn)行設(shè)置。

-wLevel：設(shè)置錯誤信息告警級別。

-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.

個人的使用方案

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

子系統(tǒng)的檢查人的使用方案

采用PC-lint結(jié)合makefile的方式，在流程的檢查點(diǎn)由指定人員對平臺各個子系統(tǒng)的代碼進(jìn)行檢查，并把PC-lint的告警信息發(fā)送給相關(guān)人員進(jìn)行處理，通過檢查后才能進(jìn)入下一個流程。

特殊情況處理方法

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

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

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

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

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

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

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

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

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

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