Short Names of Code Prover Run-Time Checks

When annotating your code to justify checks or creating custom software quality objectives, you use short names of Code Prover run-time checks instead of the full names. The following table lists the short names for individual run-time checks.

Check	Acronym
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

Related Topics

• Annotate Code and Hide Known or Acceptable Results