pc-lint（找到約 5,250,000 條結果）
PC-Lint是C/C++軟件代碼靜態分析工具，你可以把它看作是一種更加嚴格的編譯器。它不僅可以檢查出一般的語法錯誤，還可以檢查出那些雖然符合語法要求但不易發現的潛在錯誤。
C語言的靈活性帶來了代碼效率的提升，但相應帶來了代碼編寫的隨意性，另外C編譯器不進行強制類型檢查，也帶來了代碼編寫的隱患。PCLint識別並報告C語言中的編程陷阱和格式缺陷的發生。它進行程序的全局分析，能識別沒有被適當檢驗的數組下標，報告未被初始化的變量，警告使用空指針，冗餘的代碼，等等。軟件除錯是軟件項目開發成本和延誤的主要因素。PClint能夠幫你在程序動態測試之前發現編碼錯誤。這樣消除錯誤的成本更低。
splint（找到約 7,140,000 條結果）
splint是一個動態檢查C語言程序安全弱點和編寫錯誤的程序.splint會進行多種常規檢查,包括未使用的變量,類型不一致,使用未定義變量,無法執行的代碼,忽略返回值,執行路徑未返回,無限循環等錯誤.
cppcheck（找到約 178,000 條結果）
cppcheck 是一個靜態代碼檢查工具，支持c, c++ 代碼；作爲編譯器的一種補充檢查，cppcheck對產品的源代碼執行嚴格的邏輯檢查。 執行的檢查包括：
1. 自動變量檢查
2. 數組的邊界檢查
3. class類檢查
4. 過期的函數，廢棄函數調用檢查
5. 異常內存使用，釋放檢查
6. 內存泄漏檢查，主要是通過內存引用指針
7. 操作系統資源釋放檢查，中斷，文件描述符等
8. 異常STL 函數使用檢查
9. 代碼格式錯誤，以及性能因素檢查
