Polyspace Code Prover 分析选项的完整列表

使用 Polyspace 时，您可能希望更改某些默认分析选项。您可以更改选项来解决编译问题、修改 Code Prover 假设、更改检查行为，等等。这里按 Polyspace 桌面端产品用户界面配置窗格中的组织形式列出了可用选项。

您可以使用 Polyspace 桌面端用户界面、Polyspace 命令行界面或选项文件指定分析选项。

• Polyspace 用户界面：要更改某个工程模块的分析选项，请在工程浏览器中选择该模块的配置节点。在配置窗格中，根据需要更改选项。请参阅Run Analysis in Polyspace Desktop User Interface。

• 命令行：要在命令行运行 Polyspace 分析时指定分析选项，请将选项附加到 polyspace-code-prover 或 polyspace-code-prover-server。请参阅从命令行运行 Polyspace 分析。

• 选项文件：选项文件是一个文本文件，其中每行包含一个选项-值对。除了显式枚举许多选项之外，您还可以在命令行上将一个选项文件指定为选项 -options-file 的值。请参阅用于 Polyspace 分析的选项文件。