整数溢出漏洞

整数溢出

• 溢出
  有符号数才会溢出, 通常分为上溢和下溢, OF可以检测溢出
• 回绕
  无符号数0-1会从最小数变成最大数, 反之同理, CF可以检测回绕
• 截断
  较大宽度的数存入小宽度的操作数里, 高位会截断

漏洞多发函数

size_t 类型: 0-255(单字节无符号整数)

• memcpy()
• strlen()
• strncpy()
• malloc()

漏洞利用

(1) 整数转换
攻击者给len赋值一个负数, 可以绕过if检测, memcpy()第三个参数是size_t, 负数会自动转成正数导致栈溢出
(2) 回绕和溢出
利用无符号数回绕特性, 给len赋值较大的数, 加上一个小的常数后回绕变成小的正数, 使得malloc()只分配小的空间, 而赋值却给了一个大的数据, 导致栈溢出
(3) 截断
一般接收两个字符串计算总长度时可以发生截断, 字符串A之后拼接字符串B, 两者的长度大于表示这两者长度的变量total的上限, 则长度会截断变成一个较小的数, 此时两者拼接之后超过分配的空间, 就会导致溢出.