Keil MDK中使用pc-lint的詳細方法

keil MDK版本：V4.03，見我的其他博文

PC-lint版本：  V8.0

 

關於pc-lint的強大作用，網上有很多，這裡不想再複述，只說一句：能通過pc-lint檢驗的程式不一定沒有問題，但通過了pc-lint檢驗的程式，品質的提高也是不言而喻的。

 

首先安裝keil MDK和PC-lint這兩個軟體，網上的PC-lint大多是安裝好的壓縮包，直接解壓到C盤即可。請支援正版！！（咳，心虛中...）

 

方法十分簡單，因為keil MDK中已經給出了pc-lint對應keil ARM編譯器的設定檔：CO-KCARM.LNT。

 

首先開啟mdk，選擇Tools – Setup PC Lint，彈出1所示的PC-lint配置介面。

 

                        圖1 PC-lint配置介面

點擊圖1中紅色1所標註的地區，選擇lint工具；再點擊圖1中紅色2所標註的地區，定位到keil安裝目錄下/ARM/bin檔案加下的CO-KCARM.LNT檔案，該檔案為對應的keil ARM編譯器的PC-lint檢查設定檔。最後點擊‘OK’退出，設定完成。

 

運行PC-lint檢查工程內的來源程式：Tools – Lint …用於檢查編輯器開啟的當前C源檔案，Tools – Lint All C Source Files用於檢查工程中所有C源檔案。PC-Lint得到的資訊將重新置放到Build – Output視窗中顯示。雙擊Lint資訊行編輯器將會定位到相應的原始碼行。

我的這個程式，本來編譯器是0個錯誤，1個警告（），經過pc-lint檢查後，錯誤、警告和其他資訊有好幾百條，冒汗中...