GrammaTech 的 CodeSonar

GrammaTech 的旗舰产品是 CodeSonar,这是一种静态分析工具,可对 C/C++ 代码执行整个程序的过程间分析。 该解决方案目前为 3.8 版本,可识别复杂的编程错误,这些错误可能导致系统崩溃、内存损坏、并发错误和其他严重问题。 由于 C/C++ 库的新模型,新版本的速度提高了六倍,且误报更少,从而可以更轻松地分析数百万行代码的项目。 GrammaTech 指出,速度的提升是通过并行化分析引擎以充分利用多核处理器来实现的。 在八核机器上,据说分析时间缩短了 85%。 分析引擎的改进使开发人员能够更快、更精确地查明缺陷。 用户界面的改进使开发人员可以轻松理解和分析非常大的项目,包括那些由复杂的软件开发组织开发的项目。

http://www.grammatech.com