80C51单片机智能小车设计分析_叶伟慧(2)

但是不可避免的，所有的分析工具都面临着一些问题，其一，这些规则的覆盖度是否能很好的发现程序中的所有错误；其二，存在着误报率，这就需要它被控制在一个合理的范围以内，保证工具的可靠性。虽然有一些不足，可是C++静态分析器仍然是一个很好的测试工具。

四、结束语

基于GCC的C++静态分析器的开发与应用是随着时代的发展，随着人们对C++语言编程的深刻理解，以及在对GCC这一开源编译器的充分认知的基础之上开发出来的。它对程序有一个全面的、细致的检测，审查出已经编写好的程序有哪些地方存在着漏洞，并及时让程序员进行修改。这也为程序员的编写与审查提供了质量、速度与效率的保证，这种基于GCC的C++静态分析器具有很广泛的市场前景。

参考文献：

[1]Stanley B Lippman，Josee Lajoie《C++primer第三版》 中国电力出版社

[2]张素琴,吕映芝.蒋维杜等《编译原理》(第2版)清华大学出版社

— 183 —