的完整列表Polyspace错误发现者分析引擎选项
配置Polyspace®错误发现者™分析
在使用Polyspace时，您可能希望更改一些默认的分析选项。您可以更改选项以解决编译问题，指定额外的检查器，设置编码标准的规则，生成报告，等等。选项在这里根据分组进行组织配置在Polyspace桌面产品的用户界面中。下载188bet金宝搏
您可以通过使用Polyspace桌面用户界面、Polyspace命令行界面或选项文件来指定分析选项。
Polyspace用户界面:要更改项目模块的分析选项，请在项目浏览器,选择配置模块节点。在配置窗格中，根据需要更改选项。看到在Polyspace桌面用户界面中运行分析．
命令行:从命令行运行Polyspace分析时，若要指定分析选项，请将这些选项追加到
polyspace-bug-finder或polyspace-bug-finder-server．看到从命令行运行Polyspace分析．选择文件选项文件是一个文本文件，每行有一个选项值对。您可以在命令行中指定一个选项文件作为该选项的值，而不是显式地枚举许多选项
选项文件．看到Polyspace分析的选项文件．
有关Polyspace作为您编码插件或扩展可用的ide特定设置的信息，请参见在ide中建立多元空间分析．
常见的工作流
你也可以从以下列表中选择一个网站:
