主要内容
的完整列表Polyspace代码验证分析选项
分析选项的描述
当使用Polyspace®，您可能想要更改一些默认的分析选项。您可以更改选项以解决编译问题，修改代码验证器假设，更改检查行为，等等。选项在这里是根据配置窗格的Polyspace桌面产品的用户界面。下载188bet金宝搏
可以使用Polyspace桌面用户界面、Polyspace命令行界面或选项文件指定分析选项。
Polyspace用户界面:要更改项目模块的分析选项，请在项目浏览器,选择配置模块节点。在配置窗格中，根据需要更改选项。看到在Polyspace桌面用户界面中运行分析．
命令行:要在从命令行运行Polyspace分析时指定分析选项，请将选项附加到
polyspace-code-prover或polyspace-code-prover-server．看到从命令行运行Polyspace分析．选择文件:选项文件是每行有一个选项值对的文本文件。您可以在命令行中指定一个选项文件作为选项的值，而不是显式地枚举许多选项
选项文件．看到Polyspace分析的选项文件．
常见的工作流
你也可以从以下列表中选择一个网站:
