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

點擊下載PC-lint Plus最新版

PC-lint Plus v1.3更新內容：

1.3版對PC-lint Plus進行了大約200項改進，以下各節(jié)將詳細介紹。以下是此版本中最顯著更改的內容。

• 新消息：版本1.3引入了50多個新消息，請參閱后面的新消息摘要文章。

• 對AUTOSAR C ++和CERT C的入門支持：新的au-autosar.lnt和au-certc.lnt文件使PC-lint Plus支持相應的標準。此版本的PC-lint Plus支持超過60％的可靜態(tài)檢查的AUTOSAR準則，這些準則將在以后的版本中增加。

• 支持BARR-C：2018：此版本的PC-lint Plus通過提供的au-barr.lnt文件支持嵌入式C編碼指南BARR-C：2018（以前為Netrino）。提供的支持大大擴展了PC-lint 9為非常相似的Netrino準則提供的支持。

• 新選項：-fatal_error，+ fatal_error

• 新標志選項：ffi（相對于附近極限的格式整數(shù)），fup（報告空指針值將其視為未知值），fuu（將未初始化值處理后即報告為未知值），fcv（不報告參數(shù)可以為const，如果僅轉換為void），fub（忽略開關中無法到達的中斷），fxt（外部C函數(shù)可以引發(fā)異常）。

• MISRA C 2012：添加了對規(guī)則21.18、22.4和22.6的支持。改進了對規(guī)則2.2、11.1、14.4、15.7、17.1、21.4、21.5、22.1和21.10的支持。改進了對布爾基本類型處理的支持。新的解釋選項。

• MISRA C ++：改進了對規(guī)則2-13-2、3-9-3、4-5-3、4-10-2、5-0-3、5-0-6、5-2-4， 5-2-8、7-1-1、7-1-2和7-3-1。新的解釋選項。

• 改進的支持表：支持表現(xiàn)在更加詳細，提供了多個級別的支持以及對報告內容的附加說明。歷史消息映射已刪除，并且構成規(guī)則支持所需的功能級別已提高。

• 嵌入式：pclp_config實用程序現(xiàn)在支持Keil ARMCC和Microchip XC編譯器，文檔中包含了將PC-lint Plus與μVision和MPLAB X IDE集成的說明。添加了對0.NaN和0.Infinity浮點常量的支持。

• Visual Studio：Windows的config目錄中現(xiàn)在提供了Visual Studio解決方案和項目的自動配置實用程序。

PC-lint Plus 1.3版本更新內容比較多，后面的文章將會陸續(xù)介紹1.3版本的更新內容~感興趣的朋友可以繼續(xù)關注我們哦~點擊下載PC-lint Plus最新版體驗一下~

想要購買PC-lint Plus正版授權，或了解更多產品信息請點擊

1024，慧都致敬程序員們，zend現(xiàn)金優(yōu)惠券限時放送，了解詳情請點擊下方圖片