跳转至

堆中的检查

_int_malloc

初始检查

检查目标 检查条件 信息
申请的大小 REQUEST_OUT_OF_RANGE(req) :((unsigned long) (req) >= (unsigned long) (INTERNAL_SIZE_T)(-2 * MINSIZE)) __set_errno(ENOMEM)

fastbin ed

检查目标 检查条件 报错信息
chunk 大小 fastbin_index(chunksize(victim)) != idx malloc(): memory corruption (fast)

Unsorted bin

检查目标 检查条件 报错信息
unsorted bin chunk 大小 chunksize_nomask (victim) <= 2 * SIZE_SZ || chunksize_nomask (victim) av->system_mem malloc(): memory corruption

top chunk

检查目标 检查条件 信息
top chunk size (unsigned long) (size) >= (unsigned long) (nb + MINSIZE) 方可进入

__libc_free

mmap 块

检查目标 检查条件 信息
chunk size 标记位 chunk_is_mmapped (p) 方可进入

非mmap 块

__int_free

初始检查

检查目标 检查条件 报错信息
释放chunk位置 (uintptr_t) p > (uintptr_t) -size || misaligned_chunk(p) free(): invalid pointer
释放chunk的大小 size < MINSIZE || !aligned_OK(size) free(): invalid size

fastbin

检查目标 检查条件 报错信息
释放chunk的下一个chunk大小 chunksize_nomask(chunk_at_offset(p, size)) <= 2 * SIZE_SZ, chunksize(chunk_at_offset(p, size)) >= av->system_mem free(): invalid next size (fast)
释放 chunk对应链表的第一个chunk fb = &fastbin(av, idx),old= *fb, old == p double free or corruption (fasttop)
fastbin索引 old != NULL && old_idx != idx invalid fastbin entry (free)

non-mmapped 块检查

检查目标 检查条件 报错信息
释放chunk位置 p == av->top double free or corruption (top)
next chunk 位置 contiguous (av) && (char ) nextchunk >= ((char ) av->top + chunksize(av->top)) double free or corruption (out)
next chunk 大小 chunksize_nomask (nextchunk) <= 2 * SIZE_SZ || nextsize >= av->system_mem free(): invalid next size (normal)

检查目标 检查条件 报错信息
size vs prev_size chunksize(P) != prev_size (next_chunk(P)) corrupted size vs. prev_size
Fd, bk 双向链表检查 FD->bk != P || BK->fd != P corrupted double-linked list
nextsize 双向链表 P->fd_nextsize->bk_nextsize != P || P->bk_nextsize->fd_nextsize != P corrupted double-linked list (not small)

评论