整数溢出
- 溢出
有符号数才会溢出, 通常分为上溢和下溢, 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的上限, 则长度会截断变成一个较小的数, 此时两者拼接之后超过分配的空间, 就会导致溢出.