主要内容

完整的列表Polyspace代码鄙视分析选项

分析选项的描述

使用polyspace时®，您可能需要更改一些默认分析选项。您可以更改选项以解决汇编问题，修改代码供供假设，更改检查行为等等。这些选项是根据在此处组织的配置Polyspace桌面产品的用户界面中的窗格。s manbetx 845

您可以使用polyspace桌面用户界面，polyspace命令行接口或选项文件指定分析选项。

  • PolySpace用户界面：要更改项目模块的分析选项，项目浏览器，选择配置模块的节点。在里面配置窗格，根据需要更改选项。看在Polyspace桌面用户界面中运行分析。

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

  • 选项文件：一个选项文件是一个文本文件，每行中有一个选项值对。您可以在命令行中指定选项文件作为选项的值，而不是明确列举许多选项- 选项文件。看用于多素空间分析的选项文件。

常见的工作流程

类别