主要内容

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

检查 MISRA C++:2008 (-misra-cpp)

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

描述

指定是否检查违反 MISRA™ C++:2008 规则的情形 1 .此选项的每个值对应一个要检查的规则子集。

设置选项

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

为何使用此选项

使用此选项指定要检查的 MISRA C++ 规则子集。

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

设置

默认值:required-rules

required-rules

检查必需编码规则。

all-rules

检查必需和建议编码规则。

SQO-subset1

仅检查 MISRA C++ 规则的子集。有关详细信息,请参阅Software Quality Objective Subsets for MISRA Coding Standards

SQO-subset2

检查规则的子集,包括 SQO-subset1 以及某些附加规则。有关详细信息,请参阅Software Quality Objective Subsets for MISRA Coding Standards

from-file

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

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

如果您将选项设置为 from-file,请启用使用文件设置检查项 (-checkers-selection-file)

依赖关系

仅在您将源代码语言 (-lang) 设置为 CPPC-CPP 时,此选项才可用。

对于具有混合 C 和 C++ 代码的工程,MISRA C++ 检查项仅分析 .cpp 文件。

命令行信息

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

参数:-misra-cpp
值:required-rules | all-rules | SQO-subset1 | SQO-subset2 | from-file
示例 (Bug Finder):polyspace-bug-finder -sources file_name -misra-cpp all-rules
示例 (Bug Finder Server):polyspace-bug-finder-server -sources file_name -misra-cpp all-rules

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

版本历史记录

全部展开


1 MISRA is a registered trademark of MIRA Ltd., held on behalf of the MISRA Consortium.