軟體工具

PC-lint Plus

PC-lint Plus 是一款靜態分析工具,透過分析 C 和 C++ 源代碼來發現軟體中的缺陷。

PC-lint Plus 像編譯器一樣,會解析源代碼文件,進行語義分析,並構建抽象語法架構。在這樣的基礎下,PC-lint Plus 會利用數據流分析、抽象解釋以及其他多種技術,對單個文件和整個專案進行具體而完整的分析。然後PC-lint Plus 會清楚的在診斷訊息報告中呈現。診斷訊息的格式是完全可定制的,並包含精確的位置資訊和上下文,以便迅速解決缺陷。 

PC-lint Plus 優點

PC-lint Plus 更多

廣泛兼容

PC-lint Plus 可運行於 Windows 7/8/10、Linux 和 macOS 平台,並能針對幾乎任何平台的源代碼進行分析。它支援多種編譯器,並能與使用者現有的 IDE、建置過程或持續整合系統進行整合,使 PC-lint Plus 能夠迅速融入任何專案。PC-lint Plus 支援純文本、HTML 和 XML 輸出格式,這些格式可根據需要進行自訂,以支持其他格式。

可擴展且全面

PC-lint Plus 針對各種不同類型的嚴重代碼缺陷提供多樣化的檢測能力以提升軟體品質。它能夠識別各種缺陷和漏洞,並能迅速找到根本原因,提供可行的修正建議。 

 

此外,PC-lint Plus 能夠高效地擴展以便啟動多個處理核心,使開發人員和測試人員能夠快速分析大型專案。 

安全的現場分析

PC-lint Plus 進行深入分析,以發現潛在的錯誤和可疑代碼。它可以在開發人員的工作區、建置伺服器或持續整合伺服器上運行。它不需要網際網路連接,並且不會蒐集或洩漏用戶系統中的任何數據、代碼、統計訊息、分析資料或其他資訊。

通過 ISO 26262 和 IEC 61508 認證

PC-lint Plus 已獲得 exida® 認證,符合 ISO 26262:2018(ASIL D 資格)和 IEC 61508:2010(SIL 4 資格)。因此,使用者可以放心且安全地在重要專案中使用 PC-lint Plus。

符合安全標準

強制執行行業編碼標準,包括 MISRA C 和 C++、AUTOSAR 以及 CERT C,自訂個別指導方針的檢測,並輕鬆處理指導方針的偏差,提供精確的診斷抑制功能。