91直播平台,久久综合娱乐网,国产午夜伦鲁鲁

下載：521 收藏：5

查看價格免費下載

PC-lint Plus (產品編號：13559)

PC-lint Plus是針對C和C ++的綜合靜態分析解決方案

標簽：代碼優化靜態檢測工具

開發商： Gimpel Software

當前版本： v2.2

產品類型：軟件

產品功能：測試分析

平臺語言：英語

開源水平：不提供源碼

本產品的分類與介紹僅供參考，具體以商家網站介紹為準，如有疑問請來電 023-68661681 咨詢。

PC-lint Plus

針對C和C ++的綜合靜態分析解決方案

符合安全標準

識別缺陷和漏洞

查找潛在的錯誤

提高開發人員效率

廣泛兼容

擴展性強

安全保障

IOS和IEC認證

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

* 關于本產品的分類與介紹僅供參考，精準產品資料以官網介紹為準，如需購買請先行測試。

為何要進行靜態分析？

定位編碼風險

在編譯、集成或移植之前分析源代碼，以發現潛在挑戰。針對可能成為未檢測到錯誤來源的不尋常結構。

疊加您的分析

靜態代碼分析工具對于 C/C++ 提供了獨特的優勢，與動態方法相輔相成。它們提供了一層額外的代碼檢查，以識別可能被忽視的問題。

為什么要選擇PC-lint Plus

符合安全關鍵應用中使用的編碼標準

強制執行行業編碼標準，包括MISRA C和C++、AUTOSAR和CERT C，可自定義各個指南的檢測，并輕松通過精確的診斷抑制來支持指南的偏離。PC-lint Plus參考手冊中包括詳細的編碼指南支持矩陣，以及更詳細的版本分解，涵蓋 MISRA C 2004、MISRA C++ 2008、MISRA C 2012（包括 AMD-1 和 AMD-2）、CERT C 和 AUTOSAR。

識別缺陷和漏洞

存在許多不同種類的嚴重代碼缺陷，PC-lint Plus 提供了多種檢測功能，以提高軟件質量的可信度。使用我們的值跟蹤數據流分析引擎和內置的 C 和 C++ 標準庫函數語義，檢測指針安全和內存生命周期問題，如緩沖區溢出和釋放后使用。檢查堆棧使用情況并識別遞歸函數和調用鏈。查找指示設計不一致的無法訪問代碼。

許多著名的軟件錯誤本可以通過明智的靜態分析來防止。在開發過程中識別缺陷，而不是等待生產中潛在的災難性后果。

靜態應用程序安全測試（SAST）

從安全角度來看，實現嵌入式軟件的一個重要方面是選擇的編程語言。每個項目在涵蓋網絡安全相關標準方面都存在差距，這可能導致未定義的程序行為和可利用的漏洞。因此，程序員必須應用適當的編碼標準。

對于 C 和 C++ 的實施，MISRA C：2012 和 CERT C 已經證明了自己，ISO/SAE 21434：2021（道路車輛 - 網絡安全工程）等標準要求其應用。您可以使用 PC-lint Plus 可靠地檢查是否符合這些準則。該工具可以無縫集成到您的開發環境中。PC-lint Plus 已通過功能安全認證，適合用作靜態應用程序安全測試（SAST）工具，可在早期階段檢測安全漏洞。

通過PC-lint Plus擁有哪些認證？

CWE合規

PC-lint Plus已獲得The Common Weakness Enumeration（CWE）兼容性的官方認證，開發人員可以使用配置文件有效地識別和解決普遍存在的漏洞。

ISO 26262和IEC 61508認證

PC-lint Plus已通過exida®的ISO 26262：2018（ASIL D 認證）和IEC 61508：2010（SIL 4 認證）認證。

PC-lint Plus的優勢

廣泛的兼容

PC-lint Plus 可在 Windows、Linux 和 macOS 上原生運行，幾乎可以分析針對任何平臺的源代碼。通過支持各種編譯器、C11/C18 和 C++17，并能夠與您現有的 IDE、構建過程或持續集成系統集成，PC-lint Plus 可以快速集成到任何項目中。PC-lint Plus 支持純文本、HTML 和 XML 輸出，可以輕松自定義以支持幾乎任何格式。