Краткие названия проверок на этапе выполнения Code Prover

При аннотировании кода, чтобы выровнять по ширине проверки или создании качественных целей заказного программного обеспечения, вы используете краткие названия проверок на этапе выполнения Code Prover вместо полных имен. В следующей таблице перечислены краткие названия для отдельных проверок на этапе выполнения.

Проверять	Акроним
`Absolute address usage`	`ABS_ADDR`
`AUTOSAR runnable not implemented`	`AUTOSAR_NOIMPL`
`Correctness condition`	`COR`
`Division by zero`	`ZDV`
`Function not called`	`FNC`
`Function not reachable`	`FNR`
`Function not returning value`	`FRV`
`Illegally dereferenced pointer`	`IDP`
`Incorrect object oriented programming`	`OOP`
`Invalid C++ specific operations`	`CPP`
`Invalid operation on floats`	`INVALID_FLOAT_OP`
`Invalid result of AUTOSAR runnable implementation`	`AUTOSAR_IMPL`
`Invalid shift operations`	`SHF`
`Invalid use of AUTOSAR runtime environment function`	`AUTOSAR_USE`
`Invalid use of standard library routine`	`STD_LIB`
`Non-initialized local variable`	`NIVL`
`Non-initialized pointer`	`NIP`
`Non-initialized variable`	`NIV`
`Non-terminating call`	`NTC`
`Non-terminating loop`	`NTL`
`Null this-pointer calling method`	`NNT`
`Out of bounds array index`	`OBAI`
`Overflow`	`OVFL`
`Return value not initialized`	`IRV`
`Subnormal float`	`SUBNORMAL`
`Uncaught exception`	`EXC`
`Unreachable code`	`UNR`
`User assertion`	`ASRT`

Документация

Краткие названия проверок на этапе выполнения Code Prover

Похожие темы

Документация Polyspace Code Prover

Поддержка