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

引言 沉重的代价 1 第1章 C语言——让人欢喜让人忧 4 1.1 C语言的优势 5 1.2 C语言的缺陷 5 1.2.1 未限定行为 6 1.2.2 未定义行为 6 1.2.3 实现定义行为 7 1.3 C语言的不安全性 7 1.3.1 程序员的失误 7 1.3.2 对语言缺乏了解 8 1.3.3 对编译器的误解 8 1.3.4 编译器包含错误 9 1.3.5 操作平台差异 9 1.3.6 运行时错误 9 本章小结 10 练习题 10 第2章 一切为了安全 11 2.1 编程规范 11 2.1.1 编程规范的定义 11 2.1.2 编程规范的作用和意义 12 2.2 MISRA C标准概述 13 2.2.1 MISRA概述 13 2.2.2 MISRA标准的发展 13 2.3 MISRA C的使用 16 2.3.1 编程语言和编程环境 16 2.3.2 符合与背离 18 2.3.3 符合性声明 20 本章小结 20 练习题 21 第3章 从环境开始 22 3.1 环境 23 3.2 语言扩展 25 3.3 文档化 28 3.4 字符集 31 3.5 标识符 32 3.6 常量 37 3.7 运行时故障 38 本章小结 40 练习题 41 第4章 细节决定成败 43 4.1 类型 43 4.1.1 C语言数据类型回顾 43 4.1.2 C语言数据类型规则 45 4.2 C语言数据类型转换 48 4.2.1 隐式转换和显式转换 49 4.2.2 隐式转换的种类 49 4.2.3 危险的类型转换 52 4.3 数据类型转换规则 53 4.3.1 底层类型 53 4.3.2 复杂表达式 55 4.3.3 隐式转换规则 56 4.3.4 显式转换规则 60 4.3.5 整数后缀 62 本章小结 63 练习题 64 第5章 你表达清楚了吗 67 5.1 声明与定义 67 5.1.1 声明与定义回顾 68 5.1.2 声明与定义规则 70 5.2 初始化 74 5.3 函数 76 5.4 表达式 81 5.4.1 C表达式回顾 81 5.4.2 副作用和初等表达式 85 5.4.3 表达式规则 85 本章小结 94 练习题 94 第6章 千万不要失控 97 6.1 C控制语句回顾 97 6.1.1 条件语句 98 6.1.2 switch语句 99 6.1.3 循环语句 100 6.2 控制语句表达式 101 6.3 控制流 105 6.4 switch语句 111 本章小结 116 练习题 116 第7章 安全正确的指向 119 7.1 C指针类操作回顾 119 7.1.1 指针 119 7.1.2 指针与数组 124 7.1.3 结构体与联合体 126 7.2 指针类型转换 129 7.3 指针与数组 133 7.4 结构体与联合体 140 本章小结 146 练习题 146 第8章 打造安全的编译环境 148 8.1 编译器 148 8.1.1 编译器的作用 148 8.1.2 预处理 149 8.1.3 标准库 155 8.2 预处理指令 160 8.3 标准库 171 本章小结 176 练习题 177 第9章 揭开MISRA C3的面纱 180 9.1 MISRA C3概述 180 9.2 新标准的改变 183 9.3 部分新规则解读 194 9.3.1 C90和C99专用规则 194 9.3.2 未使用的代码 205 9.3.3 资源 208 本章小结 213 练习题 213 第10章 代码规则检查工具QAF的使用 216 10.1 QAF技术特点介绍 216 10.2 QAF的安装 218 10.3 GUI的界面说明 224 10.4 QAF的使用步骤 226 10.4.1 新建工程 226 10.4.2 设置工程属性 228 10.4.3 构建工程 240 10.4.4 分析工程 243 10.4.5 查看分析结果 248 10.4.6 输出分析报告 253 10.5 诊断的抑制 259 10.5.1 打基线(baseline) 260 10.5.2 加注释(comment) 262 10.5.3 编译指令(pragma) 263 10.5.4 关于抑制报告 264 本章小结 264 练习题 265 附录 267 附录1 MISRA C:2004规则一览 267 附录2 MISRA C:2012规则一览 273 参考文献 280