VIP10
本课程属于：043-MISRAC与C　编码规范 嵌入式基础与RISC-V · 共 10 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

MISRA-C编码规则检查与静态分析工具链

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
MISRA-C概述
MISRA-C的起源与发展 · MISRA-C的核心目标 · MISRA-C在汽车电子与工业控制中…
MISRA-C的起源
02
编码规则总览
MISRA-C 2012版本规则分类… · 规则编号体系 · 规则优先级与合规等级
编码规则总览MISRA-C
03
环境与编译器规则
禁止依赖未定义行为 · 禁止使用编译器扩展 · 禁止使用非标准关键字
环境编译器规则
04
语言基础规则
禁止使用C99之前的隐式int · 禁止使用空宏参数 · 禁止使用空语句（除非有注释说明）
语言基础规则C99
05
标识符规则
标识符命名规范 · 禁止使用保留标识符 · 禁止使用与库函数同名的标识符
标识符规则标识符命名规范
06
类型系统规则
禁止使用char类型进行算术运算 · 禁止使用基本类型进行位运算 · 必须显式使用typedef定义类型
类型系统规则char
07
常量与字面量规则
禁止使用魔数（Magic Numbe… · 必须使用命名常量 · 禁止使用八进制常量
常量字面量规则
08
声明与定义规则
每个文件必须包含头文件保护 · 禁止在头文件中定义对象 · 禁止使用extern在函数内部声明
声明定义规则
09
初始化规则
所有变量必须在使用前初始化 · 禁止使用未初始化的自动变量 · 结构体必须逐成员初始化
初始化规则所有变量必须
10
表达式规则
禁止使用赋值运算符作为条件表达式 · 禁止使用逗号运算符 · 禁止使用sizeof作用于有副作用的…
表达式规则禁止使用赋值运算…
11
控制流规则
禁止使用goto语句 · 禁止使用setjmp/longjmp · 每个switch语句必须有defau…
控制流规则goto
12
循环规则
循环控制变量必须在循环内部修改 · 禁止使用非布尔表达式作为循环条件 · 禁止使用空循环体
循环规则循环控制变量必须
13
函数规则
函数必须有原型声明 · 禁止使用可变参数函数 · 函数参数个数不得超过15个
函数规则函数必须有原型声…
14
指针规则
禁止对指针进行算术运算（除非指向数组… · 禁止使用空指针进行解引用 · 禁止使用函数指针进行类型转换
指针规则禁止对指针进行算…
15
数组规则
数组下标必须进行边界检查 · 禁止使用变长数组（VLA） · 禁止使用多维数组的指针转换
数组规则数组下标必须进行…
16
结构体与联合体规则
禁止使用未命名的结构体/联合体 · 禁止使用位域类型为int（必须使用u… · 禁止使用联合体进行类型双关
结构体联合体规则
17
预处理规则
禁止使用#undef · 禁止使用宏定义包含控制流语句 · 禁止使用宏定义包含函数调用
预处理规则undef
18
标准库规则
禁止使用动态内存分配（malloc/… · 禁止使用标准输入输出函数（print… · 禁止使用文件操作函数
标准库规则malloc
19
运行时规则
禁止使用递归 · 禁止使用变长参数 · 禁止使用非确定性行为（如rand()…
运行时规则禁止使用递归
20
静态分析工具入门
PC-lint的安装与配置 · PC-lint的基本使用方法 · PC-lint的规则配置文件
静态分析工具入门PC-lint
21
PC-lint实战
配置MISRA-C 2012规则集 · 运行PC-lint进行静态分析 · 解读PC-lint的警告与错误信息
PC-lintMISRA-C
22
PC-lint高级配置
自定义规则抑制 · 配置消息级别 · 生成HTML报告
PC-lint高级配置
23
Coverity静态分析入门
Coverity的安装与配置 · Coverity的基本使用方法 · Coverity的MISRA-C规则…
Coverity静态分析入门
24
Coverity实战
配置MISRA-C规则集 · 运行Coverity分析 · 解读Coverity的缺陷报告
CoverityMISRA-C
25
静态分析结果处理
分类与优先级排序 · 误报处理策略 · 修复验证流程
静态分析结果处理分类
26
调试工具与MISRA-C
GDB调试MISRA-C违规代码 · 使用断点与单步执行定位违规 · 使用Valgrind检测内存违规
MISRA-C调试工具
27
单元测试与MISRA-C
使用CUnit进行单元测试 · 测试用例设计覆盖MISRA-C规则 · 自动化测试框架集成
MISRA-C单元测试
28
持续集成中的MISRA-C
Jenkins/GitLab CI集… · 自动化MISRA-C合规检查 · 生成合规报告
MISRA-C持续集成
29
MISRA-C合规文档与审计
合规文档模板 · 规则违反记录表 · 审计流程与最佳实践
MISRA-C合规文档
30
综合实战项目
从零开始构建MISRA-C合规的嵌入… · 完整静态分析流程 · 调试与修复实战
综合实战项目MISRA-C