仅可在命令行使用的选项

仅可在命令行使用的选项、高级选项

这些分析选项在 DOS 或 UNIX^® 命令行中随函数 polyspace-bug-finder 一起使用。如果您希望在用户界面中为工程使用某些高级设置，请使用 Other 配置选项。

Polyspace 选项

基本

`-author`	指定工程作者
`-c`	Specify path of license file used by the product
`-consider-switch-as-single-decision`	假设一个开关语句是一个单一的决策点，计算其圈复杂度。
`-checkers-activation-file`	激活自定义的缺陷和编码规则组合，以进行 Polyspace Bug Finder 分析 (自 R2021a 起)
`-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`	指定包含源文件列表的文件
`-start-level-from-one`	Start counting the call level or nesting level from one.
`-ver`	显示 Polyspace 产品的系统信息
`-verif-version`	分配版本标识符
`-v \| -version`	显示 Polyspace 版本号

高级

`-asm-begin -asm-end`	Exclude compiler-specific `asm` functions from analysis
`-classification`	Control precisely which files to include in Polyspace analysis and how to analyze them (自 R2023a 起)
`-code-behavior-specifications`	Associate behaviors with code elements such as functions
`-consider-analysis-perimeter-as-trust-boundary`	Consider the analysis perimeter as trust boundary so that data coming from outside the current analysis perimeter is considered tainted
`-create-checkers`	Create new checkers for Polyspace Bug Finder analysis (自 R2023b 起)
`-custom-target`	Create a custom target processor with specific data type sizes
`-disable-concurrency-detection`	Disable automatic detection of multitasking functions
`-detect-atomic-data-race`	Enable detecting data race with atomic operation
`-detect-bad-float-op-on-zero`	检测浮点数比较运算符（等于运算符）中当其中一个操作数为 `0.0` 时的情况。
`-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 起)
`-incremental`	在分析过程中启用增量编译 (自 R2022a 起)
`-max-processes`	指定分析的最大处理器数量
`-non-preemptable-tasks`	Specify functions that represent nonpreemptable tasks
`-no-credentials-check`	Disable credential check when running Polyspace Bug Finder or Polyspace Code Prover analysis on a remote cluster
`-options-for-sources`	指定源文件的特定分析选项
`-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
`-submit-job-from-previous-compilation-results`	Specify that the analysis job must be resubmitted without recompilation
`-termination-functions`	Specify process termination functions
`-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