Main Content

本页翻译不是最新的。点击此处可查看最新英文版本。

Polyspace Bug Finder 分析引擎选项的完整列表

配置 Polyspace® Bug Finder™ 分析

使用 Polyspace 时，您可能希望更改某些默认分析选项。您可以更改选项来解决编译问题、指定额外的检查项、基于编码标准设置规则、生成报告，等等。这里按 Polyspace 桌面端产品用户界面配置窗格中的组织形式列出了可用选项。

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

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

  • 命令行：要在从命令行运行 Polyspace 分析时指定分析选项，请将选项追加到 polyspace-bug-finder 或 polyspace-bug-finder-server 的后面。请参阅从命令行运行 Polyspace 分析。

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

有关可通过 Polyspace as You Code 插件或扩展使用的 IDE 特定设置的详细信息，请参阅在 IDE 中设置 Polyspace 分析。

常用工作流

类别