高级设置

分析后命令和其他选项

要指定验证后可运行的命令或脚本，或要在 Polyspace^® 用户界面中指定仅可在命令行使用的选项，请使用高级选项。

Polyspace 选项

`在代码验证结束后要应用的命令/脚本 (-post-analysis-command)`	Specify command or script to be executed after analysis
`其他`	为静态分析指定附加命令行标志