整数溢出与回绕

一、什么是整数溢出

      由于整数在内存里面保存在一个固定长度的空间内,它能存储的最大值和最小值是固定的,如果我们尝试去存储一个数,而这个数又大于这个固定的最大值时,就会导致整数溢出。(x86-32 的数据模型是 ILP32,即整数(Int)、长整数(Long)和指针(Pointer)都是 32 位。)

二、溢出类型及表现

1.溢出

只有符号的数才会发生溢出

对于signed整型的溢出,C的规范定义是“undefined behavior”,也就是说,编译器爱怎么实现就怎么实现。对于大多数编译器来说,表现为回绕

	int i;

	i = INT_MAX; // 2 147 483 647

	i++; 
	printf("i = %d\n", i); // i = -2 147 483 648

 怎么理解呢?01111....+1变成了11111.....了,符号位变成1了,变成了负数。计算机中的负数是以其补码形式存在的, 补码=原码取反+1。2147483647加一后正好是-2147483648的补码表示。

2.回绕

无符号数会回绕(常绕过一些判断语句)

对于unsigned整型溢出,C的规范是有定义的——“溢出后的数会以2^(8*sizeof(type))作模运算”,也就是说,如果一个unsigned char(1字符,8bits)溢出了,会把溢出的值与256求模。例如:

unsigned char x = 0xff; 
printf("%d\n", ++x);

 

上面的代码会输出:0 (因为0xff + 1是256,与2^8求模后就是0)

3.截断

将一个较大宽度的数存入一个宽度小的操作数中,高位发生截断

三、简单了解整数溢出的危害

      1. 整数回绕之后,会导致索引越界,取到不确定的数据

  2. 或者判断失效,形成死循环。

  3. 回绕之后,导致分配超大内存。

 

参考:

https://www.icode9.com/content-4-728950.html

https://wenda.so.com/q/1543356743214464

### Web CTF 中整数溢出挑战的解题思路 在Web CTF竞赛中,整数溢出会成为一种潜在的安全隐患,尤其是在处理用户输入的数据时。当应用程序未能正确验证或处理这些数据,就可能导致意外行为,甚至允许攻击者执行任意代码。 #### 理解整数溢出机制 整数溢出发生在数值超出其存储范围的情况下。例如,在C语言中,如果一个无符号8位整形变量被赋予了一个超过255的值,则会发生溢出现象[^1]。这种情况下,该值会绕回到最小可表示值并继续增加直到达到实际赋给它的值减去最大容量后的余数部分。对于有符号整型而言,情况更加复杂,因为正负号也参到了计算之中。 #### 寻找易受攻击的应用逻辑 为了找到可能存在整数溢出漏洞的地方,应当关注那些涉及算术运算、数组索引以及内存分配等功能模块: - **参数传递**:检查URL查询字符串、POST请求体或其他地方传入服务器端应用作为参数使用的数字。 - **循环条件判断**:注意for/while语句里的边界测试,特别是当计数器是由外部可控因素决定的时候。 - **资源管理操作**:像malloc()这样的动态内存分配函数可能会受到恶意构造大小的影响而触发崩溃或者越界写入等问题。 #### 构造有效载荷(Payload) 一旦确认了某个位置确实存在整数溢出风险之后,就可以尝试构建特定模式下的输入序列来诱导目标系统进入异常状态。这一步骤往往依赖于对底层硬件架构和编译器优化特性的深入了解。比如,在某些平台上,可以通过精心设计的一系列加法指令使得最终结果恰好指向堆栈上已知地址处的关键结构体成员偏移量附近;而在其他场合下则更倾向于利用浮点数精度损失特性来进行近似匹配式的间接控制[^2]。 ```python import struct def create_payload(): # 假设这里有一个容易发生整数溢出的位置, 并且我们知道如何使它翻转到我们想要的目标值. target_value = 0xdeadbeef # 尝试创建能够引起整数溢出的数据包 payload = b"" # 这里只是一个简单的例子, 实际环境中需要根据具体情况调整 overflow_data = (target_value).to_bytes(4, byteorder='little') return payload + overflow_data ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值