检查 JSF AV C++ 规则 (-jsf-coding-rules)

从 R2019a 开始，用来自定义编码标准检查项选择的文件必须使用 XML 格式。为此目的使用文本文件会导致错误。您可以将 Polyspace 支持的所有编码标准的自定义选择保存到同一文件中。

桌面端界面：

如果您的工程包含采用文本格式的自定义编码标准选择文件，则 Polyspace 会自动更新这些文件并将其合并为单个 XML 文件。如果您的工程具有引用同一自定义选择文件的多个冲突配置，则该软件会将每个配置的合并编码标准选择保存到单独的 XML 文件中。

要手动将您的文本文件更新为 XML 格式，请在配置窗格的编码标准和代码度量节点中点击 。在检查项选择窗口中，选择相应的文件并点击保存更改。Polyspace 会将这些文件合并为单个 XML 文件，并将此文件保存为 filename.xml，其中，filename 是按字母顺序排列的第一个选定文件的名称。例如，如果您选择 foo.conf 和 bar.conf，则它们将被保存为 bar.conf.xml。

命令行/ IDE：

在命令行或 IDE 扩展中，使用文本文件作为 -jsf-coding-rules 的输入会导致错误。要选择 JSF C++ 规则的自定义选择，请使用 XML 文件。

使用 jsf_av_cpp.xml 文件作为模板来创建 XML 文件，在其中定义编码标准检查项的自定义选择。此模板文件位于 polyspaceroot\polyspace\examples\doc_cxx\coding_standards_XML 中。其中，polyspaceserverroot 是 Polyspace 产品的根安装文件夹，例如 C:\Program Files\Polyspace\R2025b。要更新您的脚本，请参阅下表：

请参阅：

 XML 格式的配置文件示例

<standard name="MISRA C:2012">
  ...
  <section name="8 Declarations and definitions">
      ...
      <check id="8.1" state="on">
      </check>
      ...
  </section>
  ...
</standard>

从 R2019a 开始，用来自定义编码标准检查项选择的文件必须使用 XML 格式。您可以将 Polyspace 支持的所有编码标准的自定义选择保存到同一文件中。如果您使用文本文件，则 Polyspace 会发出警告并将文本文件转换为 XML。