首页
›
嵌入式与底层系统
›
036-嵌入式C语言与底层编程
›
《静态代码分析与MISRA C2012合规检查工程实战》
VIP21
本课程属于:036-嵌入式C语言与底层编程
嵌入式与底层系统 · 共 21 门相关课程,组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录
咨询 / 购买
📘
静态代码分析与MISRA C2012合规检查工程实战
共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入
目标=静态代码分析与MISRA C2… · 核心价值 · 整体知识框架与实战路线图
课程导入
MISRA
02
静态分析基础
目标=静态分析的定义 · 与动态测试的区别 · 常见技术原理(词法分析
静态分析基础
目标=静态分析的…
03
MISRA C2012概述
目标=MISRA的起源 · 发展历程 · MISRA C 2012的文档结构
MISRA
C2012
04
MISRA C2012规则体系详解
目标=按类别梳理必需规则 · 建议规则 · 可执行规则与不可执行规则
MISRA
C2012
05
开发环境与工具链搭建
目标=主流静态分析工具(如PC-li… · Coverity · Klocwork
开发环境
工具链搭建
06
MISRA C2012合规检查流程
目标=从项目准备 · 规则集裁剪 · 基线建立
MISRA
C2012
07
规则集裁剪与配置
目标=如何根据项目类型 · 安全等级 · 编译器特性裁剪MISRA规则
规则集裁剪
配置
08
常见MISRA C2012规则解读(一)
目标=类型与转换相关规则(如10.x · x) · 分析隐式转换
MISRA
C2012
09
常见MISRA C2012规则解读(二)
目标=控制流与表达式相关规则(如13… · x · x)
MISRA
C2012
10
常见MISRA C2012规则解读(三)
目标=指针与数组相关规则(如17.x · x) · 涵盖指针运算
MISRA
C2012
11
常见MISRA C2012规则解读(四)
目标=函数与接口相关规则(如8.x · x · x)
MISRA
C2012
12
常见MISRA C2012规则解读(五)
目标=预处理与宏相关规则(如19.x · x) · 分析宏定义
MISRA
C2012
13
静态分析工具规则映射
目标=将MISRA C2012规则映… · 理解工具误报 · 漏报与规则覆盖差异
静态分析工具规则…
MISRA
14
误报与漏报处理
目标=识别静态分析中的误报类型 · 根因分析与抑制策略 · 建立误报评审与闭环管理机制
误报
漏报处理
15
合规检查实战(一)
目标=搭建一个嵌入式C项目 · 配置工具链并执行首次MISRA C2… · 生成初始合规报告
合规检查实战
目标=搭建一个嵌…
16
合规检查实战(二)
目标=针对首次扫描结果进行违规分类 · 优先级排序 · 修复计划制定与代码重构示例
合规检查实战
目标=针对首次扫…
17
合规检查实战(三)
目标=处理复杂违规案例 · 包括指针别名 · 中断服务程序
合规检查实战
目标=处理复杂违…
18
合规检查实战(四)
目标=编写偏离申请与批准文档 · 实施偏离管理 · 并验证偏离后的合规状态
合规检查实战
目标=编写偏离申…
19
合规检查实战(五)
目标=集成持续集成流水线 · 实现自动化MISRA C2012合规…
合规检查实战
目标=集成持续集…
20
合规检查实战(六)
目标=生成合规证据包 · 包括规则覆盖报告 · 偏离记录
合规检查实战
目标=生成合规证…
21
MISRA C2012与功能安全
目标=结合ISO 26262 · IEC 61508等标准 · 理解MISRA合规在安全生命周期中的…
MISRA
C2012
22
MISRA C2012与其它标准协同
目标=与CERT C · AUTOSAR C++14 · MISRA C++等标准的对比与联合…
MISRA
C2012
23
工具鉴定与认证
目标=静态分析工具鉴定要求(如ISO… · 工具认证流程与证据准备
工具鉴定
认证
24
团队协作与流程建设
目标=在团队中推广MISRA合规文化 · 制定编码规范 · 评审检查表与培训计划
团队协作
流程建设
25
常见问题与解决方案(一)
目标=规则理解歧义 · 工具配置错误 · 编译器扩展冲突等高频问题的排查与解决
常见问题
解决方案
26
常见问题与解决方案(二)
目标=大型项目扫描性能优化 · 增量分析 · 分布式检查与结果合并策略
常见问题
解决方案
27
常见问题与解决方案(三)
目标=遗留代码合规改造策略 · 渐进式合规与风险控制方法
常见问题
解决方案
28
综合案例
目标=完整嵌入式项目从零到MISRA… · 包括计划 · 执行
综合案例
MISRA
29
综合提升
目标=静态分析前沿技术(AI辅助分析 · 形式化验证)与MISRA标准演进趋势
综合提升
AI
30
课程总结与认证准备
目标=知识体系回顾 · 实战经验提炼 · MISRA合规工程师能力模型与认证考…
课程总结
认证准备
所属VIP或分类
同VIP:Bootloader架构设计与外设驱动实战工程
同VIP:Bootloader移植与汽车嵌入式系统启动优化实战工程
同VIP:Bootloader移植与系统启动调试与优化Linux实战