适合嵌入式C语言静态代码分析的工具-Toy模板网

这篇具有很好参考价值的文章主要介绍了适合嵌入式C语言静态代码分析的工具。希望对大家有所帮助。如果存在错误或未考虑完全的地方，请大家不吝赐教，您也可以点击"举报违法"按钮提交疑问。

收集了几个嵌入式C语言静态代码分析工具：

Polyspace：Polyspace是MathWorks公司的一款静态代码分析工具，可以用于嵌入式C语言程序的静态分析。它可以检测代码中的缺陷、死代码、未定义行为等问题，并且支持多种编译器和操作系统。
LDRA：LDRA是一款商业化的静态代码分析工具，可以用于嵌入式C语言程序的静态分析。它可以检测代码中的缺陷、死代码、未定义行为等问题，并且支持多种编译器和操作系统。
Klocwork：Klocwork是一款商业化的静态代码分析工具，可以用于嵌入式C语言程序的静态分析。它可以检测代码中的缺陷、死代码、未定义行为等问题，并且支持多种编译器和操作系统。
PRQA：PRQA是一款商业化的静态代码分析工具，可以用于嵌入式C语言程序的静态分析。它可以检测代码中的缺陷、死代码、未定义行为等问题，并且支持多种编译器和操作系统。
Coverity：Coverity是一款商业化的嵌入式C语言静态代码分析工具，具有高度的准确性和可靠性，能够发现各种类型的缺陷和漏洞，包括内存泄漏、空指针引用、数组越界等。
Lint：Lint是一款最早的静态代码分析工具，由贝尔实验室开发，能够发现一些基本的语法和风格问题，如未使用变量、未声明的函数等。
Splint：Splint是Lint的一个改进版，能够发现更多的缺陷和漏洞，如类型不匹配、格式化字符串漏洞等。
Cppcheck：Cppcheck是一款免费的开源嵌入式C语言静态代码分析工具，能够发现各种类型的缺陷和漏洞，如空指针引用、内存泄漏、数组越界等。