成人免费a,国产精品亚洲系列,69精品视频

下載：521 收藏：5

查看價格免費下載

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

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

標簽：代碼優(yōu)化靜態(tài)檢測工具

開發(fā)商： Gimpel Software

當前版本： v2.2

產(chǎn)品類型：軟件

產(chǎn)品功能：測試分析

平臺語言：英語

開源水平：不提供源碼

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

PC-lint Plus

針對C和C ++的綜合靜態(tài)分析解決方案

符合安全標準

識別缺陷和漏洞

查找潛在的錯誤

提高開發(fā)人員效率

廣泛兼容

擴展性強

安全保障

IOS和IEC認證

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

聲明：本產(chǎn)品中文介紹為慧都網(wǎng)版權(quán)所有，未經(jīng)慧都公司書面許可，嚴禁拷貝、轉(zhuǎn)載！

* 關(guān)于本產(chǎn)品的分類與介紹僅供參考，精準產(chǎn)品資料以官網(wǎng)介紹為準，如需購買請先行測試。

為何要進行靜態(tài)分析？

定位編碼風險

在編譯、集成或移植之前分析源代碼，以發(fā)現(xiàn)潛在挑戰(zhàn)。針對可能成為未檢測到錯誤來源的不尋常結(jié)構(gòu)。

疊加您的分析

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

為什么要選擇PC-lint Plus

符合安全關(guān)鍵應(yīng)用中使用的編碼標準

強制執(zhí)行行業(yè)編碼標準，包括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 提供了多種檢測功能，以提高軟件質(zhì)量的可信度。使用我們的值跟蹤數(shù)據(jù)流分析引擎和內(nèi)置的 C 和 C++ 標準庫函數(shù)語義，檢測指針安全和內(nèi)存生命周期問題，如緩沖區(qū)溢出和釋放后使用。檢查堆棧使用情況并識別遞歸函數(shù)和調(diào)用鏈。查找指示設(shè)計不一致的無法訪問代碼。

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

靜態(tài)應(yīng)用程序安全測試（SAST）

從安全角度來看，實現(xiàn)嵌入式軟件的一個重要方面是選擇的編程語言。每個項目在涵蓋網(wǎng)絡(luò)安全相關(guān)標準方面都存在差距，這可能導致未定義的程序行為和可利用的漏洞。因此，程序員必須應(yīng)用適當?shù)木幋a標準。

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

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

CWE合規(guī)

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

ISO 26262和IEC 61508認證

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

PC-lint Plus的優(yōu)勢

廣泛的兼容

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

可伸縮性

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