PC-Lint c/c++ 代碼檢查工具

概述

 

PC-Lint是GIMPEL SOFTWARE公司的一個產品。它是一個歷史悠久,功能異常強勁的靜態代碼檢測工具。它的使用歷史可以追溯到計算機編程的遠古時代(30多年以前)。經過這麼多年的發展,它不但能夠監測出許多語法邏輯上的隱患,而且也能夠有效地幫你提出許多程序在空間利用、運行效率上的改進點。在很多專業級的軟件公司,比如Microsoft、華爲,PC-Lint檢查無錯誤無警告是代碼首先要過的第一關。

C/C++語言的靈活性帶來了代碼效率的提升,但相應帶來了代碼編寫的隨意性,另外C/C++編譯器不進行強制類型檢查,也帶來了代碼編寫的隱患。PCLint識別並報告C/C++語言中的編程陷阱和格式缺陷的發生。它進行代碼的全局分析,能識別沒有被適當檢驗的數組下標,報告未被初始化的變量,警告使用空指針,冗餘的代碼,等等。軟件除錯是軟件項目開發成本和延誤的主要因素。PClint能夠幫你在程序動態測試之前發現編碼錯誤。這樣消除錯誤的成本更低。

    使用PC-Lint在代碼走讀和單元測試之前進行檢查,可以提前發現程序隱藏錯誤,提高代碼質量,節省測試時間,規範軟件人員的編碼行爲。

 

功能

 

1) PC-Lint是一種靜態代碼檢測工具,不僅可以象普通編譯器那樣檢查出一般的語法錯誤,還可以檢查出那些雖然完全合乎語法要求,但很可能是潛在的、不易發現的錯誤。

2) PC-lint不但可以檢測單個文件,也可以從整個項目的角度來檢測問題,因爲C/C++語言編譯器固有的單個編譯,這些問題在編譯器環境下很難被檢測,而PC-Lint在檢查當前文件的同時還會檢查所有與之相關的文件,可想而知,它會對我們有很大的幫助。

3) PC-lint支持幾乎所有流行的編輯環境和編譯器,比如Borland C++從1.x到5.x各個版本、Borland C++ Build、GCC、VC,VC.net、watcom C/C++、Source insight、intel C/C++等等,也支持16/32/64的平臺環境。

4) 支持Scott Meyes的名著(Effective C++/More Effective C++)中說描述的各種提高效率和防止錯誤的方法。

 

安裝配置使用見github.com/liuzhanchun

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章