检查 SEI CERT-C++ (`-cert-cpp`)

检查是否存在违反 CERT C++ 规则的情形

描述

此选项仅影响 Bug Finder。

指定是否检查违反 CERT^® C++ 规则的情形。

使用以下方法之一设置选项：

Polyspace^® 用户界面（仅限桌面端产品）：在您的工程配置中，选择编码标准和代码度量节点，然后为此选项选择一个值。有关您必须先启用的其他选项，请参阅依赖关系。
Polyspace 平台用户界面（仅限桌面端产品）：工程配置中不存在此选项。通过使用自定义检查项文件和检查项激活文件 (-checkers-activation-file) 选项激活检查项。
命令行和选项文件：请使用 -cert-cpp 选项。请参阅命令行信息。

使用此选项指定代码中要检查的 CERT C++ 规则子集。

分析完成后，结果列表窗格中会列出检测到的编码标准违规。在源窗格中，对于每项编码标准违规，Polyspace 都会为与该违规相关的关键字或标识符显示一个符号。

默认值：all

all

检查是否存在违反 Polyspace 支持的任何 CERT C++ 规则的情形。

from-file

指定一个 XML 文件，您可以在其中针对此编码标准配置自定义检查项选择。要创建配置文件，请点击，然后从检查项选择窗口的右侧窗格中，选择此编码标准中要检查的规则。保存该文件。

要使用或更新某个现有配置文件，请在检查项选择窗口中，在提供的字段中输入该文件的完整路径，或者点击浏览。

仅在您设置为 CPP 或 C-CPP 时，此选项才可用。
对于具有混合 C 和 C++ 代码的工程，SEI CERT-C++ 检查项仅分析 .cpp 文件。

在命令行中使用 -cert-cpp 命令检查是否存在违反 CERT C++ 规则的情形。

参数：-cert-cpp

值：all | from-file |

示例 (Bug Finder)：polyspace-bug-finder -lang cpp -sources file_name -cert-cpp all

示例 (Bug Finder Server)：polyspace-bug-finder-server -lang cpp -sources file_name -cert-cpp all

或者，通过检查项激活 XML 文件来启用所有或特定 CERT C++ 规则。请参阅检查项激活文件 (-checkers-activation-file)。