推荐几个代码静态分析工具
嵌入式专栏
0
嵌入式专栏
1
https://www.ldra.com/
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的规定，可用于与安全相关的软件开发。
自动化单元测试和系统级测试
自动生成软件认证和批准证据
规划和执行基于需求的测试
对直至目标级别的所有代码执行和报告覆盖率分析
几乎可以在任何主机或目标平台上进行单元测试和系统级测试
符合编码标准（行业和用户定义）
嵌入式专栏
2
https://www.parasoftchina.com/products/ctest/
Parasoft® C/C++test® 是专业针对C和C++语言的开发测试方案，经广泛证明能提高软件开发效率和代码质量的自动化最佳实践解决方案。
Parasoft 公司成立于1987年，总部位于加利福尼亚州的洛杉矶。有着30多年的丰富的专业技术积累和行业应用经验，产品横跨单元测试、静态分析、动态分析、功能测试、压力测试、信息安全测试、通信协议仿真、应用环境虚拟化等。
提升C/C++开发软件质量
自动化测试平台
遵从性认证标准
嵌入式和跨平台开发
提升开发效率，加速软件交付
低成本学习，高度可定制化
Windows Visual Studio Solaris UltraSPARC
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
嵌入式专栏
3
https://pvs-studio.com/en/pvs-studio/
PVS-Studio是用于检测用C，C ++，C＃和Java编写的程序源代码中的错误和安全漏洞的工具。它可以在Windows，Linux和macOS环境中的64位系统下运行，并且可以分析用于32位，64位和嵌入式ARM平台的源代码。
PVS-Studio执行静态代码分析并生成报告，以帮助程序员查找和修复错误。PVS-Studio执行各种代码检查，对于发现打印错误和复制粘贴错误也很有用。比如：V501，V517，V522，V523，V3001等类似错误信息。
操作系统：
Windows
Linux
macOS
嵌入式专栏
4
https://www.vector.com/de/en/products/products-a-z/software/vectorcast/
VectorCAST嵌入式软件测试平台是一系列产品，可在整个软件开发生命周期内自动执行分析和测试。
VectorCAST工具系列支持测试用例的创建和管理，以验证底层软件。此外，VectorCAST工具支持在DO-178C和ED-12C规定的所有级别（包括A级）上捕获和报告结构代码覆盖率数据。
应用于：航天航空、汽车、工业、医疗、轨道交通等领域。
软件关键级别和结构覆盖要求：
3.特点
支持DO-178C要求的所有级别的代码覆盖范围；ED-12C
自动生成和编译完整的测试存根和驱动程序
自动回归测试
符合标准的测试报告生成
在主机，模拟器和嵌入式目标系统上测试执行