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 옵션

모두 확장

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

도움말 항목

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