无需重编译glibc，如何禁用其堆破坏检测及unlink保护？

MALLOC_CHECK_=0仅能禁用部分运行时错误报告逻辑，无法跳过_int_free和unlink_chunk中硬编码的堆结构完整性检查，以下是可行方案：

1. 利用LD_PRELOAD Hook关键函数或patch检测逻辑 #

• 编写自定义共享库，通过hook技术绕过检测：
  • 跳过双释放检测：Hook __libc_free，反编译对应glibc版本的_int_free找到双释放检测代码段，在自定义函数中修改内存或直接跳过对应分支。
  • 跳过unlink链表检测：Patch unlink_chunk函数中FD->bk == P和BK->fd == P的检查指令，将跳转指令替换为nop（无操作指令），使检测失败时不触发abort。
• 编译共享库为.so文件后，通过LD_PRELOAD=./your_hook.so ./broken_program加载运行。

2. GDB运行时动态patch检测代码 #

适合单次调试实验，无需修改程序或库文件：

• 启动GDB加载目标程序：gdb ./broken_program
• 反编译目标函数找到检测跳转指令：

  disas unlink_chunk
  

• 定位检测失败后触发abort的跳转指令内存地址，将其修改为nop（x86架构指令为0x90）：

  set {unsigned char}0x<目标地址> = 0x90
  

• 继续运行程序，检测逻辑会被跳过。

3. Hook abort()函数抑制崩溃 #

若仅需避免检测触发的程序崩溃（而非真正跳过检测），可采用此方法：

• 编写含空实现abort()的共享库：

  #include <stdlib.h>
  void abort(void) { /* 空实现，不执行崩溃逻辑 */ }
  

• 编译为共享库：gcc -shared -fPIC -o hook_abort.so hook_abort.c
• 运行程序：LD_PRELOAD=./hook_abort.so ./broken_program
• 注意：此方法仅抑制崩溃，堆损坏的实际问题仍存在，程序后续行为可能不可预测。

内容的提问来源于stack exchange，提问作者cryptobeginner