第六讲：构建安全的编译环境.pdfVIP

维普资讯 _臣 编者按：本文是 《学习MISRA—C》系列连载讲座之六，共六讲 。 第一讲 ：“安全第一’的C语言编程规范”，简述 MISRA—C的概况。 第二讲 ：“跨越数据类型的重重陷阱”，介绍规范的数据定叉和操作方式 ，重点在隐式数据类型转换 中的问题 。 第三讲 ：“指针 、结构体、联合体的安全规范”，解析如何安全而高效地应用指针、结构体和联合体 。 第四讲 ：“防范表达式的失控”，剖析MISRA—C中关于表达式、函数声明和定义等的不 良使用习惯，最大限度 地减小各类潜在错误 。 第五讲 ：“准确的程序流控制”，表述C语言中控制表达式和程序流控制的规范做法。 第六讲 ：“构建安全的编译环境”，讲解与编译器相关的规范编写方式，避免来 自编译器的隐患。 构 建 安 全 的编 译 环 境 ■ 清华大学 陈 萌 萌 邵 贝 贝 预处理是编译环境处理 C程序 的第一个环节 ，但往 只能存在其声明。具体的做法是 ：为全局变量 的声 明增加 往最先被程序员忽略。这份看似 只是 由编译环境做 的简 extern修饰符 ，并在相应的．C源文件 中定义对象或函数 。 单工作 ，其实也是机关重重 。通过介绍 MISRA—C与预 例如 ，在 Globle．h文件 中仅声明变量 GCounter。 处理相关 的规则 ，希望读者能够更准确地认识编译器的预 }*_柱Globle．h *f externuint32 tGCounter 处理过程 ，避免 出错 。无论是 自定义函数还是由编译环境 一 提供 的标准库 函数 ，如果使用不当，都会存在安全 隐患。 能不能保证 函数被正确 的定义、声 明和调用 ，关乎到整个 而在．C文件中定义变量 GCounter： ／*在 GlobleVariables．C中*／ 程序 的成败 。这里介绍 MISAR—C中涉及 函数部分有代 uint23 tGCounter； 表性 的规则，并试 图分析制定这些规则 的出发点，以帮助 一 读者构建更为安全的编译环境 。 这样 ，就可以在所有需要用到全局变量的地方直接 引 1 函数的定义和声 明 用 ”Globle．h”头文件 了。不过也有一些程序员喜欢采取 以下的做法 ： 1．1 在哪里定义 ／*在 Globle．h中*／ 读者也许会有这样的经历 ：在一个头文件 中定义 了一 世 ifdefGLOBLES 个变量 ，又让这个头文件被多个源文件引用 。这时编译器 #defineEXT 世 else 会 “报怨 ”说重复定义 了同一个 函数 。出错