VIP20
本课程属于：034-缺陷分析实战 半导体工艺与制造设备 · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

缺陷预防设计：基于MISRA C的代码静态检查规则落地

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
课程导论
为什么需要MISRA C？缺陷预防的…
课程导论MISRA
02
MISRA C标准概述
MISRA C的历史 · 版本演进（1998/2004/201…
MISRAC标准概述
03
静态分析基础
什么是静态分析？与动态测试的区别 · 以及其在SDLC中的位置
静态分析基础什么是静态分析
04
工具链选型
主流静态分析工具（PC-lint · QAC · Coverity
工具链选型PC-lint
05
规则分类体系
MISRA C规则的三大分类（强制 · 必需 · 建议）及其合规等级
规则分类体系MISRA
06
环境与编译器规则
规则1.1-1.4 · 关于未定义行为 · 实现定义行为与编译环境假设
环境编译器规则
07
语言扩展与未定义行为
规则2.1-2.7 · 禁止使用未定义行为 · 未指定行为与实现定义行为
语言扩展未定义行为
08
注释与文档规范
规则3.1-3.2 · 注释的正确使用与代码文档化要求
注释文档规范
09
字符集与标识符
规则4.1-4.2 · 字符集限制 · 标识符长度与命名空间冲突
字符集标识符
10
整数类型与常量
规则5.1-5.9 · 整数提升 · 隐式类型转换与常量表达式安全
整数类型常量
11
基本数据类型使用
规则6.1-6.2 · char · int
基本数据类型使用规则6.1
12
指针与数组安全
规则7.1-7.4 · 指针算术 · 数组越界与空指针检查
指针数组安全
13
声明与定义规则
规则8.1-8.14 · 存储类 · 作用域与链接性规范
声明定义规则
14
初始化规则
规则9.1-9.3 · 变量初始化 · 结构体初始化与数组初始化
初始化规则规则9.1
15
控制流结构
规则10.1-10.6 · if/switch/while/fo…
控制流结构规则10.1
16
switch语句规范
规则11.1-11.5 · case标签 · default分支与fall-thr…
switch语句规范
17
循环与跳转
规则12.1-12.7 · break/continue/got…
循环跳转
18
函数设计与原型
规则13.1-13.6 · 函数参数 · 返回值与原型声明
函数设计原型
19
函数副作用与顺序点
规则14.1-14.4 · 避免表达式中的副作用与顺序点问题
函数副作用顺序点
20
预处理指令规范
规则15.1-15.7 · 宏定义 · 条件编译与头文件包含
预处理指令规范规则15.1
21
宏与内联函数
规则16.1-16.7 · 宏的替代方案与内联函数的使用
内联函数规则16.1
22
标准库使用限制
规则17.1-17.8 · 禁止使用危险库函数（如gets · strcpy等）
标准库使用限制规则17.1
23
动态内存管理
规则18.1-18.4 · malloc/free的正确使用与内…
动态内存管理规则18.1
24
断言与错误处理
规则19.1-19.2 · assert的使用与运行时错误处理策…
断言错误处理
25
并发与中断安全
规则20.1-20.4 · volatile使用 · 原子操作与临界区保护
并发断安全
26
代码审查与规则集成
如何将MISRA C规则融入代码审查…
代码审查规则集成
27
CI/CD流水线集成
在Jenkins/GitLab CI…
CI/CD流水线集成
28
误报处理与规则定制
如何分析误报 · 调整规则参数与编写例外注释
误报处理规则定制
29
合规报告与度量
生成MISRA合规报告 · 跟踪违规趋势与度量改进
合规报告度量
30
课程总结与最佳实践
MISRA C落地常见陷阱 · 团队文化培养与持续改进
课程总结最佳实践