简单易用的UI操作界面

结构良好的用户界面和可定制的窗口

 
基于需求的验证

对需求规范进行管理，能够基于用户的每一条需求建立相应的验证规则，从而通过对源码的功能性验证来测试需求的正确性

产品功能

需求规范管理

客户可针对具体项目建立需求描述表格，并能够将需求与功能验证进行关联，从而可以进行基于需求的功能验证

编码规范性检查

根据MISRA C编码标准自动检测用户的代码识别安全关键系统中的潜在问题，并标记违反规则的代码部分

功能性验证

通过规范语言描述期望程序表现出的行为，自动验证某段代码是否满足特定的性质以及功能模块的实现和调用是否合法

产品特点   

缺陷检查

■  除零检查

■  左、右移越界检查

■  指针越界检查

■  浮点数转整数检查

■  内存访问检查

■  局部变量和指针的初始化检查

■  常量表达式检查

 度量分析

能够对程序中的一些指标参数进行度量分析，具体包括

■  方法调用      

■  程序退出点

■  if语句

■  goto语句

■  指针解引用

■  声明函数

■  代码行数

■  圈复杂度

报告查看与生成

查看分析与验证结果，并可以自定义模板生成分析与验证报告