Configure Checking Global Variable Initialization

Specify whether to check for global variable initialization and the code that initializes global variables

Run a Polyspace^® Code Prover™ analysis that checks the initialization of global variables in your code. You can run an analysis that only checks for global variable initialization. Specify the functions that are called before main to initialize the global variables.

Polyspace Options

expand all

Initialization

`Disable checks for non-initialization (-disable-initialization-checks)`	Disable checks for non-initialized variables and pointers
`Check that global variables are initialized after warm reboot (-check-globals-init)`	Check that global variables are assigned values in designed initialization code
`Verify initialization section of code only (-init-only-mode)`	Check initialization code alone for run-time errors and other issues
`Initialization functions (-functions-called-before-main)`	Specify functions that you want the generated `main` to call ahead of other functions
`Ignore default initialization of global variables (-no-def-init-glob)`	Consider global variables as uninitialized unless explicitly initialized in code