VIP10

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

查看所属VIP全部课程 →

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

静态代码分析与MISRA C2012合规检查工程实战

共计 30 章节

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

为什么需要静态代码分析？MISRA… · 课程目标与学习路径

课程导论MISRA

MISRA C 2012核心规则概览

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

开发环境搭建

PC-lint / FlexeLin… · Cppcheck 安装与配置 · Clang Static Analy…

开发环境搭建PC-lint

第一个静态分析实战

编写一个包含MISRA违规的简单C程… · 使用Cppcheck进行扫描 · 解读第一个警告

第一个静态分析实…MISRA

规则详解 - 声明与类型（Dir 4.1, Rule 8.x）

char类型的使用限制 · 隐式类型转换 · 位域的实现定义行为

规则详解 - 初始化（Rule 9.x）

所有自动变量必须初始化 · 结构体和联合体的初始化规则 · 设计模式

Rule规则详解

规则详解 - 表达式与控制流（Rule 10.x, 14.x, 15.x）

布尔表达式的严格使用 · switch语句的fall-thro… · 循环控制变量

Rule规则详解

规则详解 - 指针与数组（Rule 11.x, 18.x）

指针算术运算限制 · 数组下标越界检查 · NULL指针解引用

Rule规则详解

规则详解 - 预处理与宏（Rule 20.x）

#include保护 · 宏定义中的括号陷阱 · 条件编译的合规写法

Rule规则详解

规则详解 - 函数与作用域（Rule 16.x, 17.x）

函数参数个数限制 · 递归的限制 · 非中断函数声明

Rule规则详解

嵌入式启动代码分析 - 分析一个AR… · 修复MISRA违规

状态机实现 - 使用MISRA合规的… · 对比非合规写法

实战案例MISRA

通信协议解析 - 解析CAN总线数据… · 处理字节序和对齐问题 · 确保MISRA合规

实战案例CAN

静态分析工具深度配置

创建自定义规则集 · 抑制误报（suppress） · 基线管理（baseline）

静态分析工具深度…创建自定义规则集

将静态分析集成到Jenkins/Gi… · 门禁机制 · 自动生成报告

代码审查与静态分析协同

如何利用静态分析结果提升Code R… · 常见争议点处理

代码审查静态分析协同

MISRA C 2012与安全标准

与ISO 26262（汽车） · IEC 61508（工业）的关系 · ASIL等级对应

规则偏差申请流程

何时可以偏离规则？如何编写合规的偏差…

规则偏差申请流程何时可以偏离规则…

MISRA C 2012 Amend… · 对C11/C18的支持

高级主题MISRA

静态分析中的误报与漏报 - 如何评估… · TP · FP

高级主题静态分析

RTOS任务管理 - 分析FreeR… · 确保MISRA合规

实战案例RTOS

内存管理 - 实现一个MISRA合规… · 避免动态内存

实战案例MISRA

加密算法实现 - AES-128的M… · 处理常量表与位操作

实战案例AES-128

多文件项目分析

处理跨文件依赖 · 全局变量分析 · 接口一致性检查

多文件项目分析处理跨文件依赖

代码度量与MISRA

圈复杂度 · 静态路径计数 · 注释密度与MISRA合规的关系

MISRA代码度量

工具链对比

PC-lint vs Cppchec… · 选型指南

工具链对比PC-lint

MISRA C 2012与C++

MISRA C++ 2023简介 · C与C++混合项目的合规策略

团队培训与流程建设

如何建立团队的MISRA合规文化 · 培训材料设计

团队培训流程建设

认证与审计准备

如何准备MISRA合规审计 · 文档清单 · 证据链管理

认证审计准备

课程总结与展望

回顾核心知识点 · 未来趋势（AI辅助静态分析） · 持续学习资源

课程总结回顾核心知识点