符合安全標準

PC-lint Plus能夠檢查違反內(nèi)部指引代碼以及分析符合行業(yè)標準，如 MISRA ®、AUTOSAR ®和CERT ® ?。有關(guān)哪些規(guī)則受支持，哪些消息用于報告違規(guī)以及規(guī)則受支持的程度的詳細信息，請參見我們的手冊和配置文件。

可以配置一千多種可定制的消息，以支持許多不同的代碼準則。例如，將大括號用于控制結(jié)構(gòu)，在條件表達式中進行賦值，明確說明運算符的優(yōu)先級等?？梢栽诳芍赜玫呐渲梦募兄付ㄋ柘⒌拇_切集合，以在項目和團隊之間共享。

PC-lint Plus為MISRA標準提供了業(yè)界領(lǐng)先的支持，包括MISRA C 2012，MISRA C 2004和MISRA C ++ 2008以及其附錄和勘誤表。我們與MISRA委員會進行了廣泛的溝通，以實現(xiàn)最小的細節(jié)并解決已發(fā)布文本中的歧義。

1.3版中現(xiàn)已提供對AUTOSAR和CERT C的支持。

PC-lint Plus通過了exida®的ISO 26262:2018 (ASIL D合格)和IEC 61508:2010 (SIL 4合格)認證。

識別缺陷和漏洞

嚴重的代碼缺陷有許多種，PC-lint Plus提供了多種檢測功能，以提高軟件質(zhì)量的可信度。通過使用我們的價值跟蹤數(shù)據(jù)流分析引擎和針對C和C ++標準庫的內(nèi)置函數(shù)語義，可以檢測指針安全性和內(nèi)存壽命問題（例如緩沖區(qū)溢出），并免費使用。檢查堆棧使用情況，并確定遞歸函數(shù)和調(diào)用鏈。查找表明設(shè)計不一致的代碼。

通過明智的靜態(tài)分析，可以避免 許多著名的軟件錯誤。在開發(fā)過程中識別缺陷，而不是在生產(chǎn)中等待潛在的災(zāi)難性后果。

• 緩沖區(qū)溢出
• 空指針取消引用
• 未初始化的內(nèi)存
• 免費使用
• 變量超出范圍
• 不安全功能
• 堆棧使用情況分析
• printf和scanf漏洞
• 無法訪問的代碼

查找潛在的錯誤

憑借30多年的C和C ++靜態(tài)分析經(jīng)驗，Gimpel軟件具有獨特的資格，可以提供對這些語言，其體系結(jié)構(gòu)模式和開發(fā)人員思維有深刻理解的靜態(tài)分析解決方案。PC-lint Plus可以發(fā)現(xiàn)開發(fā)人員可能會誤解的代碼中的細微不一致，并且可以提供有關(guān)如何解決深奧錯誤的簡要說明。

查找未實現(xiàn)其外觀的可疑代碼，或者在情況變化時將來會失敗的可疑代碼。確保代碼可抵抗平臺，編譯器和語言標準之間的環(huán)境差異。優(yōu)化您的軟件體系結(jié)構(gòu)，以清楚地傳達并正確實現(xiàn)其目標。PC-lint Plus擁有上千種不同嚴重程度的診斷消息，可以檢測各種問題，從控制流，內(nèi)存和算術(shù)到程序布局，依賴項和類設(shè)計。請參閱代表性檢查清單。

提高開發(fā)人員生產(chǎn)力

在發(fā)現(xiàn)錯誤之前，請務(wù)必檢查浪費大量的開發(fā)人員和最終用戶時間的錯誤。開發(fā)人員花費了大量時間來嘗試根據(jù)影響軟件使用的表面級別錯誤來確定報告的錯誤的來源。PC-lint Plus可以直接找出根本原因，并識別與特定代碼段相關(guān)的特定可操作問題，以便可以在導(dǎo)致運行時錯誤之前解決它們。

廣泛兼容

PC-lint Plus可以在Windows 7/8/10，Linux和macOS上本地運行，并且可以分析針對幾乎任何平臺的源代碼。憑借對各種編譯器C11 / C18和C ++ 17的支持，以及與現(xiàn)有IDE，構(gòu)建過程或持續(xù)集成系統(tǒng)集成的能力，PC-lint Plus可以快速集成到任何項目中。

擴展性強

充分利用現(xiàn)代硬件的并行計算功能，以快速分析大型項目。通過使用獨立線程和最少的共享內(nèi)存，PC-lint Plus可以有效擴展以利用多個處理內(nèi)核。開發(fā)人員和測試人員可以在單個工作站上執(zhí)行代碼分析，也可以從構(gòu)建服務(wù)器查詢結(jié)果，自動分析每個代碼更改。

我們的消息抑制系統(tǒng)使您可以專注于最相關(guān)的診斷程序，輕松上手。它足夠靈活，可以支持涉及多個團隊，指南和豁免的大型項目的需求。可以組織模塊化配置文件以提供標準的分析環(huán)境。

安全的現(xiàn)場分析

PC-lint Plus在開發(fā)人員工作站，構(gòu)建服務(wù)器或連續(xù)集成服務(wù)器上本地運行。它不使用Internet連接，絕不會通過任何渠道從您的系統(tǒng)收集或提交數(shù)據(jù)，代碼，統(tǒng)計信息，分析數(shù)據(jù)或任何其他信息。