Gimpel Software已不再維護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采用各種機制，包括數(shù)據(jù)流分析，數(shù)值跟蹤，讀寫分析，強類型檢查，功能語義驗證和許多其他技術(shù)，來提供對單個文件和整個項目強大而全面的分析。

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

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

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

適用平臺

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

編碼標(biāo)準

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

MISRA支持

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

信息抑制

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

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

文檔和支持

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

源代碼安全

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

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

您可點擊此處查看新增功能。

點擊下載PC-lint Plus試用版

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

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

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