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

MISRA C:2012静态分析工具配置与规则验证

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
MISRA C 的前世今生
为什么要有 MISRA？C 语言在嵌…
MISRAC
02
MISRA C:2012 规则体系概览
2012 规则体系概览 · 必要 · 建议）
MISRAC
03
开发环境搭建
Windows/Linux 下安装… · Coverity · QAC 等静态分析工具
开发环境搭建Windows/Linu…
04
PC-lint 基础配置
创建 .lnt 文件 · 配置 MISRA C · 命令行调用与 IDE 集成
PC-lint基础配置
05
PC-lint 高级配置
自定义抑制 · 消息过滤 · 函数语义注解
PC-lint高级配置
06
QAC 基础配置
项目创建 · 规则选择 · 分析策略设置
QAC基础配置
07
QAC 高级配置
自定义规则 · 消息抑制 · 基线管理
QAC高级配置
08
Coverity 基础配置
项目导入 · 构建捕获 · 缺陷分类
Coverity基础配置
09
Coverity 高级配置
模型文件 · 路径敏感性分析 · 抑制策略
Coverity高级配置
10
规则 1.1 - 1.4（环境与翻译单元）
严格遵循标准 · 未定义行为 · 实现定义行为的处理
规则1
11
规则 2.1 - 2.7（未使用代码与注释）
未使用代码 · 死代码 · 注释格式与内容要求
规则1
12
规则 3.1 - 3.2（字符集与注释）
字符集限制 · 注释嵌套 · 三字符组问题
规则1
13
规则 4.1 - 4.2（字符与字符串）
字符常量 · 字符串字面量 · 宽字符处理
规则1
14
规则 5.1 - 5.9（标识符）
命名冲突 · 作用域 · 标识符长度与唯一性
规则1
15
规则 6.1 - 6.2（基本类型）
char 的使用 · 位域类型 · 枚举底层类型
规则1
16
规则 7.1 - 7.4（字面量与常量）
魔法数字 · 布尔常量 · 指针常量
规则1
17
规则 8.1 - 8.14（声明与定义）
函数原型 · 存储类 · 链接属性
规则1
18
规则 9.1 - 9.3（初始化）
自动变量初始化 · 聚合初始化 · 部分初始化
规则1
19
规则 10.1 - 10.8（表达式中的类型转换）
隐式转换 · 整型提升 · 算术转换
规则1
20
规则 11.1 - 11.9（指针类型转换）
指针与整数转换 · 对象指针与函数指针转换 · void * 使用
规则1
21
规则 12.1 - 12.4（表达式求值）
副作用 · 序列点 · 逻辑运算符短路
规则1
22
规则 13.1 - 13.6（副作用与赋值）
赋值运算符 · 复合赋值 · 自增自减
规则1
23
规则 14.1 - 14.4（控制流）
goto · switch · 循环控制
规则1
24
规则 15.1 - 15.7（switch 语句）
case 标签 · default · fall-through
switch规则
25
规则 16.1 - 16.7（函数与宏）
函数参数 · 可变参数 · 宏定义
规则1
26
规则 17.1 - 17.8（指针与数组）
指针算术 · 数组下标 · 字符串函数
规则1
27
规则 18.1 - 18.8（结构与联合）
成员对齐 · 填充 · 联合类型双关
规则1
28
规则 19.1 - 19.2（预处理）
#include 保护 · #define 与 typedef… · 条件编译
规则1
29
规则 20.1 - 20.13（标准库）
errno · setjmp/longjmp · 信号处理
规则1
30
规则 21.1 - 22.6（运行时与资源）
动态内存 · 资源释放 · 断言
规则1