PC-lint Plus靜態(tài)分析工具

PC-lint Plus是一個靜態(tài)分析工具，它通過分析C和C++源代碼來發(fā)現軟件中的缺陷。 像編譯器一樣，PC-lint Plus解析您的源代碼文件，執(zhí)行語義分析，并構建抽象語法樹來表示您的程序。在此基礎上，PC-lint Plus采用各種機制（包括數據流分析、抽象解釋、值跟蹤、讀寫分析、強類型檢查、函數語義驗證和許多其他技術）來提供對單個文件和整個項目的強大而全面的分析。 然后，PC-lint Plus使用易于理解的清晰、簡潔且可操作的診斷報告其發(fā)現。診斷消息格式是完全可定制的，并且包括快速解決缺陷所需的精確位置信息和上下文。PC-lint Plus可以從命令行運行，集成到您的構建流程或持續(xù)集成系統中，或者從您的IDE中運行。歡迎下載使用！

軟件亮點

1、支持新的自定義指標

2、支持新的定制查詢系統

3、擴展的AUTOSAR支持

4、支持Visual Studio 2022

5、增加了C++20支持

軟件優(yōu)勢

1、識別廣泛的缺陷和漏洞

2、深入分析以發(fā)現潛在的bug和可疑代碼

3、快速確定根本原因并提供可行的修復措施

4、支持MISRA、AUTOSAR和CERT C等編碼標準

5、通過ISO 26262和IEC 61508認證