48、调试技巧与工具使用

调试技巧与工具使用

1. Electric Fence 的功能与局限

1.1 检测越界与下溢

Electric Fence 不仅能检测内存越界（overruns），还能检测内存下溢（underruns）。内存下溢是指进程向内存块之前的地址写入数据，这种错误可能在指针运算时发生，例如：

char *buf = malloc(1024); ... char *ptr = buf + 10; ... *(ptr - 11) = '\0';

要使用 Electric Fence 检测这种下溢，需要设置环境变量EF_PROTECT_BELOW：

$ EF_PROTECT_BELOW=1 ef ./underrun

错误会引发SIGSEGV信号，从而定位到产生错误的代码行。

1.2 存在的问题

• 内存使用问题：Electric Fence 会为每个分配的内存块额外分配一个只读页，这会使代码使用的内存比正常情况多很多。对于分配大量小内存块的应用程序，堆内存使用量会显著增加。
• 单字节越界检测困难：由于分配库中的块对齐问题，在某些情况下很难检测单字节越界。
• 错误信息不丰富：Electric Fence 仅