当前常规的C语言编译器一般只能检测出代码中潜在的缺陷，而对程序方案的设计并无太大作用。

为了解决这一问题，使用静态代码分析工具可以帮助提升固件质量，并捕捉编译器难以察觉的问题。

以下是7种常见的静态代码分析工具，它们对嵌入式开发非常有用：

1. PC-lint: PC-lint是一个功能强大的静态代码分析工具，它可以通过检查代码和标准规范来发现潜在的问题和错误。

2. LDRA: LDRA是一款集成了多种静态代码分析功能的工具，包括代码覆盖率分析、数据流分析和安全性分析等。

3. Parasoft C / C ++ test: Parasoft C / C ++ test是一个功能丰富的静态代码分析工具，可以检查代码中的错误、潜在的缺陷和安全漏洞。

4. PVS-Studio: PVS-Studio是一个专门用于C / C ++代码的静态代码分析工具，可以检测出潜在的问题和错误。

5. VectorCAST: VectorCAST是一款全面的自动化测试工具，可以进行静态代码分析、单元测试和集成测试等。

这些工具通常需要你的代码符合特定的规范，例如C99或MISRA C: 2012等。一些工具可以作为独立的软件工具使用，而其他工具则集成在集成开发环境（IDE）中，例如IAR EWARM。还有一些工具可以作为IDE中的插件使用，例如在Keil MDK中添加PC-lint静态代码分析工具。

2、捕捉潜在的漏洞

静态代码分析器广为人知的用途之一就是扫描软件中潜在的问题和漏洞。这些问题小到switch case遗漏了break语句，大到缓存溢出的潜在风险。

静态代码分析器能够发现那些容易被编译器或者代码审核人员忽略的问题。在开发的早期阶段配置一个静态代码分析器在实践中能够确保潜在风险被立即处理，而不是等到开发的后期阶段。

3、强制执行代码规范

执行代码规范是确保软件开发一致性和代码可读性的重要举措。代码规范不仅会涉及代码可读性等问题，它还能迫使代码变得优雅。一个典型的例子就是许多静态代码分析器支持MISRA C。

静态代码分析器能够确保开发者没有违背大多数推荐实现方法，也没有违背标准的优雅实践（但是有些规则要求人工检查，机器无法自动判别）。如果真的发生了违规行为，静态分析器会将违规行为报告给开发者，开发者可以给予纠正。使用静态分析器能够快速判断代码是否遵循了已定义的标准。

4、确保严格执行ANSI-C标准

那些想严格按照ANSI-C标准开发可移植软件的开发者可以用静态代码分析器判断是否有非标准的用法混杂在代码里。

将分析器设置为“strict”将会查找出那些可移植性较差的或者兼容性较弱的代码区域。开发者随后可以再次检查这部分代码，使得软件更好地遵守ANSI-C标准，或者至少在文档中注明这部分代码。

5、强大的类型检查功能

C语言并不支持强类型检查。在C语言中，如果开发者自己创建了一种类型，编译器会忽略新类型而使用底层的C语言类型。

举个例子，如上图所示，编译器会视变量Var1为int类型（实现时定义）而不是新的MyEnum_t类型。开发者也许想区分int和MyEnum_t两种类型，并让编译器在两者混用之时做出警告。

然而，在第13行编译器并不认为把变量Var2（底层是int类型）的值赋给变量Var1（底层也是int类型）存在什么错误。静态代码分析器能够设置严格的类型检查，将Var1=Var2因不同类型间的赋值而置为高亮，以及检查出其它不符合开发者本意的问题。

6、提供量纲检查

1998年发射失败的火星气候探测器是我最关注的航空器失事事故之一。航空器的失败是由于输入轨道插入参数时使用了非标准的lbss 而不是 Ns （哎呀！）。火星气候探测器的失事永远警示着我们确保度量单位正确的重要性。但C编程语言没有提供任何的量纲分析来确保计算的一致性。

但是，静态代码分析器能够完成这些检查，以确保不会将千米误乘以英尺从而得到一个错误的结果。量纲分析的设置在各种工具中各不相同，但开发者应该好好利用这个重要的特性。

7、支持基本的堆栈分析

理解栈的最坏使用场景是开发任何实时嵌入式系统的关键。有很多的方法能分析和确定堆栈的最坏情况下的的使用状态，但可以用静态代码分析器来找找合理使用堆栈的感觉。静态分析器可以计算函数的堆栈使用情况和调用图来给出堆栈所需的大致空间。

静态分析工具还可以帮助深入了解程序对函数调用，以及函数结果的确定性。使用静态分析来熟悉堆栈的使用和最坏工作状态有助于初步理解堆栈的最坏状态分析。

8、帮助检查线程

静态分析工具也可以用来查看在相同处理器上同时执行的线程和任务所出现的问题。

举个例子，分析工具可以识别是否有与加锁或解锁互斥相关的任何异常。线程检查对在实时系统中查找问题非常有效，但配置此类分析却要花费很大的代价。只要能发现存在异常的线程，这种代价还是值得付出的。

9、总 结

静态分析是开发人员开发实时系统的一个宝贵工具。静态分析器的七种用途只是其强大功能的几个例子。

静态代码分析器的使用可以大大提高代码的质量和鲁棒性，如果设置得当，甚至可以确保代码与常见的或自定义的编码标准的一致性。

以上就是良许教程网为各位朋友分享的Linu系统相关内容。想要了解更多Linux相关知识记得关注公众号“良许Linux”，或扫描下方二维码进行关注，更多干货等着你 ！