PC-lint Plus提供了超過一千種您的編譯器不會發出的診斷信息。這些支持數十個檢測區域以及豐富且可自定義的功能集。有關功能和診斷的完整列表，請參閱發行產品和30天的PC-lint Plus評估許可證隨附的PC-lint Plus參考手冊。以下是代表性列表，突出顯示了PC-lint Plus的一些主要功能。

• 使用值跟蹤檢測空指針解除引用、創建和訪問越界指針、緩沖區溢出以及類似問題。
• 初始化問題，例如訪問未初始化的變量、亂序的類成員初始化、構造函數未初始化的類成員等。
• 讀寫分析可識別分配了未使用值的變量。
• 格式不正確或缺少分配、移動和復制操作。
• 資源管理不當問題，例如無法解除資源分配，不正確的重新分配，雙重釋放，超出范圍的分配，臨時性等。
• “可能為常量”診斷報告何時可以將變量或成員函數聲明為const或何時可以將指針變量聲明為指向const。
• 報告未引用/未定義的類成員、函數、標簽等。
• 通過成員函數公開特權類數據。
• 用于200多個標準庫函數的內置語義可檢測對庫函數的潛在濫用。
• 為用戶功能創建自定義語義的能力。
• 不遵循通用的面向對象規范的基類。
• 始終評估為true或false的條件。
• 與宏相關的問題包括將表達式傳遞給未括號的宏參數，將具有副作用的表達式傳遞給重復的宏參數以及未括號的類似于表達式的宏。
• 無法訪問或“dead”代碼檢測。
• 可能表示潛在問題的異常表達式，例如運算符優先級問題，與0的無符號比較等。
• 壓痕檢查（預期/意外的正/負壓痕）。
• 對printf和scanf之類的功能進行全面的格式檢查。
• 借助我們獨有的精度跟蹤功能，各種精度誤差丟失。
• 檢測可以靜態化的外部。
• 基于typedef類型的強類型檢查。
• 初始化不規則（太少、太多、不正確的形狀、內部的字符串串聯等）。
• 堆棧分析，以確定函數堆棧的使用情況、遞歸函數等。

關于PC-lint Plus

PC-lint Plus是一種靜態分析工具，通過分析C和C ++源代碼來發現軟件中的缺陷。與編譯器一樣，PC-lint Plus會解析源代碼文件，執行語義分析，并構建一個抽象語法樹來表示程序。PC-lint Plus采用各種機制，包括數據流分析，數值跟蹤，讀寫分析，強類型檢查，功能語義驗證和許多其他技術，來提供對單個文件和整個項目強大而全面的分析。

免費下載 PC-lint Plus 安裝包