2. 合规性基础：合规等级、偏差许可与文档要求

各位同学，咱们今天聊点实在的。MISRA C 规范不是一本天书，它是一套工程实践的总结。但很多团队拿到规范后，第一个困惑就是：这上面写的“必须”、“应该”、“建议”到底有什么区别？我是不是每条都得照做？

说实话，我刚开始带项目时也犯过这个迷糊。有一次评审会上，一个同事指着一条 Advisory 规则说“这个必须改”，另一个同事说“这是建议，不改也行”。两人争得面红耳赤。后来我才意识到，问题出在大家对合规等级的理解不一致。

所以这一章，咱们就把 MISRA C:2012 的合规等级、偏差许可流程和文档要求彻底讲透。你想想看，如果连规则本身的约束力都搞不清楚，后面的合规工作肯定要翻车。

2.1 三条红线：Mandatory / Required / Advisory

MISRA C:2012 把规则分成三个等级。说白了，就是告诉你这条规则到底有多“硬”。

合规等级	约束力	违反后果	典型场景
Mandatory	绝对必须遵守	直接判定不合规	语言核心安全、未定义行为
Required	必须遵守，可申请偏差	需偏差许可才能豁免	编码风格、类型使用
Advisory	建议遵守	可偏离，但需记录理由	代码可读性、最佳实践

Mandatory 是红线中的红线。比如规则 1.1（所有代码必须符合 ISO C 标准），这条没有任何商量余地。我在项目中遇到过有人试图用编译器扩展绕过这条，结果被客户审计直接打回。嗯，从那以后我再也不敢碰 Mandatory 规则的红线。

Required 是主力军。MISRA C:2012 里大部分规则都是 Required 等级。它们必须被遵守，但如果你有充分的理由，可以通过正式的偏差许可流程来豁免。我个人习惯把 Required 规则当作“默认必须执行，例外走流程”。

Advisory 是建议项。比如规则 8.2（函数声明应包含参数名称）。这条不遵守不会导致安全问题，但会影响代码可读性。我建议团队把 Advisory 规则也纳入静态检查，但允许开发人员在不影响安全的前提下自行决定是否偏离。

2.2 偏差许可流程：什么时候可以“违规”？

你可能会问：既然规则这么严格，那遇到特殊情况怎么办？比如某个 Required 规则在特定硬件平台上确实无法满足。

这就是偏差许可（Deviation）存在的意义。它不是让你钻空子，而是提供一条正式的、可追溯的豁免通道。

我曾经在一个 DSP 项目上遇到过规则 10.1（操作数不能有隐式类型转换）。那个 DSP 的硬件乘法器要求输入必须是特定类型，不做隐式转换根本跑不动。怎么办？走偏差流程。

一个完整的偏差许可流程包含以下步骤：

1. 识别偏差需求 — 发现某条 Required 规则无法满足
2. 分析影响 — 评估偏离该规则对安全、功能、性能的影响
3. 提出替代方案 — 说明用什么方式弥补规则缺失的安全保障
4. 编写偏差文档 — 记录规则编号、偏离原因、替代措施
5. 评审与批准 — 由技术负责人和安全专家共同评审
6. 纳入合规记录 — 偏差文档作为合规证据的一部分存档

2.3 合规文档：你的“护身符”

很多团队把合规文档当成负担，觉得“代码写好了就行，文档是形式主义”。我告诉你，这是大错特错。

合规文档不是写给领导看的，是写给审计专家看的。也是写给你自己看的——半年后你回头维护代码时，文档能帮你回忆起当初为什么这么设计。

MISRA C 合规文档至少需要包含以下内容：

• 合规声明 — 明确声明项目遵循 MISRA C:2012 的哪个版本
• 规则覆盖矩阵 — 列出所有规则及其合规状态（已遵守/已偏差/不适用）
• 偏差记录 — 每个偏差的详细说明、批准人、批准日期
• 静态分析报告 — 工具检查结果，证明规则已被执行
• 代码审查记录 — 人工审查中发现的规则违反及整改情况

2.4 知识体系总览

下面这张图把本章的核心逻辑串起来了。你可以把它当作合规工作的“导航图”。

2.5 实战建议：如何落地？

讲完了理论，咱们聊聊怎么落地。我个人的经验是分三步走：

第一步：建立规则基线。 把 MISRA C:2012 的所有规则导入静态分析工具，先全部开启。然后根据项目实际情况，逐条评审哪些规则不适用（比如某些规则只针对 C99，而项目用 C11）。不适用的规则要明确标注并记录理由。

第二步：定义偏差审批权。 谁有权批准偏差？我建议：Advisory 规则的偏差由技术组长批准，Required 规则的偏差必须由技术负责人和安全专家共同批准。Mandatory 规则不允许偏差，这条要写进项目章程。

第三步：文档自动化。 别用手工维护合规文档。用工具自动生成规则覆盖矩阵和静态分析报告。偏差记录可以用专门的追踪系统管理。我见过一个团队用 Excel 管偏差，结果版本混乱，审计时根本对不上号。