Gimpel Software推出C和C ++的首選靜態分析工具PC-lint Plus

Gimpel Software已再也不維護PC-lint/FlexeLint版本9，最終更新是2014年發佈的版本9.00L。Gimpel Software在2018年末以前爲PC-lint/FlexeLint提供技術支持。

Gimpel Software已推出新產品PC-lint Plus——C和C ++的首選靜態分析工具。

簡單介紹一下PC-lint Plus：

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

                    超過30年的C和C ++靜態分析經驗

瞭解PC-lint Plus如何爲您提供幫助：

在用戶遇到Bug以前找到Bug

主動查找問題而不是被動等待問題出現

識別潛在的安全漏洞

一些Bug不只讓用戶使用不方便，它們還可能泄漏用戶數據或者致使系統崩潰

實施安全編碼標準

自動分析對行業準則的遵照狀況

提升開發人員的效率

避免浪費時間尋找Bug

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

 

適用平臺

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

編碼標準

PC-lint Plus能夠檢查違反內部代碼指南的狀況，以及分析是否符合MISRA等行業標準。數以千計的高度可配置的消息可被啓動來用於支持許多不一樣的代碼指南，例如控制結構要使用大括號，條件表達式中的賦值規則，明確說明運算符優先級等等。能夠在可重用配置文件中指定所需信息的集合，以便在項目和團隊之間分享。

MISRA支持

PC-lint Plus爲MISRA標準提供行業領先的支持，包括MISRA C 2012，MISRA C 2004和MISRA C ++ 2008及其附錄和正誤表。使用隨PC-lint Plus一塊兒的配置文件能夠快速啓用MISRA檢查。能夠啓用和禁用單個規則，而且能夠逐個控制信息。

信息抑制

PC-lint Plus包含多種靈活的方法來控制信息抑制，便是否會發出或忽略特定的信息實例。能夠在每一個文件，每一個函數，每一個語句的基礎上全局啓用或抑制信息，具體取決於信息所引用的類，結構，變量，函數或宏的名稱，或者在單個行上。PC-lint Plus能夠將第三方或庫源代碼與項目的其他部分區分開來，而且能夠對這些代碼應用單獨的抑制策略。

• 最簡單的抑制選項，+e#和-e#，在遇到它們以後的全部地方啓用或禁用信息#。
• 經過添加// lint！e#形式的註釋來暫時禁用信息#。
• 說起特定變量，類，結構或函數的消息可使用-esym或+esym來抑制或啓用，例如-esym（#，name）會在消息的特定實例提到name時禁止信息#。
• 提到其餘文本的信息可使用-estring和+estring來抑制或啓用。
• emacro選項在指定宏的擴展中啓用或禁用信息。
• lint註釋中的各類抑制能夠影響下一個或封閉的語句，聲明或表達式。

文檔和支持

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

源代碼安全

PC-lint Plus在您的開發人員工做站或您本身的服務器上本地運行。它不鏈接到互聯網或以其餘方式使用網絡鏈接。您的源代碼只存在您的設備上，它不提交任何其餘形式的數據。

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

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

                                                 點擊下載PC-lint Plus試用版

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