Advanced Settings

Post-analysis commands and other options

To specify commands or scripts that can run after verification, or to specify options that are command-line-only in the Polyspace^® user interface, use the advanced options.

Polyspace Options

`Command/script to apply after the end of the code verification (-post-analysis-command)`	Specify command or script to be executed after analysis
`Other`	Specify additional command-line flags for static analysis

Topics

Specify Polyspace Analysis Options
Specify Polyspace analysis options in Polyspace user interface, other IDE-s or scripts.