Configure Checks
Specify behavior of various Polyspace® checks
By default, Polyspace Code Prover™ verifies the presence and absence of runtime checks in your code. Configure the analysis to run additional checks and to modify Polyspace assumptions about your code. For example:
Configure the verification of global variable initialization using initialization options.
Configure verification of shared access of global variables by concurrent tasks and threads using multitasking options.
Modify Polyspace assumptions about your code and modify how Polyspace checks for various runtime errors.
Categories
- Configure Multitasking Checks
Specify multitasking constructs used in your code, such as entry points, interrupts, cyclic tasks, and temporally exclusive tasks
- Configure Stack Usage Calculation
Calculate stack use and global variable size estimates using Code Prover
- Configure Checking Global Variable Initialization
Specify whether to check for global variable initialization and the code that initializes global variables
- Configure Run-time Checks
Modify the behavior of Polyspace run-time checks
