仅可在命令行使用的选项

仅可在命令行中使用的选项的说明

命令行上的选项直接对应于用户界面中窗格上的选项。以下选项是此规则的例外情况。基本选项对应于用户界面中其他位置的菜单项和字段。高级选项不会出现在用户界面中。在窗格中，您必须在 其他 字段中指定这些选项的命令行形式。

Polyspace 选项

基本

`-author`	指定工程作者
`-c`	Specify path of license file used by the product
`-date`	指定分析日期
`-doc \| -documentation`	在 Web 浏览器中显示 Polyspace 文档
`-h \| -help`	Display list of possible options
`-I`	指定用于编译的包含文件夹
`-import-comments`	从以前的分析导入审查信息
`-list-all-values`	Display valid option arguments for a given command-line option
`-options-file`	使用选项列表运行 Polyspace
`-prog`	指定工程的名称
`-report-output-name`	Specify name of report
`-results-dir`	Specify the results folder
`-scheduler`	指定集群或作业调度器
`-sources`	指定源文件
`-sources-list-file`	指定包含源文件列表的文件
`-ver`	显示 Polyspace 产品的系统信息
`-verif-version`	分配版本标识符
`-v \| -version`	Display Polyspace version number

高级

`-asm-begin -asm-end`	Exclude compiler-specific `asm` functions from analysis
`-code-behavior-specifications`	Associate behaviors with code elements such as functions
`-consider-external-array-access-unsafe`	Remove the default assumption that external arrays of unspecified size can be safely accessed at any index
`-custom-target`	Create a custom target processor with specific data type sizes
`-classification`	Control precisely which files to include in Polyspace analysis and how to analyze them (自 R2025a 起)
`-dump-preprocessing-info`	Show all macros implicitly defined during a particular analysis
`-ignore-code-annotations`	Ignore C/C++ code annotations justifying Polyspace results and show all results as unreviewed (自 R2022a 起)
`-improve-pointer-analysis-precision`	Enable more precise pointer analysis mode in Code Prover (自 R2022a 起)
`-main-generator-bounded-loop`	Generate a `main` that calls functions in a loop with a specific number of iterations (自 R2022a 起)
`-max-processes`	Specify maximum number of processors for analysis
`-no-assumption-on-absolute-addresses`	Remove assumption that absolute address usage is valid
`-no-credentials-check`	Disable credential check when running Polyspace Bug Finder or Polyspace Code Prover analysis on a remote cluster
`-non-preemptable-tasks`	Specify functions that represent nonpreemptable tasks
`-options-for-sources`	Specify analysis options specific to a source file
`-preemptable-interrupts`	指定表示可抢占中断的函数
`-pstunit-test`	Option to specify a test the input of which is used for static analysis
`-regex-replace-rgx -regex-replace-fmt`	Make replacements in preprocessor directives
`-show-similar-overflows`	以绕回模式显示所有溢出
`-submit-job-from-previous-compilation-results`	Specify that the analysis job must be resubmitted without recompilation
`-tmp-dir-in-results-dir`	将临时文件保留在结果文件夹中
`-wchar-t-is`	Specify the nature of type specifier `wchar_t` for your compiler
`-xml-annotations-description`	Apply custom code annotations to Polyspace analysis results