检查 MISRA C++:2008 (-misra-cpp
)
检查是否存在违反 MISRA C++ 规则的情形
描述
指定是否检查违反 MISRA™ C++:2008 规则的情形 1 .此选项的每个值对应一个要检查的规则子集。
设置选项
使用以下方法之一设置选项:
Polyspace® 用户界面(仅限桌面端产品):在您的工程配置中,选择编码标准和代码度量节点,然后为此选项选择一个值。有关您必须先启用的其他选项,请参阅依赖关系。
Polyspace 平台用户界面(仅限桌面端产品):工程配置中不存在此选项。通过
使用自定义检查项文件
和检查项激活文件 (-checkers-activation-file)
选项激活检查项。
为何使用此选项
使用此选项指定要检查的 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)
。
命令行信息
在命令行中使用 -misra-cpp
命令检查是否存在违反 MISRA C++ 规则的情形。
参数:-misra-cpp |
值:required-rules | all-rules | SQO-subset1 | SQO-subset2 | from-file |
示例 (Bug Finder):polyspace-bug-finder -sources |
示例 (Bug Finder Server):polyspace-bug-finder-server -sources |
或者,通过检查项激活 XML 文件来启用所有或特定 MISRA C++ 规则。请参阅检查项激活文件 (-checkers-activation-file)
。
版本历史记录
1 MISRA is a registered trademark of MIRA Ltd., held on behalf of the MISRA Consortium.