dmalloc库如何确定发生了越界访问？

执行此代码时，库dmalloc以某种方式确定存在越界内存访问。因为它分配了1023个元素并试图访问1024个元素。（数组索引是基于0的）

---

它怎么知道呢？

当使用dmalloc库时，它实际上分配的比您请求的多。它在返回给您的内存之前和之后各保留一个区域。这些区域将填充特殊值，然后在释放内存时进行检查。如果这些值不正确，那么您显然已经修改了超出范围的内存。

最简单的方法是使用Sentinel，它只是由dmalloc用已知模式填充的内存块。然后，它可以检查该模式是否已被破坏，并标记一个错误。

这将在联机的dmalloc文档中介绍，附加信息见。

#include "dmalloc.h"
int main(){

    char *ch = malloc(1023);
    ch[1023] = 0x00;
    return 0;
}