關注+星標公眾號，不錯過精彩內容

作者 | strongerHuang

微信公眾號?|?嵌入式專欄

大家平時寫代碼，有用代碼靜態分析工具進行分析嗎？

可能很多人都沒有對代碼進行過靜態分析，今天就來給大家推薦幾個代碼靜態分析工具。

嵌入式專欄

0

關于代碼靜態分析工具

代碼靜態分析工具，顧名思義就是對代碼進行靜待分析，以提前預判（分析出）代碼潛在的一些問題的工具。

換句話說，就是通過工具找出你代碼的bug（錯誤、警告）。

代碼靜態分析工具需要你的代碼遵循一定規范，比如遵循C99、MISRA C：2012等，不然工具不支持對你代碼的靜態分析。

代碼靜態分析工具有獨立存在的（就是一款軟件工具），也有集成在IDE中的。比如比如：IAR EWARM就自帶靜待分析工具。

同時，有些工具支持通過“安裝插件”的形式集成在IDE中，比如：在keil MDK中添加PC-lint代碼靜態分析工具。

下面給大家介紹幾個款代碼靜待分析工具：

嵌入式專欄

1

LDRA

1.網址

https://www.ldra.com/

2.介紹

LDRA是擁有40多年經驗的領先公司，LDRA主要針對代碼安全和業務關鍵市場的代碼分析和軟件測試自動化的軟件市場，以實現代碼的早期錯誤識別并消除bug。

同時，LDRA完全符合行業標準，通過靜態和動態分析跟蹤要求，以對各種硬件和軟件平臺進行單元測試和驗證。LDRA的業務遍及全球，在英國，美國，德國和印度設有總部，并擁有廣泛的分銷商網絡。

LDRA符合 ISO 9001：2008。LDRA工具套件已通過TüVSüD 和SGS-TüVSAAR 認證。這些工具符合IEC 61508，IEC 62304，IEC 60880，EN 50128和ISO 26262的規定，可用于與安全相關的軟件開發。

應用領域：

3.特點

• 自動化單元測試和系統級測試

• 自動生成軟件認證和批準證據

• 規劃和執行基于需求的測試

• 對直至目標級別的所有代碼執行和報告覆蓋率分析

• 幾乎可以在任何主機或目標平臺上進行單元測試和系統級測試

• 符合編碼標準（行業和用戶定義）

4.試用

LDRA工具套件支持30天免費試用。

嵌入式專欄

2

Parasoft C / C ++ test

1.網址

https://www.parasoftchina.com/products/ctest/

2.介紹

Parasoft? C/C++test? 是專業針對C和C++語言的開發測試方案，經廣泛證明能提高軟件開發效率和代碼質量的自動化最佳實踐解決方案。

Parasoft 公司成立于1987年，總部位于加利福尼亞州的洛杉磯。有著30多年的豐富的專業技術積累和行業應用經驗，產品橫跨單元測試、靜態分析、動態分析、功能測試、壓力測試、信息安全測試、通信協議仿真、應用環境虛擬化等。

3.特點

• 提升C/C++開發軟件質量

• 自動化測試平臺

• 遵從性認證標準

• 嵌入式和跨平臺開發

• 提升開發效率，加速軟件交付

• 低成本學習，高度可定制化

4.支持廣泛平臺

支持主機平臺：

• Windows

• Visual Studio

• Solaris UltraSPARC

支持IDE：

• Eclipse IDE for Developers

• Microsoft Visual Studio

• Wind River Workbench

• ARM Workbench IDE for RVDS

• ARM Development Studio

• QNX Momentics IDE (QNX Software Development Platform)

• Texas Instruments Code Composer Studio

• ARM ADS

• Green Hills MULTI

• IAR Embedded Workbench

• Keil μVision IDE

• Keil RealView

• Microsoft eMbedded Visual C++

• Microsoft Visual Studio

• Texas Instruments Code Composer

• Wind River Tornado

還有更多：

4.試用

Parasoft C/C++test工具套件同樣支持免費試用，可進入官網申請免費試用。

嵌入式專欄

3

PVS-Studio

1.網址

https://pvs-studio.com/en/pvs-studio/

2.介紹

PVS-Studio是用于檢測用C，C ++，C＃和Java編寫的程序源代碼中的錯誤和安全漏洞的工具。它可以在Windows，Linux和macOS環境中的64位系統下運行，并且可以分析用于32位，64位和嵌入式ARM平臺的源代碼。

PVS-Studio執行靜態代碼分析并生成報告，以幫助程序員查找和修復錯誤。PVS-Studio執行各種代碼檢查，對于發現打印錯誤和復制粘貼錯誤也很有用。比如：V501，V517，V522，V523，V3001等類似錯誤信息。

3.特點

備注：截圖內容為自動翻譯，可能存在一些翻譯錯誤。

4.支持廣泛平臺

操作系統：

• Windows

• Linux

• macOS

使用C/C++編譯器對應教程的地址：

https://pvs-studio.com/en/m/0033/

5.試用

PVS-Studio工具套件同樣為商業付費軟件，但支持免費試用。

嵌入式專欄

4

VectorCAST

1.網址

https://www.vector.com/de/en/products/products-a-z/software/vectorcast/

2.介紹

VectorCAST嵌入式軟件測試平臺是一系列產品，可在整個軟件開發生命周期內自動執行分析和測試。

VectorCAST工具系列支持測試用例的創建和管理，以驗證底層軟件。此外，VectorCAST工具支持在DO-178C和ED-12C規定的所有級別（包括A級）上捕獲和報告結構代碼覆蓋率數據。

應用于：航天航空、汽車、工業、醫療、軌道交通等領域。

軟件關鍵級別和結構覆蓋要求：

3.特點

• 支持DO-178C要求的所有級別的代碼覆蓋范圍；ED-12C

• 自動生成和編譯完整的測試存根和驅動程序

• 自動回歸測試

• 符合標準的測試報告生成

• 在主機，模擬器和嵌入式目標系統上測試執行

4.試用

VectorCAST工具套件同樣為商業付費軟件，但支持免費試用。

最后，篇幅有限，先推薦這些，還有更多靜態分析工具，后期為大家分享。

------------?END?------------

后臺回復『軟件工具』『嵌入式軟件設計與開發』相關文章。

歡迎關注我的公眾號，回復“加群”按規則加入技術交流群，回復“1024”查看更多內容。

歡迎關注我的視頻號：

點擊“閱讀原文”查看更多分享，歡迎點分享、收藏、點贊、在看。

總結

以上是生活随笔為你收集整理的推荐几个代码静态分析工具的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。