安全编码标准 开发安全、可靠、稳固系统的98条规则 原书第2版PDF电子书下载

第1章 预处理器（PRE） 1

1.1 PRE30-C.不要通过连接创建通用字符名称 1

1.2 PRE31-C.避免不安全宏参数的副作用 3

1.3 PRE32-C.不要在类函数的宏调用中使用预处理器指令 7

第2章 声明和初始化（DCL） 9

2.1 DCL30-C.声明具有正确存储持续期的对象 10

2.2 DCL31-C.在使用前声明标识符 13

2.3 DCL36-C.不要声明具有冲突链接类别的标识符 16

2.4 DCL37-C.不要声明或者定义保留标识符 18

2.5 DCL38-C.使用正确语法声明灵活数组成员 23

2.6 DCL39-C.避免在结构填充中泄露信息 26

2.7 DCL40-C.不要创建相同函数或者对象的不兼容声明 30

2.8 DCL41-C.不要在switch语句第一个条件标签之前声明变量 35

第3章 表达式（EXP） 37

3.1 EXP30-C.不要依赖求值顺序以避免副作用 38

3.2 EXP32-C.不要通过非易失性引用访问易失性对象 42

3.3 EXP33-C.不要读取未初始化的内存 44

3.4 EXP34-C.不要对null指针进行解引用 52

3.5 EXP35-C.不要修改具有临时生命期的对象 56

3.6 EXP36-C.不要将指针转换为更严格对齐的指针类型 59

3.7 EXP37-C.用正确数量和类型的参数调用函数 62

3.8 EXP39-C.不要通过不兼容类型的指针访问变量 67

3.9 EXP40-C.不要修改常量对象 72

3.10 EXP42-C.不要比较填充数据 73

3.11 EXP43-C.使用restrict限定的指针时避免未定义行为 75

3.12 EXP44-C.不要向sizeof、＿Alignof或者＿Generic传递有副作用的操作数 82

3.13 EXP45-C.不要在选择语句中执行赋值 85

第4章 整数（INT） 89

4.1 INT30-C.确保无符号整数运算不产生回绕 90

4.2 INT31-C.确保整数转换不会造成数据丢失或者错误解释 95

4.3 INT32-C.确保有符号整数的运算不造成溢出 101

4.4 INT33-C.确保除法和余数运算不会造成0除数错误 109

4.5 INT34-C.不要用负数或者不小于操作数位数的位数对表达式进行移位 111

4.6 INT35-C.使用正确的整数精度 115

4.7 INT36-C.将指针转换为整数或者将整数转换为指针 117

第5章 浮点数（FLP） 122

5.1 FLP30-C.不要使用浮点变量作为循环计数器 122

5.2 FLP32-C.避免或者检测数学函数中的定义域和值域错误 124

5.3 FLP34-C.确保浮点数转换在新类型的范围内 132

5.4 FLP36-C.将整数值转换为浮点指针类型时保持精度 135

第6章 数组（ARR） 137

6.1 ARR30-C.不要形成或者使用超限的指针或者数组下标 137

6.2 ARR32-C.确保变长数组的大小参数在有效范围内 146

6.3 ARR36-C.不要进行两个不引用相同数组的指针之间的减法或者比较 148

6.4 ARR37-C.不要在指向非数组对象的指针上加或者减一个整数 149

6.5 ARR38-C.保证库函数不形成无效指针 152

6.6 ARR39-C.不要在指针上加或者减一个按比例调整的整数 159

第7章 字符和字符串（STR） 163

7.1 STR30-C.不要企图修改字符串字面量 163

7.2 STR31-C.保证字符串存储有足够的空间容纳字符数据和null结束符 166

7.3 STR32-C.不要向要求字符串参数的库函数传递非null结束字符序列 177

7.4 STR34-C.在转换为更大的整数尺寸之前将字符转换为unsigned char类型 181

7.5 STR37-C.字符串处理函数的实参必须可以表示为unsigned char 184

7.6 STR38-C.不要混淆窄和宽字符串及函数 186

第8章 内存管理（MEM） 189

8.1 MEM30-C.不要访问已释放内存 189

8.2 MEM31-C.在不再需要时释放动态分配的内存 194

8.3 MEM33-C.动态分配和复制包含灵活数组成员的结构 196

8.4 MEM34-C.只释放动态分配的内存 200

8.5 MEM35-C.为对象分配足够的内存 203

8.6 MEM36-C.不要通过调用realloc()修改对象的对齐方式 206

第9章 输入/输出（FIO） 209

9.1 FIO30-C.从格式字符串中排除用户输入 210

9.2 FIO31-C.不要打开已经打开的文件 213

9.3 FIO32-C.不要在只适合文件的设备上执行操作 216

9.4 FIO34-C.区分从文件读入的字符和EOF/WEOF 221

9.5 FIO37-C.不要假定fgets()或者fgetws()在成功时返回非空字符串 225

9.6 FIO38-C.不要复制FILE对象 227

9.7 FIO39-C.不要在没有中间刷新或者定位调用的情况下在一个流中交替输入和输出 228

9.8 FIO40-C.在fgets()或者fgetws()失败时重置字符串 230

9.9 FIO41-C.不要用有副作用的流作为实参调用getc()、 putc()、 getwc()或者putwc() 231

9.10 FIO42-C.在不再需要时关闭文件 234

9.11 FIO44-C.对fsetpos()只使用fgetpos()返回的值 237

9.12 FIO45-C.避免访问文件时出现TOCTOU竞争条件 239

9.13 FIO46-C.不要访问已关闭文件 242

9.14 FIO47-C.使用有效格式字符串 243

第10章 环境（ENV） 247

10.1 ENV30-C.不要修改某些函数返回值引用的对象 247

10.2 ENV31-C.在可能使某个环境指针无效的操作之后不要依赖该指针 252

10.3 ENV32-C.所有退出处理程序必须正常返回 255

10.4 ENV33-C.不要调用system() 258

10.5 ENV34-C.不要保存某些函数返回的指针 264

第11章 信号（SIG） 270

11.1 SIG30-C.在信号处理程序中只调用异步安全函数 270

11.2 SIG31-C.不在信号处理程序中访问共享对象 277

11.3 SIG34-C.不在可中断的信号处理程序中调用signal() 280

11.4 SIG35-C.不从计算性异常信号处理程序中返回 283

第12章 错误处理（ERR） 286

12.1 ERR30-C.在调用已知设置errno的库函数之前，将errno设置为0，只在函数返回表示故障的值之后才检查errno 286

12.2 ERR32-C.不要依赖不确定的errno值 292

12.3 ERR33-C.检测并处理标准库错误 295

第13章 并发性（CON） 308

13.1 CON30-C.清理线程特定存储 309

13.2 CON31-C.不要在互斥体被锁定时删除它们 312

13.3 CON32-C.从多个线程访问位域时避免数据竞争 315

13.4 CON33-C.使用库函数时避免竞争条件 318

13.5 CON34-C.用正确的存储持续期声明线程间共享的对象 320

13.6 CON35-C.以预定义顺序加锁，避免死锁 327

13.7 CON36-C.将可能不合逻辑地唤醒的函数包装在一个循环中 331

13.8 CON37-C.不要在多线程程序中调用signal() 334

13.9 CON38-C.使用条件变量时保持线程安全性和活性 336

13.10 CON39-C.不要加入或者断开之前已经加入或者断开的线程 343

13.11 CON40-C.不要在一个表达式中两次引用同一个原子变量 344

13.12 CON41-C.将可能不合逻辑地失败的函数包装在一个循环中 348

第14章 杂项（MSC） 351

14.1 MSC30-C.不要使用rand()函数生成伪随机数 352

14.2 MSC32-C.正确地设置伪随机数生成器的种子 354

14.3 MSC33-C.不要向asctime()函数传递无效的数据 357

14.4 MSC37-C.确保控制永远不会到达非void函数的结束位置 359

14.5 MSC38-C.如果预定义标识符只能以宏的形式实现，不要将其当作对象处理 362

14.6 MSC39-C.不要在va＿list的值不确定时调用va＿arg() 363

14.7 MSC40-C.不要违反约束 365

附录A 词汇表 370

附录B 未定义行为 375

附录C 未指定行为 384

参考文献 387