在信息安全和编程中,缓冲区溢出是一种异常,其中程序在将数据写入缓冲区时会超出缓冲区边界并覆盖相邻的内存位置。缓冲区是留出的用于存储数据的内存区域,通常是在将数据从程序的一个部分移动到另一部分或在程序之间移动时使用的。如果假设所有输入都小于特定大小,并且缓冲区被创建为该大小,则产生更多数据的异常事务可能导致其写入缓冲区的末尾。

缓冲区溢出概念

缓冲区溢出是指当计算机向缓冲区内填充数据位数时超过了缓冲区本身的容量溢出的数据覆盖在合法数据上,理想的情况是程序检查数据长度并不允许输入超过缓冲区长度的字符,但是绝大多数程序都会假设数据长度总是与所分配的储存空间相匹配,这就为缓冲区溢出埋下隐患,操作系统所使用的缓冲区,又被称为"堆栈"。在各个操作进程之间,指令会被临时储存在"堆栈"当中,"堆栈"也会出现缓冲区溢出。

缓冲区溢出攻击之所以成为一种常见安全攻击手段其原因在于缓冲区溢出漏洞太普遍了,并且易于实现。而且,缓冲区溢出成为远程攻击的主要手段其原因在于缓冲区溢出漏洞给予了攻击者他所想要的一切:奇热植入并且执行攻击代码。被植入的攻击代码以一定的权限运行有缓冲区溢出漏洞的程序,从而得到被攻击主机的控制权。

缓冲区溢出漏洞详解

当你使用诸如“C”或“C ++”之类的语言开发程序并使用gcc使用以下命令对其进行编译时:

gcc -o program program.c

你知道gcc如何将你的代码从“C”转换为计算机可执行的机器语言吗?简而言之,我们可以说该过程分3个步骤完成:

“C”中的代码将转换为汇编语言,该汇编语言是二进制之后的最低级语言。此时,汇编代码被翻译成二进制。可执行文件是“链接的”,换句话说,链接是由代码使用的库建立的。

现在让我们看一下汇编器的基础知识,因为这种语言对于理解开发过程至关重要。

section .textglobal _start_start:push rdxmov rdi, 0x4444444444444444 ; v_addrmov rsi, 0x5555555555555555 ; lenmov rdx, 0x7 ; RWXmov rax, 10 ; mprotect0x80483dcsyscallmov rcx, 0x2222222222222222mov rsi, 0x3333333333333333mov rdx, 0x6666666666666666 ; random_intmov rdi, rsijmp _loop_loop:cmp rcx, 0x0je _endlodsbnot alxor al, dlstosbloop _loopon_end:pop rdxmov rax, 0x1111111111111111jmp rax

上面这段代码的目的只是向你展示它的外观。如你所见,代码是由诸如push,mov,cmp等指令组成的。

; Note, in assembler everything behind a semicolon is considered as a comment
call 0x80483dc; Call function at address 0x80483dc
push 0x0; puts the value 0x0 on the stack
pop ebx; put what is at the top of the stack in ebx
mov eax, 0x1; puts 0x1 in eax

如你所见,并不复杂。eax或ebx这些就是我们所说的寄存器。在其中存储一些值,例如地址,数字等。对于32位处理器,寄存器eax,ebx,ecx,edx,ebp,esp,eip和edi大小为8位。还有其他寄存器,但老实说,它们暂时对我们没有任何意义。还有一件事,对于64位处理器,我们将使用相同的寄存器,只是它们将是16位而不是8位,并且“e”将替换为“r”,因此寄存器名称将变为rax,rbx ,rcx,rdx,rbp,rsp,rip和rdi。

内存段

.data-存储全局变量的段;.bss-包含静态变量;.text-包含我们的代码,可能还不够清楚,所以让我们用一些代码来说明一下:

在上面的示例中,我们可以看到以下内容:

a和b在.bss中,c被放在堆栈上,而我们的函数主要在.text中。

让我们看看如何反汇编程序:

我们将通过编译上面的一小段代码进行测试。首先,打开你的终端,并简单地一个接一个地使用以下命令:

输出内容:

现在,我们已经编译了文件,我们将使用objdump对其进行反编译,objdump是大多数现代GNU / Linux发行版中提供的线性反汇编工具。

objdump -M intel -d code

输出内容:

你所看到的一切都是正确的!从上面的屏幕截图中,我们将重点放在“0000000000001119

让我们继续检查一下我们程序的确切函数:

推送rbp,将rbp放入堆栈;

mov rbp,rsp,将rsp放入rbp;

mov DWORD PTR [rbp-0x4],0xf将0xf(十六进制为15)放入rbp;

mov eax,0x0将0放入eax;

pop rbp将什么放在栈顶中;

如你所见,没有定义变量。我们甚至可以说也没有变量名,但是最终我们在rbp中确实有15个。

让我们看一下这段代码:

输出内容:

从上面的输出中,我们将了解每个会话的大小。到目前为止,你可以看到引用的bss列的大小为“8”。

现在让我们看看如果通过添加新变量来修改代码:

输出内容:

如你所见,bss从8个字节增加到12个字节,我们可以轻松地认为我们的全局变量存储在bss中,因为他的值确实增加了。

现在,我们将在主函数中包含一个静态变量,以进行另一项测试,然后看看会发生什么。

输出内容:

如你所见,变量没有像前面的示例那样存储在bss中,而是存储在从512字节变为516字节的数据中。看起来很有趣,不是吗?

进行最终测试,以了解如果初始化全局变量会发生什么。

输出内容:

我们得到相同的结果,你知道为什么吗?全局变量(如果已初始化)将被放入数据中。我认为如果此时已经开发了足够的内容,可以让你了解变量的存储位置和存储方式。

内存如何运作?

现在,我们将不谈论你的物理内存,而是谈论RAM及其如何由操作系统管理。在计算机上运行的进程需要内存,而在计算机中,内存量是有限的。

因此,进程必须寻找可用的内存才能工作。假设有多个进程同时运行。如果两个进程想要访问相同的内存区域,将会发生什么?而且,如果某个进程写入了一个内存区域,那么另一个进程将用其数据覆盖该相同的内存区域,那么第一个进程将考虑找到其数据,但它将找到第二个进程的数据。这可能是一个很大的问题,不是吗?

通过为每个进程分配一定范围的虚拟内存,在32位系统上限制为4GB,在64位系统上限制为8 GB,这是操作系统的主要函数用来解决此问题的位置。

每个进程将能够使用所需的内存地址,而不必担心其他进程,操作系统的内核将设法链接虚拟内存和实际内存。

栈和堆

现在,我们将继续进行一些非常重要的事情,堆可以由程序员操纵。这是写入动态分配的内存区域malloc()或calloc()的内存部分。

此存储区域没有固定大小,它根据我们的要求增加或减少,我们可以通过分配或释放算法保留或删除块以供将来使用。堆大小越大,内存地址越大,并且它们与堆栈中的内存地址越接近。与堆栈不同,除了物理内存限制外,堆中变量的大小不受限制。

程序中的任何地方都可以使用指针访问堆中存储的变量,堆栈的大小也可变,但是堆栈的大小增加得越大,内存地址减少的越多,从而接近堆的顶部。函数的堆栈框架是堆栈中的一个存储区域,在其中存储了调用此函数所需的所有信息,该函数还有局部变量。

理解堆栈的概念

让我们从LIFO开始讲起,它并不代表任何复杂的事情,因为我们之前已经看到过。 LIFO代表后进先出。这就是说,放到栈上的最后一件事是我们要发布的第一个东西,尤其是通过pop和push看到的。

最终缓冲区溢出

最后,我们进入开发部分。让我们来看下面的一小段代码。

该代码看起来完全正常,在学习“C”语言时必须使用scanf函数。但是,如果我们看一下此示例中的堆栈,该怎么办。

[buffer (100)] [int a] [saved ebp] [saved eip]

你可能想知道保存的ebp和eip是什么?其实,我们不在乎“保存的ebp”,我们感兴趣的是“保存的eip”。你还记得eip包含什么吗?下一条要执行的指令的地址。如果我们更改此地址,我们可以执行任何操作!

但是,如何更改此值?这很简单!你会发现scanf不会检查接收到的字符数!让我们用以下一段代码来演示。

如果在执行scanf时给出的值太大(例如,多个“A”),则会导致缓冲区溢出。因此,该程序将向我们返回分段错误。但是,如果我们通过有效地址更改“A”值,则可以跳转到任何位置,特别是在adminfunction()上。

缓冲区溢出和远程堆溢出的区别,以iOS Mail 客户端MFMutable中的远程堆溢出为例。

在分析代码流时,我们确定了以下内容:

1.以原始MIME格式下载电子邮件时,会调用函数[MFDAMessageContentConsumer ConsumerData:length:format:mailMessage:],并且该函数也会多次调用,直到电子邮件以交换模式下载为止。它将创建一个新的NSMutableData对象,并为属于同一电子邮件/ MIME消息的任何新流数据调用appendData:。对于其他协议(例如IMAP),它改用-[MFConnection readLineIntoData:],但逻辑和漏洞是相同的。

2.NSMutableData将阈值设置为0x200000字节,如果数据大于0x200000字节,它将把数据写入文件,然后使用mmap系统调用将文件映射到设备内存。阈值大小0x200000可以轻易增加,因此每次需要添加新数据时,都会重新映射文件,并且文件大小以及mmap大小也会越来越大。

3.重新映射是在-[MFMutableData _mapMutableData:]内部完成的,该漏洞位于此函数内部。

易受攻击的函数的伪代码如下:-[MFMutableData _mapMutableData:] 在mmap系统调用失败时调用函数 MFMutableData__mapMutableData___block_invoke。

MFMutableData__mapMutableData___block_invoke的伪代码如下,它分配一个大小为8的堆内存,然后用分配的内存替换data-> bytes指针。

在执行-[MFMutableData _mapMutableData:]之后,进程继续执行-[MFMutableData appendBytes:length:],从而在将数据复制到分配的内存时导致堆溢出。

append_length是来自流式传输的数据块的长度,由于MALLOC_NANO是一个可预测的内存区域,因此可以利用此漏洞。

攻击者不需要耗尽最后一点内存来导致mmap失败,因为mmap需要一个连续的内存区域。

根据mmap的操作说明,如果指定了MAP_ANON并且可用内存不足,则mmap将失败。

目标是使mmap失败,理想情况下,一封足够大的邮件将不可避免地导致失败。但是,我们认为,可以使用其他可以耗尽资源的技巧来触发漏洞。这些技巧可以通过多部分、RTF和其他格式来实现,我们会在稍后再介绍。

另一个影响可利用性的重要因素是硬件规格:iPhone 6拥有1GB内存;iPhone 7有2GB内存;iPhone X有3GB内存;

较旧的设备具有较小的物理RAM和较小的虚拟内存空间,因此没有必要耗尽所有的RAM来触发这个漏洞,当mmap在可用的虚拟内存空间中找不到给定大小的连续内存时,它就会失败。

我们已经确定,MacOS不会同时受到这两个漏洞的攻击。

在iOS 12中,触发漏洞更容易,因为数据流传输是在同一过程中完成的,因为默认邮件应用程序(MobileMail)会处理更多的资源,从而耗尽分配的虚拟内存空间(尤其是UI),而在iOS 13中,MobileMail将数据流传递到后台进程(即邮件)。它把资源集中在解析电子邮件上,从而降低了虚拟内存空间意外耗尽的风险。

由于MobileMail / maild并未明确设置电子邮件大小的最大限制,因此可以设置自定义电子邮件服务器并发送包含几GB纯文本的电子邮件。 iOS MIME /消息库在流式传输数据时将数据平均分成大约0x100000字节,因此完全可以不下载整个电子邮件。

请注意,这只是如何触发此漏洞的一个示例。攻击者无需发送此类电子邮件即可触发此漏洞,并且采用多部分、RTF或其他格式的其他技巧也可以使用标准大小的电子邮件实现相同的目标。

目前,苹果修复了iOS 13.4.5 beta中的两个漏洞,如以下屏幕截图所示:

为了缓解这些漏洞,你可以使用最新版的Beta。如果无法使用Beta版,不过要禁用邮件应用程序,并使用不易受攻击的Outlook,Edison Mail或Gmail。

什么是缓冲区溢出以及如何利用漏洞?相关推荐

  1. 缓冲区溢出之栈溢出利用(手动编写无 payload 的 Exploit)

    0x01 介绍 Exploit 的英文意思就是利用,它在黑客眼里就是漏洞利用.有漏洞不一定就有Exploit(利用),有Exploit就肯定有漏洞.编写缓冲区溢出的Exploit分为3个方面:漏洞溢出 ...

  2. 缓冲区溢出-printf格式化输出漏洞

    0x00本文视频: 如果文字过于枯燥可观看在线视频:https://edu.51cto.com/sd/16514 0x01基础知识: 在c语言中printf的使用方法为printf(format,&l ...

  3. Realtek SDK缓冲区溢出和命令执行漏洞说明

    漏洞简述 在2021年,IOT INSPECTOR 公开了 Realtek SDK 多个高危漏洞,并公布了其漏洞细节.未经身份验证的攻击者可以远程利用这些漏洞 完全破坏目标设备并以最高级别的权限执行任 ...

  4. 验证本地缓冲区溢出漏洞攻击

    Info:本篇主要是为了验证本地缓冲区溢出,这是理解缓冲区溢出攻击的第一步,有了这一步,才能更深刻的理解到什么是缓冲区漏洞攻击,从而对以后的学习奠定一定的基础(注意:以下请在linux环境下实验) 基 ...

  5. 缓冲区溢出攻击-C语言中的危险函数

    1.缓冲区溢出攻击 缓冲区溢出是指当计算机向缓冲区内填充数据位数时超过了缓冲区本身的容量,溢出的数据覆盖在合法数据上.理想的情况是:程序会检查数据长度,而且并不允许输入超过缓冲区长度的字符.但是绝大多 ...

  6. 缓冲区溢出攻击指什么?如何防御?

    缓冲区溢出攻击是利用缓冲区溢出漏洞所进行的攻击行为,是一种非常普遍.非常危险的漏洞,也是最常见的网络攻击手段,该攻击虽然简单但危害性极大.那么缓冲区溢出攻击是什么?如何防御?本文详细介绍一下. 缓冲区 ...

  7. Linux下缓冲区溢出攻击的原理及对策

    前言 从逻辑上讲进程的堆栈是由多个堆栈帧构成的,其中每个堆栈帧都对应一个函数调用.当函数调用发生时,新的堆栈帧被压入堆栈:当函数返回时,相应的堆栈帧从堆栈中弹出.尽管堆栈帧结构的引入为在高级语言中实现 ...

  8. “缓冲区溢出攻击”原理分析及实例演示

    一.原理分析 缓冲区溢出是一种非常普遍.非常危险的漏洞,在各种操作系统.应用软件中广泛存在.利用缓冲区溢出攻击,可以导致程序运行失败.系统宕机.重新启动等后果.更为严重的是,可以利用它执行非授权指令, ...

  9. 深入理解黑客攻击-缓冲区溢出攻击

    缓冲区溢出攻击是利用缓冲区溢出漏洞所进行的攻击行动 如果有人利用栈中分配的缓冲区写溢出,悄悄地将一段恶意代码的首地址 作为返回地址覆盖写到原先的正确的返回地址处.那么程序在执行ret的时候会悄悄地转移 ...

最新文章

  1. python运算符括号_Python合集之Python运算符(四)
  2. ZkServer服务启动的逻辑-NIOServerCnxnFactory.start
  3. mysql8 php7_在centos7安装nginx+mysql8+php7(LNMP)
  4. 操作系统02进程管理Process_Description_and_Control
  5. java如何中断父类方法_java – 如何测试调用父类的受保护(不需要)方法的方法?...
  6. linux源码中的核心数据结构
  7. android studio查看应用文件,AndroidStudio里面使用openFileOutput新建的文件如何查看
  8. Jmeter进行接口测试流程步骤详解
  9. Resizable BAR support(MSDN翻译)
  10. GD32库中常用的位操作REGIDX_BIT(regidx, bitpos)
  11. 企鹅龙(DRBL)无盘启动+再生龙(clonezilla)网络备份与还原系统
  12. python工具脚本,网站广告违禁词检测脚本源码
  13. 全球与中国湿疹护理产品市场现状及未来发展趋势(2022)
  14. Echarts 饼图设置标签颜色(单个标签颜色、多个标签颜色)
  15. Arduino控制TM1637共阳四位数码管
  16. Hyper-V相关Powershell cmdlets
  17. 详解Ubuntu的网络配置
  18. Windows下隐藏文件夹
  19. 惠普战66 三代 pro win10下安装ubuntu20.04
  20. 素描入门静物的学习方法

热门文章

  1. 史上最全的中国式鬼话,你肯定中枪90%以上
  2. 2020年全国硕士研究生入学统一考试管理类专业学位联考英语(二)试题
  3. ADB-Monkey测试
  4. C++匿名函数lambda详解
  5. 鸿蒙990系统支持几g网络,华为P40真机曝光,麒麟990支持5G鸿蒙2.0即将到来?
  6. Python 复制文件的 9 种方法
  7. 华为p50首发鸿蒙,华为P50发布时间暂定,首发预装鸿蒙2.0
  8. locust(一)http 接口demo
  9. cuda必须装在c盘吗_CUDA一些小知识整理
  10. 第8章 ——构建DVD租赁商店数据仓库