C安全编码--整数理解

建议和规则

建议：

  • 理解编译器所使用的数据模型
  • 使用rsize_t或size_t类型表示所有表示对象长度的整数值
  • 理解整数转换规则
  • 使用安全的整数库
  • 对来自不信任来源的整数值实行限制
  • 如果输入函数无法处理所有可能出现的错误就不要用它们转换字符数据
  • 使用strtol()或相关函数把字符串标记换换为整数
  • 只使用显式的有符号或无符号char类型表示数值
  • 验证所有的整数值位于范围内
  • 保证枚举常量映射到唯一的值
  • 使用%操作符时不要假设余数总是正的
  • 把指针转换为整数或者把整数转换为指针时需要小心
  • 当普通的整数位段用于表达式时，不要对它的类型作出假设
  • 只对无符号操作数使用位操作符
  • 避免在同一个数据上执行位操作和算术运算
  • 在程序员定义的整数类型的格式化I/O中使用intmax_t或者unitmax_t

规则：

  • 保证无符号整数运算不产生回绕
  • 保证整型转换不会丢失或错误解释数据
  • 保证有符号整数运算不会产生溢出
  • 保证除法和求模运算不会导致除零错误
  • 移位的数量不能是负数或大于操作数的位数
  • 把整型表达式比较或赋值为一种较大类型之前用这种较大类型对它进行求值

本文地址：http://www.cnblogs.com/archimedes/p/c-security-int.html，转载请注明源地址。

理解编译器所使用的数据模型

<limits.h>除了提供特定类型的位数信息之外，还定义了一些宏，可以用于确定任何遵循标准的编译器所使用的标准整数类型数的整型范围

e.g.  UNIT_MAX是unsigned int可以出现的最大值，LONG_MIN是long int可以出现的最小值

<sdtint.h>头文件在类型中引入了特定的长度限制，可用于避免对特定数据模型的依赖

e.g.  int_least32_t是编译器所支持的最小有符号整数类型，它包含了至少32位

所有编译器要求提供的类型：

<inttypes.h>声明了用于操纵最大宽度整数以及把数值字符串转换为最大宽度整数的函数

代码：

unsigned int a, b;
unsigned long c;
//初始化a和b
c = (unsigned long)a * b;  //可能会溢出

解决方案:

#if UNIT_MAX > UNITMAX / UNIT_MAX
#error No safe type is available.
#endif
unsigned int a, b;
unsigned long c;
//初始化a和b
c = (unitmax_t)a * b;

使用rsize_t或size_t类型表示所有表示对象长度的整数值

size_t类型表示sizeof操作符执行结果的无符号整型类型。size_t类型的变量保证具有足够的精度，能够表示一个对象的长度。2007
年引入了一种新的类型rsize_t，它被定义为size_t，但是明确用于保存单个对象的长度，任何表示对象长度的变量，包括作为大小、索引、循环计数
器和长度的整数值，如果有可能，都应该声明为rsize_t，否则就声明为size_t

代码：

char *copy(size_t n, const char *str) {
    int i;
    char *p;
    if(n == 0) {
        //error...
    }
    p = (char*)malloc(n);
    if(p == NULL) {
        //error...
    }
    for(i = 0; i < n; ++i) {
        p[i] = *str++;
    }
    return p;
}
char *p = copy(9, "hi there");

当n > INT_MAX，i超过INT_MAX时，i的值将是从（INT_MIN）开始的负值，p[i]所引用的内存位置是在p所引用的内存之前，导致写入发生在数组边界之外

解决方案：

char *copy(rsize_t n, const char *str) {
    int i;
    char *p;
    if(n == 0 || n > RSIZE_MAX) {
        //error...
    }
    p = (char*)malloc(n);
    if(p == NULL) {
        //error...
    }
    for(i = 0; i < n; ++i) {
        p[i] = *str++;
    }
    return p;
}
char *p = copy(9, "hi there");

理解整数转换规则

转换可以作为类型转换的结果显式或隐式地发生，C99的整数转换规则定义了C编译器如何处理转换，这些规则包括：整型提升、整型转换秩和寻常算术转换。

目的是保证转换结果是相同的值，并且这些值对计算所产生的影响是最小的

整型提升

在执行算术运算的时候，小于int的整数类型将会提升，较小的转换为int类型，否则转换为unsigned int类型

代码：

#include<stdio.h>
int main(void){
    signed char cresult, c1, c2, c3;
    c1 = 100;
    c2 = 3;
    c3 = 4;
    cresult = c1 * c2 / c3;
    printf("cresult= %d\n", cresult);  //cresult= 75
    return 0;
}

假设signed char是用8位值表示，c1 * c2 = 300就无法表示，但是由于整数提升的缘故，c1,c2,c3都转换为int类型

使用安全的整数库

安全整数库的一个例子是IntegerLib，可以免费使用，这个库的目标是提供一些工具函数的集合，在编写C程序的时候帮助软件开发人员避免整数溢出、整数截断和符号错误

对来自不信任来源的整数值实行限制

所有不信任来源的整数值都应该求值，以确定是否存在可确认的上界和下界

代码：

int create_table(size_t length) {
    char **table;
    if(sizeof(char *) > SIZE_MAX / length) {
        return -1; //溢出
    }
    size_t table_length = length * sizeof(char*);
    table = (char**)malloc(table_length);
    if(table == NULL) {
        return -1; //error
    }
    /*...*/
    return 0;
}

length可接受的范围定义为[1, MAX_TABLE_LENGTH]

解决方案：

enum {MAX_TABLE_LENGTH = 256};
int create_table(size_t length) {
    size_t table_length;
    char **table;
    if(length == 0 || length > MAX_TABLE_LENGTH) {  // 假设MAX_TABLE_LENGTH * sizeof(char *) < SIZE_MAX
        return -1; //error
    }
    assert(length <= SIZE_MAX / sizeof(char *));
    table_length = length * sizeof(char*);
    table = (char**)malloc(table_length);
    if(table == NULL) {
        return -1; //error
    }
    /*...*/
    return 0;
}

如果输入函数无法处理所有可能出现的错误就不要用它们转换字符数据

如果输入函数无法处理所有可能出现的输入，就不要使用它们把输入值转换为整数。比如:scanf()、fscanf()、vscanf()、
vfscanf()这些函数可以处理合法的整数值，但是缺乏对非法值的健壮错误处理功能。另一种方法是把字符数据输入以null字符结尾的字节字符串形
式，并利用strtol()或者相关函数把它转换为一个整数值。

代码：

long sl;
if(scanf("%ld", &sl) != 1) {
    /*处理错误*/
}

一般而言，不要使用scanf对输入字符串的整数或浮点数进行解析，因为输入中可能包含实参类型无法表示的数

解决方案：

char buff[25];
char *end_ptr;
long sl;
if(fgets(buf, sizeof(buff), stdin) == NULL) {
    if(puts("EOF or read error\n") == EOF) {
        //处理错误
    }
} else {
    errno = 0;
    sl = strtol(buff, &end_ptr, 10);
    if(ERANGE == errno) {
        if(puts("number out of range\n") == EOF) {
            //处理错误
        }
    } else if(end_ptr == buf) {
        if(puts("not valid numberic input\n") == EOF) {
            //处理错误
        }
    } else if('\n' != *end_ptr && '\0' != *end_ptr) {
        if(puts("extra characters on input line\n") == EOF) {
            //处理错误
        }
    }
}

只使用显式的有符号或无符号char类型表示数值

代码：

char c = 200;
int i = 1000;
printf("i/c = %d\n", i/c); //" i/c = -17 "

解决方案：

unsigned char c = 200;
int i = 1000;
printf("i/c = %d\n", i/c); //" i/c = 5 "

验证所有的整数值位于范围内

保证枚举常量映射到唯一的值

代码：

enum {red = 4, orange, yellow, green, blue, indigo = 6, violet}; //yellow=indigo=6

解决方案：

enum {red, orange, yellow, green, blue, indigo, violet}; //不提供显式的整数赋值
enum {red, orange, yellow, green, blue, indigo, violet}; //只提供第一个成员赋值
enum { //为所有的成员赋值
    red = 4,
    orange = 5,
    yellow = 6,
    green = 7,
    blue = 8,
    indigo = 6,
    violet = 7
};

使用%操作符时不要假设余数总是正的

C99对%操作符的定义提示了下列行为：

17%3=2

17%(-3)=2

-17%3=-2

-17%(-3)=-2

结果与被除数具有相同的符号

代码：

int insert(int index, int *list, int size, int value) {
    if(size != 0) {
        index = (index + 1) % size;
        list[index] = value;
        return index;
    } else {
        return -1;
    }
}

解决方案1（使用一个修正的取模内联函数）：

inline imod(int i, int j) {
    return (i % j) < 0 ? (i % j) + (j < 0 ? -j : j) : i % j;
}

解决方案2（使用size_t）：

int insert(size_t index, int *list, size_t size, int value) {
    if(size != 0) {
        index = (index + 1) % size;
        list[index] = value;
        return index;
    } else {
        return -1;
    }
}

保证无符号整数运算不产生回绕

C99规定（无符号整数将会回绕）：涉及无符号操作数的计算不会溢出，因为无法由最终的无符号整数类型表示的结果将会根据这种最终类型可以表示的最大值加1执行求模操作

整数运算：

来自不信任来源的整数值如果按下面方式之一使用，就不允许回绕：

  • 作为数组索引
  • 在任何指针运算中
  • 作为对象的长度或大小
  • 作为数组的上届（例如循环计数器）
  • 作为内存分配函数的实参
  • 在安全关键代码中

代码：

unsigned int ui1, ui2, sum;
//初始化ui1, ui2
sum = ui1 +ui2;

解决方案：

unsigned int ui1, ui2, sum;
//初始化ui1, ui2
if(UINT_MAX - ui1 < ui2) {
    //处理错误
} else {
    sum = ui1 +ui2;
}
时间： 2024-04-25 08:46:33

C安全编码--整数理解的相关文章

MySQL字符集编码的理解

  无论在客户机用哪个版本的mysql客户端连接服务器,发现只要服务器端设置了 character-set-server = utf8之后, character_set_client. character_set_connection.character_set_results 就始终都是和服务器端保持一致了,即便在mysql客户端加上选项 --default-character-set=utf8 也不行,除非连接进去后,再手工执行命令 set names latin1,才会将client.co

MySQL字符集编码的理解分析

今天帮同事处理一个棘手的事情,问题是这样的: 无论在客户机用哪个版本的mysql客户端连接服务器,发现只要服务器端设置了 character-set-server = utf8之后, character_set_client. character_set_connection.character_set_results 就始终都是和服务器端保持一致了,即便在mysql客户端加上选项 --default-character-set=utf8 也不行,除非连接进去后,再手工执行命令 set name

字符编码详解——彻底理解掌握编码知识，“乱码”不复存在

原创作品,允许转载,转载时请务必以超链接形式标明文章 原始出处 .作者信息和本声明.否则将追究法律责任.http://polaris.blog.51cto.com/1146394/377468  每一个程序员都不可避免的遇到字符编码的问题,特别是做Web开发的程序员,"乱码问题"一直是让人头疼的问题,也许您已经很少遇到"乱码"问题,然而,对解决乱码的方法的内在原理,您是否明白?本人作为一个程序员,在字符编码方面同样遇到不少问题,而且一直对各种编码懵懵懂懂.不清不楚:

你不知道的 字符集和编码（编码字符集与字符集编码）

原文:你不知道的 字符集和编码(编码字符集与字符集编码) 我的上篇文章,有朋友提出字符集和编码的区别,我在此立文和大家讨论下 常说的字符集和编码区别,其实就是编码字符集和字符集编码的区别,其实,单单如果只是说字符集,没有任何编码的概念的话,那么字符集其实仅仅是一个简单的字符的集合,或者说是一个抽象的字符的集合,包括文字,符号等等,不参与任何存储形式,只是存在这么各种各样标准的字符的集合 如果仅仅是抽象的字符集,我们是无需拿出讨论的,因为没有任何异议,通俗易懂,而常说的字符集指的编码字符集,比如常

大神手把手教你：(Python)序列数据的One Hot编码

更多深度文章,请关注:https://yq.aliyun.com/cloud 机器学习算法无法直接用于数据分类.数据分类必须转换为数字才能进一步进行. 在本教程中,你将发现如何将输入或输出的序列数据转换为一种热编码,以便于你在Python中深度学习的序列分类问题中使用. 看完本教程后,你将会了解: ·   1.什么是整数编码和One-Hot编码,以及为什么它们在机器学习中是必需的. ·   2.如何在Python中手工计算一个整数编码和One-Hot编码. ·   3.如何使用scikit-le

详解Huffman编码算法之Java实现_java

Huffman编码介绍 Huffman编码处理的是字符以及字符对应的二进制的编码配对问题,分为编码和解码,目的是压缩字符对应的二进制数据长度.我们知道字符存贮和传输的时候都是二进制的(计算机只认识0/1),那么就有字符与二进制之间的mapping关系.字符属于字符集(Charset), 字符需要通过编码(encode)为二进制进行存贮和传输,显示的时候需要解码(decode)回字符,字符集与编码方法是一对多关系(Unicode可以用UTF-8,UTF-16等编码).理解了字符集,编码以及解码,满

PHP也能干大事之PHP中的编码解码详解

PHP也能干大事之PHP中的编码解码详解        这篇文章主要介绍了PHP也能干大事之PHP中的编码解码详解,本文讲解了ASCII编解码.URL编解码.Base64编解码.HTML实体编解码.二进制.八进制.十进制.十六进制相互转换等内容,需要的朋友可以参考下 写在前面 PHP也能干大事是我总结的PHP语法特性及相关函数类库的经典用法,并不一定是真正能实现四两拨千斤的功效,但是掌握这些方法,可以在你的工作和学习上有一些帮助,希望大家能集思广益,将<PHP也能干大事>丰富得更精彩!转载请注

四个有害的Java编码习惯

程序中的编码风格让我们的编程工作变得轻松,特别是程序维护员,他们要经常阅读其他人编写的程序编码,这一点尤其突出.编码规范从根本上解决了程序维护员的难题:规范的编码阅读和理解起来更容易,也可以快速的不费力气的借鉴别人的编码.对将来维护你编码的人来说,你的编码越优化,他们就越喜欢你的编码,理解起来也就越快. 同样,高水平的编码风格(例如固定的封闭结构)目的在于改善设计和使编码更易于理解.事实上,最后有些人会认为改善设计和提高编码的易读性是一回事. 本文中你会看到一些流行的编码风格被面向读者的更易于接

快速入手Python字符编码_python

前言 对于很多接触Python的人而言,字符的处理和语言整体的温顺可靠相比显得格外桀骜不驯难以驾驭. 文章针对Python 2.7,主要因为3对的编码已经有了很大的改善并且实际原理一样,更改一下操作命令即可. 了解完本文,你可以轻松解决文字处理,特殊平台(Windows?)下的编码,爬虫编码等问题. 阅读建议 本文分为如下几个部分:     1.原理     2.具体操作     3.建议的使用习惯     4.疑难问题解答 如果想要了解我给出的使用习惯,可以直接跳到建议的使用习惯. 如果只想要