C++代码静态分析工具

       市场领先的QAC++是为在项目编码阶段的工程师设计的，以确保开发高质量的C++代码。 

       QA.C++也可以在开发过程的任何阶段用于减少代码bug，并且快速、自动执行、易用、可用于任何规模的开发环境。 

       QAC++提供了高效的、稳定的、完全自动化的环境创建和执行编码规范。QAC++快速有效的检测和报告软件的缺陷、语言执行错误、冲突、危险用法和编码规范错误，防止错误进入产品导致开发延期。QAC++能够监视和限制复杂度，开发可测试和可维护代码。QAC可以报告代码对特定的编程规范的符合程度。 

 

主要功能

-发现软件的bug和缺陷，以及不符合规范的问题

-发现使用危险、过于复杂和不可移植代码引起的问题

-提供一个高效的、稳定的和自动化的环境，检查和强化客户的编程规范

-发现编译器和其它工具不能发现的问题

-集成高级的消息抑制和增强分析的工具

-集成诊断工具和容易理解的代码度量可视化报告

关键优势

-在加快发布时间的同时降低研发成本

-降低程序失败的风险

-在开发周期的早期发现编程问题

-保证编码质量和编码规范的合规性

-加速和强化代码审查过程，提高团队效率

-培养和提高编程人员能力，提供最好的训练

-增强可靠性、可移植性和可维护性

-可以快速和反复地进行代码的审查和评审

QAC++检查的范围例子 

设计问题 

从类的接口设计、表达式和语句、派生、未定义行为到冗余和逻辑错误，QAC++能够检测C++代码中的大量关键问题。 

资源泄漏 

QAC++检测内存使用的问题，包括分配和释放机制的冲突，类复制接口，使用C风格的内存管理和可能引起内存泄漏问题的派生操作。 

异常问题 

QAC++检测没有捕捉到的和未指定的可能导致错误程序终止的异常，包括为了提高异常处理、规范和效率的申明。 

模板 

从实例化问题，ADL查找，到模板成员函数，静态成员，超载问题，QAC++都将将该对模板的危险用法。 

超载和优先 

QAC++将警告类的继承，超载函数的隐藏和不可访问的成员函数问题。

潜在和预防测量 

QAC++将警告反向、未用、未修改的标识、不正确或者不期望的派生、处理返回、为保证代码鲁棒性产生的不期望的影响。

标识 

QAC++强化指定风格的命名习惯。检测所有链接、范围、时间和类型的标识种类。 

C++语言功能 

QAC++帮助提高使用C++语言的代码质量。包括利用面向对象技术移植的C风格代码和通过C++语言功能确保效率和安全性。 

 

 

QAC++的分析和报告功能 

QAC++强大的消息浏览器描述了文本驱动的环境，链接了丰富的知识仓。QAC++说明了为什么它发现的问题需要修正，并提供了详细的例子演示如何修正。

度量和可视化 

-基于项目的  

-基于文件的  

-基于函数的  

-用户自定义的矩阵  

-使用Kiviat图的图形化度量分析  

-度量阈值警告 

总结报告 

可配置的PDF报告 

-符合性  

-质量  

-代码审查  

-抑制 

文本报告 

-警告总结  

-警告列表 

产品关键功能 

-交互式的消息浏览器  

-源码理解工具  

-浏览器关联  

-函数结构图  

-度量浏览器  

-在线帮助和知识仓  

-上下文关联消息  

-指定的编码规范  

-概要和详细的报告  

-IDE集成 

-超过1300个可选的消息  

-指定的C语言分析引擎  

-交叉模块分析（链接时检查）  

-语义错误检查  

-数据流错误检查  

-Bug捕捉配置  

-紧密的命名分析  

-基于注释的抑制  

-抑制审查  

-渐增的分析  

-对项目的大小和规模没有限制  

-FLEXLm许可管理  

-扩展的编译器支持  

-自动的编译器配置器  

-IDE和编译系统集成  

-Microsoft Visual Studio  

-Eclipse CDT  

-Windriver Tornado&Workbench  

-Rhapsody  

-VectorCAST  

-Makefile Integration  

-Custom Integrations  

-支持MISRA-C++ 2008  

-支持JSF AV++  

-支持HIC++