Large Bin Attack

Reading time: 4 minutes

基本信息

有关大型 bin 的更多信息，请查看此页面：

Bins & Memory Allocations

在 how2heap - large bin attack 中可以找到一个很好的示例。

基本上，在最新的 glibc（2.35）“当前”版本中，可以看到没有检查：P->bk_nextsize，这允许在满足某些条件时用大型 bin 块的值修改任意地址。

在该示例中，可以找到以下条件：

• 分配了一个大型块
• 分配了一个小于第一个块但在同一索引中的大型块
• 必须更小，因此它必须首先进入 bin
• （创建一个块以防止与顶部块合并）
• 然后，释放第一个大型块并分配一个比它更大的新块 -> Chunk1 进入大型 bin
• 然后，释放第二个大型块
• 现在，漏洞：攻击者可以将 chunk1->bk_nextsize 修改为 [target-0x20]
• 然后，分配一个比 chunk 2 更大的块，因此 chunk2 被插入到大型 bin 中，覆盖地址 chunk1->bk_nextsize->fd_nextsize，其值为 chunk2 的地址

这是 malloc 中的相关代码。已添加注释以更好地理解地址是如何被覆盖的：

/* if smaller than smallest, bypass loop below */
assert (chunk_main_arena (bck->bk));
if ((unsigned long) (size) < (unsigned long) chunksize_nomask (bck->bk))
{
fwd = bck; // fwd = p1
bck = bck->bk; // bck = p1->bk

victim->fd_nextsize = fwd->fd; // p2->fd_nextsize = p1->fd (Note that p1->fd is p1 as it's the only chunk)
victim->bk_nextsize = fwd->fd->bk_nextsize; // p2->bk_nextsize = p1->fd->bk_nextsize
fwd->fd->bk_nextsize = victim->bk_nextsize->fd_nextsize = victim; // p1->fd->bk_nextsize->fd_nextsize = p2
}

这可以用来覆盖libc的global_max_fast全局变量，从而利用更大块的快速堆攻击。

您可以在guyinatuxedo找到对该攻击的另一个很好的解释。

其他示例

• La casa de papel. HackOn CTF 2024
• 在how2heap中出现的相同情况的大型堆攻击。
• 写入原语更复杂，因为global_max_fast在这里无用。
• 需要FSOP来完成利用。