1.PC-Lint工具介紹

PC-Lint for C/C++是由Gimpel軟體公司於1985年開發的程式碼靜態分析工具,它能有效地發現程式語法錯誤、潛在的錯誤隱患、不合理的程式設計習慣等。

C語言的靈活性帶來了程式碼效率的提升，但相應帶來了程式碼編寫的隨意性，另外C編譯器不進行強制型別檢查，也帶來了程式碼編寫的隱患。PC-Lint能識別並報告C語言中的程式設計陷阱和格式缺陷的發生。它進行程式的全域性分析，能識別沒有被適當檢驗的陣列下標，報告未被初始化的變數，警告使用空指標，冗餘的程式碼，等等。軟體除錯是軟體專案開發成本和延誤的主要因素。PC-lint能夠幫你在程式動態測試之前發現編碼錯誤，這樣消除錯誤的成本更低。使用PC-Lint

在程式碼走讀和單元測試之前進行檢查，可以提前發現程式隱藏錯誤，提高程式碼質量，節省測試時間。並提供編碼規則檢查，規範軟體人員的編碼行為。

PC-Lint能夠檢查出很多語法錯誤和語法上正確的邏輯錯誤，PC-Lint為大部分錯誤訊息都分配了一個錯誤號，編號小於1000的錯誤號是分配給C語言的，編號大於1000的錯誤號則用來說明C++的錯誤訊息。表 1 列出了PC-Lint告警訊息的詳細分類：詳細資訊可參考c:/lint/msg.txt 檔案

                          C             C++           Warning Level

Syntax Errors            1 - 199     1001 - 1199           1
Internal Errors        200 - 299     1200 - 1299           0
Fatal Errors           300 - 399                           0
Warnings               400 - 699     1400 - 1699           2
Informational          700 - 899     1700 - 1899           3
Elective Notes         900 - 999     1900 - 1999           4
以C語言為例，其中的編號1-199指的是一般編譯器也會產生的語法錯誤；編號200-299是PC-Lint程式內部的錯誤，這類錯誤不會出現在程式碼中的；編號300-399指的是由於記憶體限制等導致的系統致命錯誤。編號400-999中出現的提示資訊，是根據隱藏程式碼問題的可能性進行分類的：其中編號400-699指的是被檢查程式碼中很可能存在問題而產生的告警資訊；編號700-899中出現的資訊，產生錯誤的可能性相比告警資訊來說級別要低，但仍然可能是因為程式碼問題導致的問題。編號900-999是可選資訊，他們不會被預設檢查，除非你在選項中指定檢查他們。