주요 콘텐츠

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

모두 확장

OtherSpecify additional command-line flags for static analysis

도움말 항목