Краткие названия проверок на этапе выполнения программы автоматического доказательства кода

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

Проверять	Акроним
`Absolute address`	`ABS_ADDR`
`AUTOSAR runnable not implemented`	`AUTOSAR_NOIMPL`
`Correctness condition`	`COR`
`Division by zero`	`ZDV`
`Function not called`	`FNC`
`Function not reachable`	`FNR`
`Function returns a value`	`FRV`
`Illegally dereferenced pointer`	`IDP`
`Incorrect object oriented programming`	`OOP`
`Invalid C++ specific operations`	`CPP`
`Invalid floating point operation`	`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`

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

Краткие названия проверок на этапе выполнения программы автоматического доказательства кода

Похожие темы

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

Поддержка