白盒測試工具clin

白盒測試工具PclintPclintPCLint/FlexeLintforC/C++是GIMPELSOFTWARE公司的產(chǎn)品PC-Lint是一個歷史悠久，功能異常強(qiáng)勁的靜態(tài)代碼檢測工具。它的使用歷史可以追溯到計算機(jī)編程的遠(yuǎn)古時代（30多年以前）。經(jīng)過這么多年的發(fā)展，它不但能夠監(jiān)測出許多語法邏輯上的隱患，而且也能夠有效地提出許多程序在空間利用、運(yùn)行效率上的改進(jìn)點(diǎn)，在很多專業(yè)級的軟件公司，比如Microsoft，PC-Lint檢查無錯誤無警告是代碼首先要過的第一關(guān)Pclint的特點(diǎn)1)PC-Lint是一種靜態(tài)代碼檢測工具，可以說，PC-LINT是一種更加嚴(yán)格的編譯器，不僅可以象普通編譯器那樣檢查出一般的語法錯誤，還可以檢查出那些雖然完全合乎語法要求，但很可能是潛在的、不易發(fā)現(xiàn)的錯誤。2)PC-lint不但可以檢測單個文件，也可以從整個項(xiàng)目的角度來檢測問題，PC-Lint在檢查當(dāng)前文件的同時還會檢查所有與之相關(guān)的文件3)PC-lint支持幾乎所有流行的編輯環(huán)境和編譯器，比如BorlandC++從1.x到5.x各個版本、BorlandC++Build、GCC、VC，VC.net、watcomC/C++、Sourceinsight、intelC/C++等等，4)支持ScottMeyes的名著（EffectiveC++/MoreEffectiveC++）中說描述的各種提高效率和防止錯誤的方法。使用方法可以用命令行方式進(jìn)行，例如lint-nt–ustd.lnttest1.ctest2.ctest3.c。另外支持MAKEFILE方式。也可以集成到開發(fā)環(huán)境中。SourceInsightSLICKEDITMSVC6.0KEILC..等操作平臺PC-lintforC/C++:WindowsNT/95/98/2000/MEDOSOS/2(32bit)FlexeLintforC/C++:Unix和Unix-like平臺(AIX,HP-UX,SunOS,Solaris,LINUX,Tru64Unix,SCO,etc.)VAXVMSIBM’sVM,MVSOS-9其他支持c編譯器的平臺兼容性支持K&RC,ANSIC,ANSI/ISOC++直接支持Microsoft,GNU和大多數(shù)其他主流的編譯器和庫支持大多數(shù)主流嵌入式系統(tǒng)的編譯器擁有很多支持異類編譯器的選項(xiàng)功能數(shù)據(jù)檢查技術(shù)可檢測變量初始化和數(shù)據(jù)誤用的問題全局?jǐn)?shù)據(jù)流跟蹤技術(shù)，可跨越函數(shù)和函數(shù)之間的界限進(jìn)行數(shù)據(jù)處理流程的分析可對100個左右的庫函數(shù)進(jìn)行檢查，這些檢查還可以擴(kuò)展到用戶函數(shù)上。強(qiáng)化類型檢查，并可進(jìn)行設(shè)置檢查級別選項(xiàng)函數(shù)變量和返回值的用戶自定義語句檢查找出沒有用的宏，類型定義，類，成員變量/函數(shù)，聲明等等。PC-Lint可以幫助我們自動查找代碼中的可能存在的很多問題，包括變量值未初始化、數(shù)組訪問越界、空指針訪問、內(nèi)存泄漏等問題。它可以幫我們檢查代碼中可能潛在的問題，修正模糊或者不正確的設(shè)計。PC-Lint8.0的安裝由于此版本比較特殊，故無需安裝，只需要將RAR壓縮包里的所有文件解壓到一個目錄下即可，這里定為C:\PCLint8目錄。解壓之后目錄中文件及目錄的說明如下：lint-nt.exePC-lint可執(zhí)行程序；config.exe配置向?qū)?；read80.txt手冊的補(bǔ)充說明，最新特性的更新都在這里說明；pc-lint.pdfPC-Lint英文參考手冊，許多問題的答案可以在這里找到；pr.exe打印工具；.msg.txt文本格式的錯誤號信息解釋文件；patch.exeLINT補(bǔ)丁升級工具；PC惜-L況in每t8酒.0的安段裝Ln立t\包含逢各種ln動t配置律文件扭的目磨錄，奴文件賄如下謀：co交-.橫..非.ln穿t各種蒸特定抄的編天譯器嶄的配堤置文械件；co誘.l遙nt通用們的編達(dá)譯器旱配置未文件莖；sl-.飛..灘.c支持摔各種閉非AN轉(zhuǎn)SI標(biāo)準(zhǔn)保編譯揀器的詳標(biāo)準(zhǔn)縫庫模罩塊；sl屠.c支持AN壇SI標(biāo)準(zhǔn)桿的通假用編遙譯器奏的標(biāo)英準(zhǔn)庫啦模塊陷；en咸v-.毫..則.ln籍t支持談包括揉微軟Vi焰su訂al壞S犯tu膚di妹o在內(nèi)武的各怕種開瀉發(fā)環(huán)嘆境以橡及多昂種編添輯工裝具的深配置踩文件頌；li亦b-失..保..ln脊t支持線各種川特定撲庫的哭配置耳選項(xiàng)載文件圓；au造-.碼..蟲.ln涌t作者算編程基建議寇的配天置文婆件；Te您st遭\.包含職各種鉆測試叔源文盈件的效目錄益。配置運(yùn)行C:討\P鏈CL兵in撒t8鍋\c謠on姜fi耳g.涂ex槽e進(jìn)行哨配置出現(xiàn)逗命令踩行使競用的橫說明飽窗口憐，選寸擇下譜一步選擇只是創(chuàng)叛建或幕修改冠已有丑配置召文件ST掘D.侍LN奮T的選嫂項(xiàng)，厚這里聽我們栗是第型一次武配置縱，故傻選擇光上面育一個旬選項(xiàng)Cr曬ea脈te究a地n惰ew膠S各TD隨.L敬NT，修直改配挖置路浮徑，勒然后季選擇旅下一躬步；界面努中配逢置路奸徑就閘是PC燈Li慢nt安裝薦的路戰(zhàn)徑C:垃\P復(fù)CL月in叔t8，新蛾建的ST敬D.霉LN友T就存夕放在已這個露目錄齊下，殃當(dāng)然胳用戶溫也可錦選擇留另外霧的配你置路妥徑存演放生稱成的ST稻D.質(zhì)LN酬T。接下暮來是值選擇首編譯斷器，撤在下銹拉框露中選凝擇自儲己使個用的設(shè)編譯可器。私這里逮我們辨選擇Mi奇cr登os場of膀t觸Vi限su糟al復(fù)C臟++碌6慶.x皂(膀co記-m祝sc鄉(xiāng)豐60賺.l亂nt粗)，點(diǎn)嬌擊下緞一步肚；接著彎會讓越你選帽擇一跪個的拼內(nèi)存錯模型默，可逆以根岸據(jù)自提己程哄序區(qū)伐和數(shù)酷據(jù)區(qū)會的實(shí)伶際大逆小選匯擇一糊個恰嫩當(dāng)?shù)募葍?nèi)存樓模型吸。內(nèi)僑存模尚型的暫選項(xiàng)詞會體怪現(xiàn)在ST歲D.背LN權(quán)T文件刑中。襲缺省湯選擇32足-b末it集F巧la若t番Mo墊de團(tuán)l.，然郵后選驚下一岡步；選完旋內(nèi)存販模型繡后，備會看布到一兄個庫分類型好的列件表，念在這姻里選壓擇一疤個或斯多個蛋編譯宜時使顛用的激庫。蓬建議霸選擇Mi鬼cr晚os蘆of侍t'核s蠟Fo胃un臘da塊ti窯on震C皆la顧ss好l塌ib賽ra即ry和Wi滅nd燒ow匙s覆NT，Wi罰nd孟ow顫s從32味-b觀it，如鐮果你寶用到廈了St漆an貫da煩rd董T爆em現(xiàn)pl疼at賠e準(zhǔn)Li車br社ar追y，當(dāng)隸然也境選上皇，選解擇下離一步泄；接著獅是讓紙你選商擇為晚使用C/赤C+矛+編程勤提出沉過重逮要建斜議的纖作者份，選毛擇的貞某作風(fēng)者后撲，他怨提出秤的編墻程建恩議方維面的湯選項(xiàng)光將被渾打開膛，作鳴者建笑議的拆配置騰名為AU貫-xx昆x.院LN腦T。建武議全醫(yī)部選刮擇，督選擇侮下一峽步；下一斗步是掃選擇該用何皮種方渡式設(shè)粒置包惜含文萬件目吸錄。曲這里低我們決選擇羅用-i方式增協(xié)助隨我們賓來設(shè)清置，序然后鴿選擇盟下一金步；如果掌步驟8中選鞏擇使喊用-i選項(xiàng)窩，安機(jī)裝程荷序會災(zāi)接著閉讓你騙輸入挎包含徹文件貼所在神的目突錄。杏在下夠面的駛文本總框里械，可健手工分輸入室文件熔包含鑒路徑賭，用廳分號問“;”或用ct橫rl騎+E絹nt縱er換行適來分缸割多劫個包遠(yuǎn)含路由徑。作或者糞可以醉點(diǎn)中Br巖ow握s，在盆目錄事樹中剪直接袖選擇誤。填秩完后多選擇湯下一惱步；然后縮慧出現(xiàn)然以下朵對話宅框，僚表示st斤d_噸a.齡ln王t，st漠d.蘆ln鳴t在配卵置路憑徑下到已被巨創(chuàng)建針，這墳里的st宿d.捷ln歇t實(shí)際枯上就終是st更d_斥a.廳ln叔t的一修個拷級貝，偷只是含在缺努省方石式下響，li棉nt時使倍用的尾配置慘文件兵是st螞d.洗ln踩t；接下朝來將荒會準(zhǔn)闖備產(chǎn)址生一梢個控鍋制全腰局編勒譯信雞息顯被示情苗況的滔選項(xiàng)錦文件OP啊TI伯ON脹S.濕LN歷T，這籮里選茶擇No，即時不取面消這袖些選槳項(xiàng)。接著范選擇劑所支愉持的瘡集成矛開發(fā)庭環(huán)境幸選項(xiàng)限，可蘆選多父個或例一個峽也不愛選，PC際-L隊(duì)IN床T提供團(tuán)了集排成在免多種門開發(fā)場環(huán)境丙中工既作的乒功能遞，例雖如可咸集成蝕在VC、BC、So文ur旁ce略I氏ns稀ig嚼ht中。姜這里刑我們晃選擇MS艙V勞C+罩+6，這帽樣en甚v-驚v6貧.l耀nt就會濁被拷謠貝到卵配置厚路徑薄中。安裝幣程序樸會生曾成一券個LI貌N.終BA閱T文件吳，該阻文件儲是運(yùn)憐行PC指-L瘦IN渣T的批籠處理匙文件國，為庫了使遍該文鹽件能移在任木何路荷徑下盛運(yùn)行任，安岡裝程鋒序提告供了字兩種脾方法怎供你突選擇荒。第搬一種穴方法鵲是讓騾你選將擇把LI豆N.早BA塘T拷貝啦到任尾何一懲個PA陳TH目錄倦下。惹第二內(nèi)種方凈法是膜生成雕一個LS鞠ET申.B廈AT文件鞭，在程每次特使用PC窗-L鎖IN笨T前先浴運(yùn)行噸它來缺設(shè)置充路徑蠶，或汗者把LS估ET殺.B皇AT文件姥的內(nèi)幣容拷微貝到AU膠TO掛EX昏EC隆.B木AT文件按中。劇建議胳選擇例第一如種方棉法，隱指定變的目勇錄為勉安裝枯目錄溉。Pc體li劃nt配置鍛小結(jié)上面仁采用co技nf下ig棋.e岡xe圖形紙工具垮完成膚了配振置。也可片以采頑用手幣工過腥程進(jìn)蝦行配倘置。1.將pc剪li或nt班.r膏ar解壓均至c:鈴\,這樣li臉nt文件析就位煙與c:貫\p鹿cl竹in兼t(安裝諒目錄)下了突。2.將c:膏\p花cl環(huán)in肥t\毫ln決t下的3個文佳件li額b-票w3債2.扛ln僻t，en剃v-己vc鏟6.耍ln炸t，co起-m拾sc催60規(guī).l粉nt拷貝瞞至c:替\p油cl御in青t下，3.在安闖裝目漲錄下券創(chuàng)建st棗d.殿ln遞t和op宮ti背on欺s.漁ln猶t兩個瓶文件灘，其貼中st揪d.崗ln果t的內(nèi)梁容如書下Pc推li隙nt配置蛙小結(jié)3.在安假裝目澆錄下強(qiáng)創(chuàng)建st著d.億ln絞t和op孤ti紹on樸s.他ln依t兩個望文件些，其資中st角d.炎ln踩t的內(nèi)阿容如糧下d:些\p供cl極in紋t\辣co越-m泡sc陜60跳.l副ntd:貌\p仗cl統(tǒng)in規(guī)t\裹li罵b-砍w3政2.值ln顆td:暢\p赴cl矛in婚t\榜en撐v-特vc證6.武ln損td:鼓\p項(xiàng)cl齊in渡t\戶op住ti哈on墻s.徑ln概t-s初i4梁-恰sp津4-i"損c:\番Pr錫og菜ra修m謎Fi頸le饒s\嫩Mi憑cr報os曾of夾t內(nèi)Vi破su換al鍵S輪tu吐di怪o\韻Co男mm潮on榆\M槐SD渾ev揚(yáng)98袖\B色in流;c獲:\領(lǐng)Pr疼og甜ra糧m氏Fi恐le挑s\欺Mi狀cr抹os趕of運(yùn)t兵Vi辭su烏al千S裳tu牛di籍o\露VC缺98沙\A辯TL餡\I潑nc搏lu刃de蠻;c黎:\狼Pr印og或ra懷m敞Fi修le那s\弦Mi邁cr冠os魔of撓t捎Vi碑su冬al招S升tu銅di凝o\等VC爛98歡\I胸nc莊lu流de薯;c擋:\悔Pr激og骨ra盡m絨Fi笑le答s\畜Mi殼cr村os釀of砍t服Vi搞su橋al森S秋tu露di驕o\氣VC話98鑼\M河FC侄\I尖nc長lu弓de織“其中-i后面默的路粥徑名著為VC的安句裝路壺徑和VC導(dǎo)I歐nc棗lu姐de文件汁路徑候，根足據(jù)自但己的囑修改給便可作。op樂ti茶on寬s.替ln斗t內(nèi)容柴可為動空，童為定另制內(nèi)巖容,以后錯需要萄時再塞添加猶。坡準(zhǔn)備工作做完盜了，遠(yuǎn)下一傳步就訊是要蠅將pc慎li址nt集成零到VC趙6中去轉(zhuǎn)，先逃配置li肉nt使之幻玉能對級單個C或C+釘+文件勁進(jìn)行需檢查-i指明澡包含畢路徑en莫v-顏vc沖6.從ln猴t:指定塘輸出赤錯誤竿報告顫的格球式co萬-m衣sc貪60蔬.l疑nt筋:指定c+掉+編譯越器版愈本Li爆b-彎w3英2指定份定內(nèi)均存模橡式Pc剪li繞nt配置堡小結(jié)op麻ti關(guān)on及s.答ln澆t內(nèi)容抬可為蕉空，程為定萍制內(nèi)齒容,以后腔需要活時再揪添加窩。跳準(zhǔn)備工作做完蜻了，焰下一區(qū)步就桂是要攀將pc賞li衣nt集成醫(yī)到VC息6中去隙，先藏配置li少nt使之稼能對前單個C或C+普+文件掩進(jìn)行頃檢查集成院到Mi耍cr沙os萄of辟t成Vi果su羨al褲C搏++出6打開VC憶6，to堆ol弓s-漫--純>c六us反to懸mi喊ze聞--窄>t區(qū)oo鞭ls新建剃一個麥名為pc希li蛛ntfo吩r潤un攏it倘c勸he處ck的項(xiàng)棟，在存下面約填入co緞mm覺an品d:C:騰\p障cl告in安t\骨li奧nt載-n呀t.竭ex勵ear紙gu板me蒜nt勿s:仁-uc:飾\p銅cl滲in旋t\屠st猜d.昆ln后t"$鴨(Fi海le錄Pa匆th)“Us姓e苦Ou勒tp攏ut勻W御in唯do雅w打上闊勾cl肝os鞏e完成騎。這樣差，在VC窗口to湯ol陶s菜單泄下應(yīng)叫該多諷了一固個pc敬li套nt選項(xiàng)獎，可及以用鞋它來啞運(yùn)行l(wèi)i頭nt程序尚，對單個c/影c++代碼太進(jìn)行撥靜態(tài)更檢查拜了。-u指明凍使用備哪些.ln家t文件首先態(tài)導(dǎo)出啊當(dāng)前軍工程挑的.ln單t文件方法越如下蜻：檢查嘗當(dāng)前刷活動場工程怨中的弄所有瘡源文尾件的慈設(shè)置育方法導(dǎo)出宋當(dāng)前偽工程針的.ln往t文件Co纏mm瘦an勺d:庸C吃:\厭PC信Li賽nt絞8\反LI裁NT占-N含T.參EX菠EAr困gu杰me沈nt殼s:去+li縫ne凈bu厘f$(Ta僅rg家et駕Na位me膊).煌ds宏p>$風(fēng)(Ta墳rg管et醫(yī)Na潑me糟).敞ln甚tIn居it召ia蕉l愈di敲re災(zāi)ct希or尼y:棚$辱(Ta蜜rg憐et辛Di氧r)Co簽mm可an外d：Li都nt物-nt伙.e拐xe文件逆及其技絕地怨路徑成（如繭果路教徑中梯有空拋格，始路徑族要用胡“”盜）。+li蔑ne口bu劈燕f$(Ta給rg躁et妥Na坑me蝕).寒ds帽p>$屋(Ta顛rg戀et流Na滔me膽).透ln謹(jǐn)t參數(shù)+li錢ne碌bu肌f表示經(jīng)加倍健行緩浩沖的答大小輪，最災(zāi)初是60騰0上by該te墨s，行沙緩沖渣用于炊存放仰當(dāng)前匆行和稈你讀紅到的獻(xiàn)最長扇行的淘信息之。$(Ta袖rg騾et牙Na竊me)是VC集成漂開發(fā)壓環(huán)境爛的環(huán)創(chuàng)境變怖量，頁表示夸當(dāng)前動激活婚的Pr換oj豪ec尋t名字注意運(yùn)要選困中“Us劑e文Ou寸tp猴ut氣W醉in辰do墳w”選項(xiàng)著，這貌樣PC匙-L發(fā)in醉t就會乒將信嚷息輸賤出到Ou顧tp怖ut窗口返中。在In墊it換ia參l槽di采re矛ct大or形y的$(Ta晃rg討et摔Di絹r)表示嚷在這叮個目倡錄（pr曉oj價ec吉t所在錦目錄的的de郵bu腔g）下槳執(zhí)行威此命納令，勢如果萍不指晝定，魔則將.ln爺t文件云存放議在pr渴oj痕ec誘t文件秒所在抓的目初錄下醫(yī)。導(dǎo)出肥當(dāng)前陜工程允的.ln殊t文件檢查輸當(dāng)前奇活動笨工程壯中的浮所有仰源文膀件的翠設(shè)置尖方法不寫妥該部倚分的伐話，民直接及在輸干出窗祥口中絕顯示控信息瞎。否則坊，將良分析舞結(jié)果勒顯示膊在叔案叔窗披口中檢查意當(dāng)前業(yè)活動祝工程直中的功所有拼源文襖件的院設(shè)置惑方法打開VC肚6，to定ol巡壽s-峽--政>c評us青to定mi帝ze菊--阿>t帶oo牧ls新建肉一個調(diào)名為pc口li取ntfo嶺r佛pr慮oj辟ec痕t妄ch匙ec降k的項(xiàng)撇，在勺下面添填入co繼mm園an腐d:C:存\p高cl哭in買t\莖li緣瑞nt雁-n走t.荒ex利ear碧gu蹤蝶me舒nt痰s:傘+ff魯n–uc:凝\P牛C-灘Li皺nt牧\s懸td殺.l室nt$(Ta眼rg奧et柄Na推me吐).落ln泰tIn廢it姥ia筋l識di奸re偵ct能or干y:轉(zhuǎn).叨.\積$(Ta分rg田et捏Di池r)(與前辟一步幕的設(shè)虜置一秀致)Us見e轎Ou州tp攻ut鬼W眨in得do竭w打上寧勾cl傭os街e完成缺。參數(shù)告中+ff沾n表示Fu寸ll懶F祖il語e織Na缺me否sLI絞NT對常汁見錯娘誤的知檢查1.檢測石指針敗的錯方誤使挪用Li銷nt對使關(guān)用空較指針補(bǔ)，指媽針越爺界，祥對常禁量內(nèi)遍容的券更改責(zé)等。in容tma蹦in間(等){in智tla蝴;ch尺ar乞x[壺10焰0]烈,c抗=1茂0;ch朽ar搬*p電=x蠶;fo框r(愛c=0別;竭c霞<1構(gòu)20繭;贊c+怨+海){*（p+逐+）='瓦c'健;鏡/謹(jǐn)*不會吃檢查我出錯城誤渡*/}x[搬10每2]蜘=罵1載00朗;春/栗*會檢律查出謎錯誤葵*/*(如p+怒10追2)蕩=即1算00籮;帖/*會檢誼查出泊錯誤覺*/p[談10疑2]領(lǐng)=押10瓶0;遼/*會檢鍬查出跨錯誤臘*/re翼tu悉rn壁c文;}檢測if語句頭中的筆錯誤對于if語句林中經(jīng)險常出鳴現(xiàn)的液把”==竿”寫成眼”=”的錯吊誤，具能夠腸通過li饅nt檢測播出來絹。in什tma光in趴()滴{ch度ar銜x[尤10喇0]曠,c捐;ch商ar脈*p蝕=x皂;if基(c<3坡00陰)欣/*錯誤*/*p線=1飲;if楊(c=點(diǎn)20是)港/*錯誤磚*/*p鉛=1匆;}對于耀如下if語句照的問映題，趕也能脊檢測取出來害：if劉(x[竊i]穩(wěn)>臉bi趁g);/*錯誤佩號72幫1，可似疑的羊分號時’;’用法兼*/bi撥g瓣=x[滾i];能夠稼檢測吹出代卷碼中if語句賢之后欺的可燒疑的語正縮臥進(jìn)格匙式：if渴(x[耀i]撒>桃bi微g)bi嶼g藍(lán)=x[躺i];y房誠=越bi鐵g;愉/選*錯誤勒號53鍋9，此豆行不吼應(yīng)該腸正縮姨進(jìn)頸*/能夠輛檢測烘出代丟碼中if語句螺之后仇的可職疑的末負(fù)縮濕進(jìn)格蜘式：if殖(秒y屠>諷z坡)if尤(迫y<瓜z+迷2)謠y世=吳z努;el欄se責(zé)/*錯誤叫號52耐5，此憲行不券應(yīng)該往負(fù)縮事進(jìn)杏*/x鄉(xiāng)豐=深z;檢測sw渣it哨ch結(jié)構(gòu)錘中的吧錯誤li戴nt能夠沸檢測告出sw欣it姨ch分支摩中漏屈掉的醉”br醉ea還k”語句崗。如茂果某下個分善支確饞定不必使用br世ea螺k;可以至在”ca擔(dān)se覆“的前羞一行矛加上蒸注釋呈。另遲外li盤nt還對說沒有de楊fa娃ul痛t分支內(nèi)的sw獸it堡ch報錯捕。in茫tma何in語(密){in編tla蔑;ch沖ar扇x[津10賢0]黨,c逐;c健=更1;sw晴it喊ch度(c){ca捆se叫'煩a'雞:ca以se幅'僅b'秩:織/*兩個ca土se連在損一起遮，沒珍有錯毛誤留*/br跌ea腫k;ca柳se葡'后c'爪:c=占1