27、早期分析中检查的编码规则子集

早期分析中检查的编码规则子集

1. 编码规则检查概述

在分析的初始编译阶段，可对一些无需运行时错误检测的编码规则进行检查。若仅需检查这些规则，分析速度会快很多。未来版本中，Code prover 将不再支持检查编码规则，建议迁移至 Bug Finder 进行编码规则检查。

1.1 预定义规则子集

软件提供了两个预定义的规则子集，可通过以下选项使用：
- Check MISRA C:2004 (-misra2)
- Check MISRA AC AGC (-misra-ac-agc)
- Check MISRA C:2012 (-misra3)

1.2 规则子集参数说明

参数	目的
single-unit-rules	检查仅适用于单个翻译单元的规则。若仅检测编码规则违规并选择此子集，Bug Finder 分析将在编译阶段后停止。
system-decidable-rules	检查 single-unit-rules 子集中的规则以及一些适用于程序文件集合的规则。这些额外规则是集成级别适用的较简单规则，因为涉及多个翻译单元，所以只能在集成级别检查。若仅检测编码规则违规并选择此子集，Bug Finder 分析将在链接阶段后停止。

2. MISR