?????????PC-Lint是C/C++軟件代碼靜態(tài)分析工具,你可以把它看作是一種更加嚴(yán)格的編譯器。它不僅可以檢查出一般的語法錯(cuò)誤,還可以檢查出那些雖然符合語法要求但不易發(fā)現(xiàn)的潛在錯(cuò)誤。
?
C語言的靈活性帶來了代碼效率的提升,但相應(yīng)帶來了代碼編寫的隨意性,另外C編譯器不進(jìn)行強(qiáng)制類型檢查,也帶來了代碼編寫的隱患。PCLint識(shí)別并報(bào)告C語言中的編程陷阱和格式缺陷的發(fā)生。它進(jìn)行程序的全局分析,能識(shí)別沒有被適當(dāng)檢驗(yàn)的數(shù)組下標(biāo),報(bào)告未被初始化的變量,警告使用空指針,冗余的代碼,等等。軟件除錯(cuò)是軟件項(xiàng)目開發(fā)成本和延誤的主要因素。PClint能夠幫你在程序動(dòng)態(tài)測(cè)試之前發(fā)現(xiàn)編碼錯(cuò)誤。這樣消除錯(cuò)誤的成本更低。
?使用PC-Lint在代碼走讀和單元測(cè)試之前進(jìn)行檢查,可以提前發(fā)現(xiàn)程序隱藏錯(cuò)誤,提高代碼質(zhì)量,節(jié)省測(cè)試時(shí)間。并提供編碼規(guī)則檢查,規(guī)范軟件人員的編碼行為。
由于PC-LINT對(duì)于一般程序員來說可能比較陌生,有好多人安裝了也不知道怎樣配置和使用。
?
?
下面我就根據(jù)自己的安裝和配置心得對(duì)PC-Lint的安裝、配置及使用進(jìn)行下詳細(xì)說明.本人主要介紹了將PC-Lint集成到VC++6.0和SourceInsight的方法和步驟。
(一)Windows下C/C++開發(fā)工具中,VC6使用較為普遍,因此這里先講下VC6.0環(huán)境中集成pclint的步驟.
首先,
當(dāng)然要下載軟件,正版軟件要200多$呢,買不起!所以只好網(wǎng)上找免費(fèi)的拉。從
http://www.61ic.com/down/othe/pclint.rar
處可以下載到一個(gè)8.0版本的pclint.
1.將pclint.rar解壓至c:\, 這樣lint文件就位與c:\pclint(安裝目錄)下了。
2.將c:\pclint\lnt 下的3個(gè)文件lib-w32.lnt,env-vc6.lnt,co-msc60.lnt拷貝至c:\pclint下,
再在安裝目錄下創(chuàng)建std.lnt和options.lnt兩個(gè)文件,其中std.lnt的內(nèi)容如下
// contents of std.lnt
c:\pclint\co-msc60.lnt
c:\pclint\lib-w32.lnt
c:\pclint\options.lnt? -si4 -sp4
-i"D:\Program Files;D:\Program Files\Microsoft Visual Studio\VC98\Include"
//end
其中-i后面的路徑名為VC的安裝路徑和VC Include 文件路徑,根據(jù)自己的修改便可。
options.lnt 內(nèi)容可為空,為定制內(nèi)容,以后需要時(shí)再添加。
準(zhǔn)備工作做完了,下一步就是要將pclint集成到VC6中去,先配置lint使之能對(duì)單個(gè)C或C++文件進(jìn)行檢查。
1.打開VC6,tools--->customize-->tools 新建一個(gè)名為pclint的項(xiàng),在下面填入
command:? C:\pclint\lint-nt.exe
arguments:? -u c:\pclint\std.lnt? c:\pclint\env-vc6.lnt? "$(FilePath)"
Use Output Window? 打上勾
close 完成。 這個(gè)在你VC窗口tools菜單下應(yīng)該多了一個(gè)pclint選項(xiàng),可以用它來運(yùn)行l(wèi)int程序,對(duì)你的c/c++代碼進(jìn)行靜態(tài)檢查了。
現(xiàn)在就可以用個(gè)小程序測(cè)試一下pclint了
//test1.cpp#include <string.h>
class X
{
?int *p;
public:
?X()
?{ p = new int[20]; }
?void init()
?{ memset( p, 20, 'a'? ); }
?~X()
?{ delete p; }
};
編譯這個(gè)文件,看下你的編譯器給你多少警告,再運(yùn)行下lint, 可以自己對(duì)比一下。
我的機(jī)器上,VC產(chǎn)生0 errors 0 warnings, 而lint程序產(chǎn)生了如下8條警告信息,有些還是很有用處的提示,這里就不一一分析了.
test.cpp(12): error 783: (Info -- Line does not end with new-line)
test.cpp(7): error 1732: (Info -- new in constructor for class 'X' which has no
assignment operator)
test.cpp(7): error 1733: (Info -- new in constructor for class 'X' which has no
copy constructor)
??? { memset( p, 20, 'a'? ); }
test.cpp(9): error 669: (Warning -- Possible data overrun for function
'memset(void *, int, unsigned int)', argument 3 (size=97) exceeds argument 1
(size=80) [Reference: test.cpp: lines 7, 9])
test.cpp(7): error 831: (Info -- Reference cited in prior message)
test.cpp(9): error 831: (Info -- Reference cited in prior message)
??? { delete p; }
test.cpp(11): error 424: (Warning -- Inappropriate deallocation (delete) for
'new[]' data)
?--- Wrap-up for Module: test.cpp
test.cpp(2): error 753: (Info -- local class 'X' (line 2, file test.cpp) not
referenced)
Tool returned code: 8
2.通常一個(gè)VC項(xiàng)目中包含多個(gè)C或C++文件,有時(shí)需要同時(shí)對(duì)這一系列的文件進(jìn)行l(wèi)int檢查,我們可以通過配置一個(gè)pclint_project來達(dá)到目的。
和前面第一步中的方法基本一樣,不過這里我們需要用到unix中的find等命令來查找當(dāng)前目錄下的C和C++文件,然后再將它們送給lint程序處理,所以得先從
http://www.weihenstephan.de/~syring/win32/UnxUtils.zip
下載UnxUtils.zip.
接著按下列步驟進(jìn)行:
(i)解壓UnxUtils.zip至c:\unix下, 可以看到C:\unix\usr\local\wbin有很多unix下的命令,等下會(huì)用到
(ii)打開VC6,tools--->customize-->tools
新建一個(gè)名為pclint_project的項(xiàng),只不過下面的commands和arguments內(nèi)容不同。
commands: C:\unix\usr\local\wbin\find.exe
arguments: $(FileDir) -name *.c? -o -name *.cpp | C:\unix\usr\local\wbin\xargs
lint-nt??????????? -i"c:\unix\usr\local"? -u c:\pclint\std.lnt?
c:\pclint\env-vc6.lnt
(iii)Use Output Window打上勾,close退出。好了,這時(shí)VC
tools菜單下應(yīng)該又多了一個(gè)pclint_project項(xiàng)了,你以后可以用它來對(duì)一個(gè)VC項(xiàng)目運(yùn)行l(wèi)int檢查程序了.
(二)SourceInsight中集成pclint程序的方法.
Windows平臺(tái)下也有好多人都喜歡用SourceInsight編輯C/C++程序,如果將pclint集成到SourceInsight中,那就相當(dāng)于給SourceInsight增加了一個(gè)C/C++編譯器,而且它的檢查更嚴(yán)格,能發(fā)現(xiàn)一些編譯器發(fā)現(xiàn)不了的問題,可以大大減少程序中潛伏的BUG。這樣的話,相信更多人會(huì)喜歡SourceInsight這個(gè)工具了。
下面簡要地介紹下pclint集成到SourceInsight中的方法
有了上面VC中集成pclint的經(jīng)驗(yàn), 下面的事情就應(yīng)該比較輕松了,
(a)打開你的SourceInsight, 選擇Options-->Custom Commands-->Add, 輸入pclint(當(dāng)然名字可以隨便).
(b) Run中輸入: c:\pclint\lint-nt? -u? c:\pclint\std.lnt? c:\pclint\env-vc6.lnt %f
(c)Dir留空,將Iconic Window, Capture Output, Parse Links in OutPut, File,then Line
四項(xiàng)前打上勾。
(d)然后點(diǎn)右側(cè) Menu--->Menu-->View--><end of menu>, 右側(cè)Insert, OK.
(e)此時(shí)在SourceInsight中的View菜單下多了個(gè)pclint選項(xiàng),可以用它來對(duì)單個(gè)C/C++文件進(jìn)行靜態(tài)檢查。
用類似的方法可以配置對(duì)一個(gè)SourceInsight工程文件的lint檢查。
(a)打開你的SourceInsight, 選擇Options-->Custom Commands-->Add,
輸入pclint_project(當(dāng)然名字可以隨便).
(b) Run中輸入: C:\unix\usr\local\wbin\find.exe %d -name *.c? -o -name *.cpp? |
C:\unix\usr\local\wbin\xargs lint-nt
-i"C:\unix\usr\local" -u c:\pclint\std.lnt? c:\pclint\env-vc6.lnt
(c)Dir留空,將Iconic Window, Capture Output, Parse Links in OutPut, File,then Line
四項(xiàng)前打上勾。
(d)然后點(diǎn)右側(cè) Menu--->Menu-->View--><end of menu>, 右側(cè)Insert, OK.
(e)此時(shí)在SourceInsight中的View菜單下多了個(gè)pclint_project選項(xiàng),可以用它來一個(gè)工程中的C/C++文件進(jìn)行靜態(tài)檢查。
本文主要對(duì)pclint集成到VC及SourceInsight環(huán)境中的方法根據(jù)本人安裝和使用心得做了較詳細(xì)介紹,希望對(duì)以前沒使用過pclint的朋友們能有所幫助,不足之處還請(qǐng)多指正!