靜態程式碼檢查工具的使用
摘要：語言的語法擁有其他語言所沒有的靈活性，這種靈活性帶來了程式碼效率的
提升，但相應增加了程式碼中存在隱患的可能性。靜態程式碼檢查工具 則偏重於程
式碼的邏輯分析，它能夠發現程式碼中潛在的錯誤，比如陣列訪問越界、記憶體洩漏、使用
未初始化變數等。本文將介紹如何安裝和配置 程式碼檢查工具以及如何將
與常見的程式碼編輯軟體集成。
關鍵字：程式碼檢查 規則 選項
目 錄
摘 要
引 言
介紹
的程式碼檢查功能
強類型檢查
變數值跟蹤
賦值順序檢查
弱定義檢查
格式檢查
縮進檢查
變數檢查
變數檢查
軟體使用方法
安裝與配置
與常用開發工具的集成（ !"#$%&'
總結
參考文獻
附錄一 重要文件說明
附錄二 錯誤資訊禁止選項說明
附錄三 檢測中的常見錯誤
一 引言
語言的語法擁有其他語言所沒有的靈活性，這種靈活性帶來了程式碼效率的提升，
但相應也使得程式碼編寫具有很大的隨意性，另外 編譯器不進行 強制類型檢查，也
不做任何邊界檢查，這就增加了程式碼中存在隱患的可能性。如果能夠在程式碼提交測試之
前發現這些潛在的錯誤，就能夠極大地減輕測試人員的壓 力，減少軟體專案的除錯成本，可
是傳統的 編譯器對此已經無能為力，這個任務只能由專用的程式碼檢查工具完成。
目前有很多 靜態程式碼檢查工 具，其中 (!)*#+ 和 是
目前應用比較廣泛的兩個工具。這兩個檢查工具各有特色，")*#+ 傾向
於程式碼編碼規範的檢查，比如程式碼縮進格式、 語句書寫規範、函數聲明和布林運算
式的編寫規則等，而 則偏重 於程式碼的邏輯分析，它能夠發現程式碼中潛在的錯
誤，比如陣列訪問越界、記憶體洩漏、使用未初始化變數等。本文將介紹如何安裝和配置
