高级设置

分析后命令、脚本、非正式选项

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

Polyspace 选项

全部展开

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

主题