MISRA C:2012 规范详解系列导读本系列面向嵌入式 C 开发者逐条拆解 MISRA C:2012 的全部 143 条规则Rule每条配「违规示例 合规改法」并标注等级、可判定性以及 cppcheck 能否自动检测。16 条指令Directive以速查表形式集中呈现。一、MISRA-C 是什么为什么嵌入式必须认识它MISRA是「汽车工业软件可靠性协会」Motor Industry Software Reliability Association的缩写。它发布了一套 C 语言编程规范目标只有一个把 C 语言里那些「看似能用、实则埋雷」的写法圈起来别踩。C 是一门「信任程序员」的语言——它允许你把int当char用、允许if (a b)这种把赋值写进判断的写法、允许指针乱指。在桌面程序里错了顶多崩溃弹窗但在汽车、工业控制、医疗、航空航天这类安全关键系统里一次未定义行为可能就是一次事故。MISRA-C 的哲学可以用一句话概括写出来的代码要么是明确的、可预测的要么就别写。MISRA C:2012 是当前最主流的版本2013 年发布对应 C99之后还有 2016 年的 AMD1 和 2020 年的 AMD2 修订。它把规范分成了两类类型数量说明Rule规则143 条可以对应到具体代码写法、能用静态分析工具检查的硬性/建议性要求Directive指令16 条偏工程过程的要求文档化、配置管理、代码评审多数无法纯靠工具判定一句话区分Rule 管「代码怎么写」Directive 管「工程怎么管」。本系列正文聚焦 143 条 Rule16 条 Directive 在本文末尾速查。二、三条关键分类读正文前先记住MISRA 每条规范都带两个独立标签理解它们才能看懂本系列的标注。2.1 等级Category——「必须 vs 应该」等级英文含义违反后果强制Mandatory没有商量余地必须遵守不允许偏离deviation必需Required必须遵守若偏离需走正式的偏离流程deviation procedure建议Advisory强烈建议属于「好习惯」偏离只需记录通常不需要正式审批记忆口诀Mandatory 是「法律」Required 是「公司制度」Advisory 是「前辈忠告」。本系列用 强制/必需/建议 三个中文标签标注。2.2 可判定性Decidability——「工具能查 vs 人肉审查」可判定性含义检查手段Decidable可判定规则是否违反可由静态分析工具确定性地给出结论工具cppcheck / PC-lint / Coverity 等Undecidable不可判定需要理解程序意图才能判断工具只能「告警提示」人工审查 工具辅助这条分类决定了你在 CI 里能自动化多少。本系列的 cppcheck 标注即由此推导工具可检Decidable——cppcheck 的misra插件原则上可自动判定具体覆盖以插件支持列表为准见下文第三节需人工审查Undecidable——工具顶多给启发式告警最终结论要人拍板。小提醒别迷信「Decidable 一定能自动查」。cppcheck 对 Decidable 规则是大部分覆盖个别规则仍可能没实现把 cppcheck 当「第一道网」人工评审兜底才是稳妥姿势。2.3 还有一个隐藏属性Amplification扩展分类MISRA 还按「规则针对哪类问题」给每条规则打了扩展标签例如Undefined / Unspecified针对 C 标准里的未定义/未指定行为Implementation针对实现定义行为Required / Advisory对某类「本就不该用」特性的强制/建议限制。正文不逐条罗列这个标签太啰嗦但你在阅读时会看到规则说明里自然体现它针对的是哪类坑。三、cppcheck 怎么用起来查 MISRAcppcheck 是免费开源的 C/C 静态分析工具通过misra插件支持 MISRA C:2012 检查。3.1 命令行# 基础用法检查单个目录输出 MISRA 违规cppcheck--addonmisra--enablewarning,style,portability\--suppressmissingIncludeSystem\src/# 指定 C99 标准MISRA C:2012 基于 C99cppcheck--stdc99--addonmisra src/# 只关心 MISRA抑制其他检查输出到报告文件cppcheck--addonmisra--enableall --output-filemisra_report.txt src/3.2 规则选择与偏离misra 插件支持通过配置文件指定「启用哪些规则」。创建一个misra.json{script:misra.py,args:[--rule-textsmisra2012_rules.txt]}而misra2012_rules.txt里可以逐条列出要启用的规则编号Rule 8.1,Rule 8.2…没列出的规则不检查——这就是**「偏离」的落地方式**把团队评审后决定不强制执行的规则从检查清单里摘出去。3.3 局限务必心里有数不可判定规则查不彻底——Undecidable 规则 cppcheck 只能给提示误报漏报都可能有不检查 Directive——16 条指令是工程过程要求工具管不了基础类型模型第 10 章支持有限——essential type 推导复杂cppcheck 对部分 10.x 规则的检查不完整需要干净的编译环境——头文件缺失会干扰分析建议先保证能编译。结论cppcheck 是很好的「守门员」但不是「裁判」。用它把 Decidable 规则挡住把 Undecidable 规则交给评审把 Directive 交给流程三者缺一不可。四、16 条指令Directive速查表指令是「工程怎么管」的要求多数要落到开发流程、文档和评审里工具帮不上忙。速查如下编号等级中文要点一句话解读Dir 1.1Required实现定义行为的文档化依赖编译器特性的行为必须写文档说清楚Dir 2.1Required源文件必须无编译错误零警告零错误才准进版本库底线中的底线Dir 3.1Required代码可追溯到需求每段代码都能反查「为哪个需求而写」Dir 4.1Required最小化运行时故障边界、除零、空指针能防则防Dir 4.2Advisory汇编使用要文档化内嵌汇编必须说明用途Dir 4.3Required汇编要封装隔离汇编代码集中到独立文件/函数别散落Dir 4.4Advisory不要注释掉代码段死代码直接删交给版本库记忆Dir 4.5Advisory标识符避免易混淆同一可见范围内别用l/1/I这种孪生兄弟Dir 4.6Advisory用 typedef 代替裸类型用uint32_t而不是unsigned intDir 4.7Required错误信息必须检查函数返回错误码调用方必须判断Dir 4.8Advisory隐藏不透明结构实现不对外解引用的结构体藏起来Dir 4.9Advisory能用函数就别用函数宏宏是文本替换副作用多优先函数Dir 4.10Required头文件防重复包含#ifndef或#pragma once必须上Dir 4.11Required库函数入参合法性检查传给memcpy/strcpy的参数先验合法Dir 4.12Required禁止动态内存分配嵌入式里malloc是定时炸弹Dir 4.13Advisory资源操作按正确顺序调用open→use→close别乱序工程落地上Dir 4.12禁动态内存和 Dir 4.10防重复包含是最容易「一句话就懂、一条不改就出事」的两条务必优先钉死。五、系列导航本系列按 MISRA C:2012 的 22 章主题合并为 5 篇正文每篇覆盖若干章、若干条规则篇目覆盖章节规则数主题专栏01语言基础第 1~5 章23标准环境、未使用代码、注释、字符集、标识符专栏02类型系统第 6~10 章33类型、字面量、声明定义、初始化、基本类型模型专栏03表达式与求值第 11~14 章23指针转换、表达式、副作用、控制表达式专栏04控制流与函数第 15~18 章30控制流、switch、函数、指针与数组专栏05高级主题第 19~22 章34重叠存储、预处理、标准库、资源专栏062023/2025 更新总览相对 2012 的差异—C11/C18、多线程/原子、Generic Selections、安全/浮点指令专栏 01~05 合计 143 条规则与 MISRA C:2012 原版一致专栏 06补充 2023/2025 相对 2012 的更新多线程、_Generic、C11/C18 等。阅读约定每一条规则按统一格式展开### Rule X.Y 中文标题English Title 等级必需 可判定Decidable cppcheck 工具可检 **规则**一句话讲清楚要求。 **为什么**背后埋的坑。 **❌ 违规** 【代码】 **✅ 合规** 【代码】代码示例均为独立、可直接编译的最小片段不涉及任何具体项目「违规示例」标注/* ✗ 违规 */「合规示例」标注/* ✓ 合规 */等级用「强制 / 必需 / 建议」对应 Mandatory / Required / Advisory。六、写在前面的一句实话MISRA-C 不是「让你写得更快」的规范而是「让你半夜不接报警电话」的规范。初看会觉得它啰嗦——else必须有、default必须有、goto不让用、宏要加括号……但每一条背后都是某个真实项目里流过的血。程序员分两种被 MISRA 折磨过的和即将被 MISRA 折磨的。看完这个系列希望你能从后者变成前者——至少知道每把刀为什么立在这里。下一站专栏01语言基础第 1~5 章。 MISRA C:2012 规范详解（系列导读）
MISRA C:2012 规范详解系列导读本系列面向嵌入式 C 开发者逐条拆解 MISRA C:2012 的全部 143 条规则Rule每条配「违规示例 合规改法」并标注等级、可判定性以及 cppcheck 能否自动检测。16 条指令Directive以速查表形式集中呈现。一、MISRA-C 是什么为什么嵌入式必须认识它MISRA是「汽车工业软件可靠性协会」Motor Industry Software Reliability Association的缩写。它发布了一套 C 语言编程规范目标只有一个把 C 语言里那些「看似能用、实则埋雷」的写法圈起来别踩。C 是一门「信任程序员」的语言——它允许你把int当char用、允许if (a b)这种把赋值写进判断的写法、允许指针乱指。在桌面程序里错了顶多崩溃弹窗但在汽车、工业控制、医疗、航空航天这类安全关键系统里一次未定义行为可能就是一次事故。MISRA-C 的哲学可以用一句话概括写出来的代码要么是明确的、可预测的要么就别写。MISRA C:2012 是当前最主流的版本2013 年发布对应 C99之后还有 2016 年的 AMD1 和 2020 年的 AMD2 修订。它把规范分成了两类类型数量说明Rule规则143 条可以对应到具体代码写法、能用静态分析工具检查的硬性/建议性要求Directive指令16 条偏工程过程的要求文档化、配置管理、代码评审多数无法纯靠工具判定一句话区分Rule 管「代码怎么写」Directive 管「工程怎么管」。本系列正文聚焦 143 条 Rule16 条 Directive 在本文末尾速查。二、三条关键分类读正文前先记住MISRA 每条规范都带两个独立标签理解它们才能看懂本系列的标注。2.1 等级Category——「必须 vs 应该」等级英文含义违反后果强制Mandatory没有商量余地必须遵守不允许偏离deviation必需Required必须遵守若偏离需走正式的偏离流程deviation procedure建议Advisory强烈建议属于「好习惯」偏离只需记录通常不需要正式审批记忆口诀Mandatory 是「法律」Required 是「公司制度」Advisory 是「前辈忠告」。本系列用 强制/必需/建议 三个中文标签标注。2.2 可判定性Decidability——「工具能查 vs 人肉审查」可判定性含义检查手段Decidable可判定规则是否违反可由静态分析工具确定性地给出结论工具cppcheck / PC-lint / Coverity 等Undecidable不可判定需要理解程序意图才能判断工具只能「告警提示」人工审查 工具辅助这条分类决定了你在 CI 里能自动化多少。本系列的 cppcheck 标注即由此推导工具可检Decidable——cppcheck 的misra插件原则上可自动判定具体覆盖以插件支持列表为准见下文第三节需人工审查Undecidable——工具顶多给启发式告警最终结论要人拍板。小提醒别迷信「Decidable 一定能自动查」。cppcheck 对 Decidable 规则是大部分覆盖个别规则仍可能没实现把 cppcheck 当「第一道网」人工评审兜底才是稳妥姿势。2.3 还有一个隐藏属性Amplification扩展分类MISRA 还按「规则针对哪类问题」给每条规则打了扩展标签例如Undefined / Unspecified针对 C 标准里的未定义/未指定行为Implementation针对实现定义行为Required / Advisory对某类「本就不该用」特性的强制/建议限制。正文不逐条罗列这个标签太啰嗦但你在阅读时会看到规则说明里自然体现它针对的是哪类坑。三、cppcheck 怎么用起来查 MISRAcppcheck 是免费开源的 C/C 静态分析工具通过misra插件支持 MISRA C:2012 检查。3.1 命令行# 基础用法检查单个目录输出 MISRA 违规cppcheck--addonmisra--enablewarning,style,portability\--suppressmissingIncludeSystem\src/# 指定 C99 标准MISRA C:2012 基于 C99cppcheck--stdc99--addonmisra src/# 只关心 MISRA抑制其他检查输出到报告文件cppcheck--addonmisra--enableall --output-filemisra_report.txt src/3.2 规则选择与偏离misra 插件支持通过配置文件指定「启用哪些规则」。创建一个misra.json{script:misra.py,args:[--rule-textsmisra2012_rules.txt]}而misra2012_rules.txt里可以逐条列出要启用的规则编号Rule 8.1,Rule 8.2…没列出的规则不检查——这就是**「偏离」的落地方式**把团队评审后决定不强制执行的规则从检查清单里摘出去。3.3 局限务必心里有数不可判定规则查不彻底——Undecidable 规则 cppcheck 只能给提示误报漏报都可能有不检查 Directive——16 条指令是工程过程要求工具管不了基础类型模型第 10 章支持有限——essential type 推导复杂cppcheck 对部分 10.x 规则的检查不完整需要干净的编译环境——头文件缺失会干扰分析建议先保证能编译。结论cppcheck 是很好的「守门员」但不是「裁判」。用它把 Decidable 规则挡住把 Undecidable 规则交给评审把 Directive 交给流程三者缺一不可。四、16 条指令Directive速查表指令是「工程怎么管」的要求多数要落到开发流程、文档和评审里工具帮不上忙。速查如下编号等级中文要点一句话解读Dir 1.1Required实现定义行为的文档化依赖编译器特性的行为必须写文档说清楚Dir 2.1Required源文件必须无编译错误零警告零错误才准进版本库底线中的底线Dir 3.1Required代码可追溯到需求每段代码都能反查「为哪个需求而写」Dir 4.1Required最小化运行时故障边界、除零、空指针能防则防Dir 4.2Advisory汇编使用要文档化内嵌汇编必须说明用途Dir 4.3Required汇编要封装隔离汇编代码集中到独立文件/函数别散落Dir 4.4Advisory不要注释掉代码段死代码直接删交给版本库记忆Dir 4.5Advisory标识符避免易混淆同一可见范围内别用l/1/I这种孪生兄弟Dir 4.6Advisory用 typedef 代替裸类型用uint32_t而不是unsigned intDir 4.7Required错误信息必须检查函数返回错误码调用方必须判断Dir 4.8Advisory隐藏不透明结构实现不对外解引用的结构体藏起来Dir 4.9Advisory能用函数就别用函数宏宏是文本替换副作用多优先函数Dir 4.10Required头文件防重复包含#ifndef或#pragma once必须上Dir 4.11Required库函数入参合法性检查传给memcpy/strcpy的参数先验合法Dir 4.12Required禁止动态内存分配嵌入式里malloc是定时炸弹Dir 4.13Advisory资源操作按正确顺序调用open→use→close别乱序工程落地上Dir 4.12禁动态内存和 Dir 4.10防重复包含是最容易「一句话就懂、一条不改就出事」的两条务必优先钉死。五、系列导航本系列按 MISRA C:2012 的 22 章主题合并为 5 篇正文每篇覆盖若干章、若干条规则篇目覆盖章节规则数主题专栏01语言基础第 1~5 章23标准环境、未使用代码、注释、字符集、标识符专栏02类型系统第 6~10 章33类型、字面量、声明定义、初始化、基本类型模型专栏03表达式与求值第 11~14 章23指针转换、表达式、副作用、控制表达式专栏04控制流与函数第 15~18 章30控制流、switch、函数、指针与数组专栏05高级主题第 19~22 章34重叠存储、预处理、标准库、资源专栏062023/2025 更新总览相对 2012 的差异—C11/C18、多线程/原子、Generic Selections、安全/浮点指令专栏 01~05 合计 143 条规则与 MISRA C:2012 原版一致专栏 06补充 2023/2025 相对 2012 的更新多线程、_Generic、C11/C18 等。阅读约定每一条规则按统一格式展开### Rule X.Y 中文标题English Title 等级必需 可判定Decidable cppcheck 工具可检 **规则**一句话讲清楚要求。 **为什么**背后埋的坑。 **❌ 违规** 【代码】 **✅ 合规** 【代码】代码示例均为独立、可直接编译的最小片段不涉及任何具体项目「违规示例」标注/* ✗ 违规 */「合规示例」标注/* ✓ 合规 */等级用「强制 / 必需 / 建议」对应 Mandatory / Required / Advisory。六、写在前面的一句实话MISRA-C 不是「让你写得更快」的规范而是「让你半夜不接报警电话」的规范。初看会觉得它啰嗦——else必须有、default必须有、goto不让用、宏要加括号……但每一条背后都是某个真实项目里流过的血。程序员分两种被 MISRA 折磨过的和即将被 MISRA 折磨的。看完这个系列希望你能从后者变成前者——至少知道每把刀为什么立在这里。下一站专栏01语言基础第 1~5 章。