24、应用开发环境配置与实践

应用开发环境配置与实践

1. 静态分析

静态分析是指在不执行代码的情况下找出代码中的缺陷。对于嵌入式系统而言，静态分析十分有用，因为可以在开发主机上运行分析代码，而无需担心资源有限的嵌入式目标设备的开销。

在 Linux 上，最常用的静态分析工具是在 GCC 中传入 -pedantic -Wall 标志，这样 GCC 会详细输出警告信息。例如，编译冒泡排序代码时会产生如下错误：

bubblesort.c:33:3: warning: C++ style comments are not allowed in ISO C90
bubblesort.c:33:3: warning: (this will be reported only once per input file)
bubblesort.c: In function (main)
bubblesort.c:43: warning: control reaches end of non-void function

这些错误在常规编译器设置下不会被报告。建议始终使用 -pedantic -Wall 标志进行编译，因为它们能在编译时标记出那些常导致运行时问题的错误。

GCC 未能发现的问题， splint 程序可以检测出来。 splint 是静态分析工具 lint 的免费实现，自 Unix 诞生之初就已存在。可以使用以下命令安装 splint