应用开发环境配置与开发要点
静态分析
静态分析是指在不执行代码的情况下查找代码中的缺陷。对于嵌入式系统而言,静态分析十分有用,因为可以在开发主机上运行分析代码,无需担心资源有限的嵌入式目标设备的开销问题。在 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 诞生之初就已存
超级会员免费看
订阅专栏 解锁全文
5万+

被折叠的 条评论
为什么被折叠?



