嵌入式C语言编程规范——MISRA C标准的奥秘与应用

这是一本全面介绍MISRAC：2004编程规范的书。本书从C语言的缺陷和不安全性出发，引出MISRAC：2004的宗旨和指导思想，然后分门别类地介绍该标准的具体内容，对主要规则进行详细解读，并通过实例分析帮助读者加深对规则的理解。
本书站在应用的角度对MISRAC：2004中的规则进行逻辑分类，形成了细节决定成败、你表达清楚了吗、千万不要失控、安全正确的指向、打造安全的编译环境等主要章节，然后介绍了新一代MISRAC：2012（即MISRAC3）标准带来的改变，最后介绍了有名的支持MISRA标准的静态测试软件HelixQAFramework（简称QAF）的操作和使用方法。
本书可作为高职院校嵌入式应用技术、汽车智能技术、物联网应用技术、软件工程、软件测试及信息技术类专业的教材，也可作为从事以上相关工作的工程师、制定企业软件开发标准的技术人员的参考书。

引言 沉重的代价
第1章 C语言——让人欢喜让人忧
1.1 C语言的优势
1.2 C语言的缺陷
1.2.1 未限定行为
1.2.2 未定义行为
1.2.3 实现定义行为
1.3 C语言的不安全性
1.3.1 程序员的失误
1.3.2 对语言缺乏了解
1.3.3 对编译器的误解
1.3.4 编译器包含错误
1.3.5 操作平台差异
1.3.6 运行时错误
本章小结
练习题
第2章 一切为了安全
2.1 编程规范
2.1.1 编程规范的定义
2.1.2 编程规范的作用和意义
2.2 MISRA C标准概述
2.2.1 MISRA概述
2.2.2 MISRA标准的发展
2.3 MISRA C的使用
2.3.1 编程语言和编程环境
2.3.2 符合与背离
2.3.3 符合性声明
本章小结
练习题
第3章 从环境开始
3.1 环境
3.2 语言扩展
3.3 文档化
3.4 字符集
3.5 标识符
3.6 常量
3.7 运行时故障
本章小结
练习题
第4章 细节决定成败
4.1 类型
4.1.1 C语言数据类型回顾
4.1.2 C语言数据类型规则
4.2 C语言数据类型转换
4.2.1 隐式转换和显式转换
4.2.2 隐式转换的种类
4.2.3 危险的类型转换
4.3 数据类型转换规则
4.3.1 底层类型
4.3.2 复杂表达式
4.3.3 隐式转换规则
4.3.4 显式转换规则
4.3.5 整数后缀
本章小结
练习题
第5章 你表达清楚了吗
5.1 声明与定义
5.1.1 声明与定义回顾
5.1.2 声明与定义规则
5.2 初始化
5.3 函数
5.4 表达式
5.4.1 C表达式回顾
5.4.2 副作用和初等表达式
5.4.3 表达式规则
本章小结
练习题
第6章 千万不要失控
6.1 C控制语句回顾
6.1.1 条件语句
6.1.2 switch语句
6.1.3 循环语句
6.2 控制语句表达式
6.3 控制流
6.4 switch语句
本章小结
练习题
第7章 安全正确的指向
7.1 C指针类操作回顾
7.1.1 指针
7.1.2 指针与数组
7.1.3 结构体与联合体
7.2 指针类型转换
7.3 指针与数组
7.4 结构体与联合体
本章小结
练习题
第8章 打造安全的编译环境
8.1 编译器
8.1.1 编译器的作用
8.1.2 预处理
8.1.3 标准库
8.2 预处理指令
8.3 标准库
……