25、代码规则审查与合规性指南

代码规则审查与合规性指南

1. 审查编码规则违规情况

在完成代码分析后，我们可以在结果列表窗格中查看违反编码标准的情况。具体操作步骤如下：
1. 分析完成后，在结果列表窗格中找到编码标准违规项。
2. 选择某一违规项，此时可以在结果详情窗格中查看该违规的详细信息，同时在源代码窗格中查看对应的源代码。在源代码中，违反编码标准的地方会有特定图标指示。

若要了解后续步骤，可参考“审查分析结果”或“在 Web 浏览器中审查 Polyspace 代码验证器结果”。

2. 生成报告

我们可以使用专门为编码标准定义的模板来生成报告，推荐使用 CodingStandards 模板。该模板具有以下特点：
- 仅报告分析结果中的编码标准违规情况，忽略其他类型的结果，如缺陷、运行时错误或代码指标。
- 为每个编码标准在报告中创建单独的章节，该章节会先概述该标准的所有违规情况，然后列出每个违规项。

若要指定报告模板，可使用选项 Bug Finder and Code Prover report (-report-template) 。

3. 避免违反 MISRA C:2012 规则 8.x

需要注意的是，在未来的版本中，代码验证器将不再支持检查 MISRA C:2012 规则，建议迁移到 Bug Finder 进行这些编码规则的检查。MISRA C:2012 规则 8.1 - 8.14 规定了声明和定义方面的良好编码实践，遵循这些实践可以减少声明冲突和意外修改变量的可能性。以下是一些具体规则及示例：
1. <