VIP10

本课程属于：128-MISRAC2012规范详解与合规性编码实战 嵌入式基础与RISC-V · 共 10 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

项目落地中的MISRA C2012合规检查实战

共计 30 章节

点击此处阅读海量试读课程：100+行业、1000+细分领域

MISRA C的前世今生

为什么要有MISRA C？MISRA… · MISRA C在汽车电子 · 医疗

MISRAC的前世今生

MISRA C2012核心规则体系

规则分类（强制 · 必要 · 建议）

开发环境搭建与工具链选择

主流静态分析工具对比（PC-lint · QAC · Coverity

开发环境搭建工具链选择

规则10.1-10.3

整数类型转换与隐式转换陷阱 · 有符号与无符号混用的风险 · 实际项目中的隐式转换bug案例

规则12.1-12.3

表达式求值顺序与副作用 · 序列点概念 · 逗号表达式与逻辑运算符的短路求值

规则13.1-13.6

指针与数组的合规使用 · 指向不同对象的指针比较 · void*指针的滥用

规则14.1-14.4

控制流与循环的合规性 · 无限循环的合规写法 · goto语句的严格限制

规则15.1-15.7

switch语句的陷阱 · default分支的必要性 · switch嵌套的复杂度控制

规则16.1-16.7

函数设计与接口规范：函数参数个数限制 · 无参数函数的声明方式 · 函数返回值的合规使用

规则17.1-17.8

宏定义与预处理器的陷阱 · #和##运算符的风险 · 条件编译的嵌套限制

规则18.1-18.8

声明与定义的一致性 · 头文件保护符 · 重复声明的合规检查

规则19.1-19.4

复合语句与作用域管理 · 悬空else问题 · 空语句的合规写法

规则20.1-20.12

标准库函数的安全使用 · 动态内存分配的限制 · setjmp/longjmp的禁用

规则21.1-21.12

运行时错误与断言：断言的使用规范 · 除零错误预防 · 数组越界的静态检测

规则22.1-22.6

资源管理与内存安全 · 资源泄漏检测 · RAII模式在C语言中的模拟

代码可追溯性与文档化 · 合规性文档的生成 · 审计准备

代码复杂度控制 · 嵌套深度的限制 · 如何重构高复杂度函数

代码注释与自文档化：注释的合规要求 · 函数头注释模板 · 避免误导性注释

从零开始配置MISRA C2012检… · 规则抑制（Suppression）的…

实战案例1MISRA

嵌入式MCU驱动代码的MISRA合规… · 中断服务函数的特殊规则

实战案例2MCU

通信协议栈的MISRA合规检查 · 校验和计算的合规实现 · 状态机的MISRA友好写法

实战案例3MISRA

RTOS内核代码的MISRA合规挑战 · 临界区保护的合规实现

实战案例4RTOS

静态分析工具深度使用

PC-lint的配置文件编写 · QAC的自定义规则开发 · SonarQube的MISRA插件配…

静态分析工具深度…PC-lint

误报分析与规则抑制策略

如何区分真阳性与假阳性 · 规则抑制的文档化流程 · 团队评审机制

误报分析规则抑制策略

MISRA合规与单元测试的结合

Tessy · CUnit等工具的MISRA合规测试 · 测试覆盖率与MISRA规则的关联

持续集成中的MISRA检查

Jenkins/GitLab CI中… · 门禁机制（Quality Gate）… · 违规趋势分析

MISRA持续集成

MISRA合规审计准备

审计 checklist · 合规性报告模板 · 常见审计问题与应对策略

MISRA合规审计准备

MISRA C2012与C11/C18标准的兼容性

新标准特性（_Generic · static_assert）的MIS… · 如何更新规则集

团队MISRA文化建设

代码评审中的MISRA检查 · 新人培训计划 · MISRA合规的绩效考核指标

总结与展望

MISRA C2012的局限性 · MISRA C202x的演进方向 · 从MISRA到更广泛的安全编码实践