Advanced Settings

Post-analysis commands, scripts, nonofficial 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

expand all

Post Verification

Command/script to apply after the end of the code verification (-post-analysis-command) Specify command or script to be executed after analysis

Other Polyspace Options

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.