当前标准的C语言编译器存在普遍只能找出代码中潜在的缺陷，而对程序方案设计并没有效。使用静态代码分析器有助于提升固件和捕获编译器难以察觉的问题。以下是每一位嵌入式软件开发工程师都应该熟悉的静态代码编译器的七种用法。
标准的C语言编译器在检查语法错误方面做得很好，并且能将其编译成可执行的程序。如果代码被编译成功，编译器就会默认一切都很好，但可能还是会存在许多的错误。静态代码分析器在下列场景中就能大展身手。
用途#1 - 捕捉潜在的漏洞
静态代码分析器广为人知的用途之一就是扫描软件中潜在的问题和漏洞。这些问题小到switch case遗漏了break语句，大到缓存溢出的潜在风险。静态代码分析器能够发现那些容易被编译器或者代码审核人员忽略的问题。在开发的早期阶段配置一个静态代码分析器在实践中能够确保潜在风险被立即处理，而不是等到开发的后期阶段。
用途#2 - 强制执行代码规范
执行代码规范是确保软件开发一致性和代码可读性的重要举措。代码规范不仅会涉及代码可读性等问题，它还能迫使代码变得优雅。一个典型的例子就是许多静态代码分析器支持MISRA C。静态代码分析器能够确保开发者没有违背大多数推荐实现方法，也没有违背标准的优雅实践（但是有些规则要求人工检查，机器无法自动判别）。如果真的发生了违规行为，静态分析器会将违规行为报告给开发者，开发者可以给予纠正。使用静态分析器能够快速判断代码是否遵循了已定义的标准。
用途#3 - 确保严格执行ANSI-C标准
那些想严格按照ANSI-C标准开发可移植软件的开发者可以用静态代码分析器判断是否有非标准的用法混杂在代码里。将分析器设置为“strict”将会查找出那些可移植性较差的或者兼容性较弱的代码区域。开发者随后可以再次检查这部分代码，使得软件更好地遵守ANSI-C标准，或者至少在文档中注明这部分代码。
用途#4 - 强大的类型检查功能
C语言并不支持强类型检查。在C语言中，如果开发者自己创建了一种类型，编译器会忽略新类型而使用底层的C语言类型。
 |
楼主
标题置顶
标题高亮
