检查 AUTOSAR C++ 14 (-autosar-cpp14)
检查 AUTOSAR C++ 14 违规
描述
此选项仅影响 Bug Finder。
指定是否检查 AUTOSAR C++ 14 违规。此选项的每个值对应一个要检查的规范子集。
设置选项
使用以下方法之一设置选项：
Polyspace® 用户界面（仅限桌面端产品）：在您的工程配置中，选择编码标准和代码度量节点，然后为此选项选择一个值。有关您必须先启用的其他选项，请参阅依赖关系。
Polyspace 平台用户界面（仅限桌面端产品）：工程配置中不存在此选项。通过
使用自定义检查项文件和检查项激活文件 (-checkers-activation-file)选项激活检查项。
为何使用此选项
使用此选项可指定要检查的 AUTOSAR C++ 14 规则子集1 .
分析完成后，结果列表窗格中会列出检测到的编码标准违规。在源窗格中，对于每项编码标准违规，Polyspace 都会为与该违规相关的关键字或标识符显示一个 
符号。
设置
默认值：all
- all
检查是否存在 Polyspace 支持的任何 AUTOSAR C++ 14 违规情形。
请参阅 AUTOSAR C++14 规则。
- required
检查是否存在违反必需规则的情形。
这些规则是施加于代码上的强制性要求。这种规则分类来自 AUTOSAR C++14 规范。
- automated
检查是否存在违反自动规则的情形。
您可以通过静态分析自动执行这些规则。这种规则分类来自 AUTOSAR C++14 规范。
请注意，并非 required 类别中的所有规则都会出现在 automated 类别中。对于 AUTOSAR C++14 视为非自动化规则的那些规则，Bug Finder 仅显示实际违规的子集。
- from-file
指定一个 XML 文件，您可以在其中针对此编码标准配置自定义检查项选择。要创建配置文件，请点击
，然后从检查项选择窗口的右侧窗格中，选择此编码标准中要检查的规则。保存该文件。 要使用或更新某个现有配置文件，请在检查项选择窗口中，在提供的字段中输入该文件的完整路径，或者点击浏览。
如果您将选项设置为 from-file，请启用
使用文件设置检查项 (-checkers-selection-file)。
依赖关系
仅在您将
源代码语言 (-lang)设置为 CPP 或 C-CPP 时，此选项才可用。
命令行信息
在命令行中使用 -autosar-cpp14 命令检查是否存在 AUTOSAR C++ 14 违规。
参数：-autosar-cpp14 |
值：all | required | automated | from-file |
示例 (Bug Finder)：polyspace-bug-finder -lang cpp -sources |
示例 (Bug Finder Server)：polyspace-bug-finder-server -lang cpp -sources |
或者，通过检查项激活 XML 文件来启用所有或特定 AUTOSAR C++ 14 规则。请参阅检查项激活文件 (-checkers-activation-file)。
1 The Polyspace checkers for AUTOSAR C++14 rules supports AUTOSAR C++14 release 18-10 (October 2018). Out of 397 rules from the standard, 308 rules are supported.
