Other Checks

Checks on standard library function usage, pointer casts and assert statements

Polyspace^® Code Prover™ can check for run-time errors specific to certain C/C++ libraries, such as:

Domain errors when using Standard Library math functions.
Exceeding design ranges when using AUTOSAR Run Time Environment or RTE functions.

Polyspace Results

`AUTOSAR runnable not implemented`	Function implementing AUTOSAR runnable is not found
`Correctness condition`	Mismatch occurs during pointer cast or function pointer use
`Invalid result of AUTOSAR runnable implementation`	Return value or output arguments violate AUTOSAR specifications
`Invalid use of AUTOSAR runtime environment function`	RTE function argument violates AUTOSAR specifications
`Invalid use of standard library routine`	Standard library function is called with invalid arguments
`Non-compliance with AUTOSAR specification`	RTE API function is used with arguments that violate the AUTOSAR standard specification (Since R2021a)
`User assertion`	`assert` statement fails
`Input/Output of model reference out of specified range`	Input or output of generated code from model reference outside of range specified in model

Review and Fix Correctness Condition Checks
Find the root cause of a function pointer misuse, incorrect array conversion or variable values outside specified constraints.
Review and Fix Invalid Use of Standard Library Routine Checks

Investigate why the arguments in the current call to the standard library routine are invalid.
- Invalid Use of Standard Library Floating Point Routines
Review and Fix User Assertion Checks
Investigate why the condition in an assert statement fails.
Review Polyspace Results on AUTOSAR Code
Interpret Polyspace results that highlight violation of ARXML data constraints.
Find Relations Between Variables in Code
Determine if the variables in any operation are related from some previous operation.