Code Prover 运行时检查的短名称

在为代码添加注解以便对检查进行申述或在创建自定义软件质量目标时，请使用 Code Prover 运行时检查的短名称而非完整名称。下表列出了各个运行时检查的短名称。

检查	缩写
`使用绝对地址`	`ABS_ADDR`
`未实现的 AUTOSAR 可运行实体`	`AUTOSAR_NOIMPL`
`正确性判定条件`	`COR`
`除以零`	`ZDV`
`未调用函数`	`FNC`
`不可达函数`	`FNR`
`未返回值的函数`	`FRV`
`非法解引用指针`	`IDP`
`不正确的面向对象编程`	`OOP`
`无效的 C++ 特定运算`	`CPP`
`无效的浮点运算`	`INVALID_FLOAT_OP`
`无效的 AUTOSAR 可运行实体实现结果`	`AUTOSAR_IMPL`
`移位运算无效`	`SHF`
`无效的 AUTOSAR 运行时环境函数使用`	`AUTOSAR_USE`
`无效的标准库例程使用`	`STD_LIB`
`未初始化的局部变量`	`NIVL`
`未初始化的指针`	`NIP`
`未初始化的变量`	`NIV`
`无限调用`	`NTC`
`无限循环`	`NTL`
`调用方法的 this 指针为空`	`NNT`
`数组索引越界`	`OBAI`
`上溢`	`OVFL`
`返回值未初始化`	`IRV`
`次正规浮点数`	`SUBNORMAL`
`未捕获异常`	`EXC`
`不可达代码`	`UNR`
`用户断言`	`ASRT`

另请参阅

主题

为代码添加注解并隐藏已知或可接受的结果