QAC检查的范围例子 


未定义的行为 

QAC检测众所周知的未定义行为——空指针释放、除零、缓存溢出——以及其他罕见领域。QAC的数据流引擎提供变量的数值分析以检测未定义的行为。 

约束错误 

语言的误用——检查159个语法正确但是语义错误的代码问题。QAC能够检测的范围从众所周知的编译问题到通过了编译的其他问题。 

模块交互分析 

QAC发现未定义的行为，比如使用外部链接时对象/函数重复定义，链接器不能检查的申明冲突。 

可移植性 

对于所有需要在交叉编译器和平台上执行的代码，执行定义的一致的限制和扩展申明都是很重要的。 

转换 

QAC在任何有数据类型转换的地方进行检测，比如分配、比较、整值提升、默认参数提升或者函数返回值。 

冗余 

QAC在所有结果恒定的地方检测没有使用的变量、函数、参数和条件语句。 

语句和运算 

QAC检测可疑的比较和指针运算，包括不正确的类型使用，以及合法但是难以理解而导致维护困难的程序结构。 

标识 

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

 

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 1998  

-支持MISRA-C 2004  

-支持HIC