Gimpel Software已不再維護(hù)PC-lint/FlexeLint版本9，最終更新是2014年發(fā)布的版本9.00L。Gimpel Software在2018年底之前為PC-lint/FlexeLint提供技術(shù)支持。

Gimpel Software已推出新產(chǎn)品PC-lint Plus——C和C ++的首選靜態(tài)分析工具。

簡單介紹一下PC-lint Plus：

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

超過30年的C和C ++靜態(tài)分析經(jīng)驗(yàn)

了解PC-lint Plus如何為您提供幫助：

PC-lint Plus可在Windows，Linux和macOS上運(yùn)行，并可配置為分析幾乎任何平臺的代碼

適用平臺

Windows 7/8/10（32位和64位），Linux（64位）和macOS。PC-lint Plus可以分析幾乎任何平臺的C / C ++源代碼。

編碼標(biāo)準(zhǔn)

PC-lint Plus可以檢查違反內(nèi)部代碼指南的情況，以及分析是否符合MISRA等行業(yè)標(biāo)準(zhǔn)。數(shù)以千計(jì)的高度可配置的消息可被啟動來用于支持許多不同的代碼指南，例如控制結(jié)構(gòu)要使用大括號，條件表達(dá)式中的賦值規(guī)則，明確說明運(yùn)算符優(yōu)先級等等。可以在可重用配置文件中指定所需信息的集合，以便在項(xiàng)目和團(tuán)隊(duì)之間分享。

MISRA支持

PC-lint Plus為MISRA標(biāo)準(zhǔn)提供行業(yè)領(lǐng)先的支持，包括MISRA C 2012，MISRA C 2004和MISRA C ++ 2008及其附錄和正誤表。使用隨PC-lint Plus一起的配置文件可以快速啟用MISRA檢查。可以啟用和禁用單個規(guī)則，并且可以逐個控制信息。

信息抑制

PC-lint Plus包含多種靈活的方法來控制信息抑制，即是否會發(fā)出或忽略特定的信息實(shí)例。可以在每個文件，每個函數(shù)，每個語句的基礎(chǔ)上全局啟用或抑制信息，具體取決于信息所引用的類，結(jié)構(gòu)，變量，函數(shù)或宏的名稱，或者在單個行上。PC-lint Plus可以將第三方或庫源代碼與項(xiàng)目的其余部分區(qū)分開來，并且可以對這些代碼應(yīng)用單獨(dú)的抑制策略。

• 最簡單的抑制選項(xiàng)，+e#和-e#，在遇到它們之后的所有地方啟用或禁用信息#。
• 通過添加// lint！e#形式的注釋來暫時禁用信息#。
• 提及特定變量，類，結(jié)構(gòu)或函數(shù)的消息可以使用-esym或+esym來抑制或啟用，例如-esym（#，name）會在消息的特定實(shí)例提到name時禁止信息#。
• 提到其他文本的信息可以使用-estring和+estring來抑制或啟用。
• emacro選項(xiàng)在指定宏的擴(kuò)展中啟用或禁用信息。
• lint注釋中的各種抑制可以影響下一個或封閉的語句，聲明或表達(dá)式。

文檔和支持

PC-lint Plus與PDF格式的手冊一起提供下載，手冊描述了PC-lint Plus的配置，操作，選項(xiàng)和信息。介紹和安裝部分可幫助您快速入門。每個選項(xiàng)和信息都有詳細(xì)描述，并且很容易找到參考表和目錄。版本歷史記錄部分記錄了版本之間的更改。

源代碼安全

PC-lint Plus在您的開發(fā)人員工作站或您自己的服務(wù)器上本地運(yùn)行。它不連接到互聯(lián)網(wǎng)或以其他方式使用網(wǎng)絡(luò)連接。您的源代碼只存在您的設(shè)備上，它不提交任何其他形式的數(shù)據(jù)。

那么PC-lint Plus相比PC-lint/FlexeLint有什么新功能呢？

您可點(diǎn)擊此處查看新增功能。

點(diǎn)擊下載PC-lint Plus試用版

為您推薦：【FAQ】C和C ++的首選靜態(tài)分析工具 PC-Lint Plus 常見問題集（一）

想要購買正版授權(quán)，或者獲取更多PC-lint Plus相關(guān)信息的朋友可以點(diǎn)擊" "~

海量產(chǎn)品正在參加年終大促，價格優(yōu)惠！詳情請點(diǎn)擊" 年終巔峰鉅惠 "~