Краткие имена проверок времени выполнения программы проверки кода

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

Проверить	Акроним
`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

Поддержка