이 페이지의 내용은 이전 릴리스에 관한 것입니다. 해당 영문 페이지는 최신 릴리스에서 제거되었습니다.

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

모두 확장

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

도움말 항목