堆漏洞挖掘——malloc一个chunk的检测机制

一、前言

• 我们知道：当malloc时，如果fastbins、smallbins中有满足需求的chunk可以使用时，malloc就会在相关的bins链中寻找可用的freechunk来使用。
• 但是取走一个freechunk是有检测机制的。

二、fastbin的检测机制

机制规则如下

• 检测1：检测你要malloc的freechunk的大小是否在该chunk所在的fastbin链的大小尺寸范围内（例如：一个fastbin链所存储的chunk大小必须在0x30-0x40之间，但是你要申请的这个chunk却是0x50，那么就会程序就报错退出）。
• 检测2：检测你这个freechunk的size成员的PREV_INUSE为是否为1，为1才可以通过检测。

check_remalloced_chunk函数

• 函数功能：该函数主要用来检测chunk的NON_MAIN_ARENA、IS_MAPPED、PREV_INUSE位。该函数中的if会判断chunk是否为mmap申请，还有是否为main_arena管理等。
• 在fastbin中：主要用来会检测你要malloc的这个chunk的PREV_INUSE为是否为1。
• 如果是正常chunk就可以过这个检测，但是是fastbin attack，那么需要设计来跳过这个检测。

三、smallbin的检测机制

• 判断下一个chunk的fd指针释放为自己，victim此时为要malloc出去的chunk，bck是后一个chunk。
• 如果使用了unlink攻击，那么bk就被改了，从而bck就改了，那么bck的fd也就变了，此时就出错了。

---

• 我是小董，V公众点击"笔记白嫖"解锁更多【堆漏洞挖掘】资料内容。