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