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

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

軟件亮點(diǎn)

1、支持新的自定義指標(biāo)

2、支持新的定制查詢系統(tǒng)

3、擴(kuò)展的AUTOSAR支持

4、支持Visual Studio 2022

5、增加了C++20支持

軟件優(yōu)勢(shì)

1、識(shí)別廣泛的缺陷和漏洞

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

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

4、支持MISRA、AUTOSAR和CERT C等編碼標(biāo)準(zhǔn)

5、通過(guò)ISO 26262和IEC 61508認(rèn)證