mcheck函数

    文章出处：http://book.chinaitlab.com/linux/777316.html

    mcheck是Glibc提供函数，声明如下：

    int mcheck （void （*abortfn） （enum mcheck_status status））

    此函数通知malloc进行一致性检查。它可以检查出内存分配不匹配的情况。

    enum mcheck_status mprobe （void *pointer）

    可显式地调用它来对指针进行一致性检查。以下是可能的返回值即可能发生的错误。mcheck_status有以下枚举值:  

    MCHECK_DISABLED：禁止mcheck，不做检查。
    MCHECK_OK：没有发现内存问题。
    MCHECK_HEAD：数组或指针下溢出。
    MCHECK_TAIL：数组或指针上溢出。

    MCHECK_FREE：空间已经被释放。

    查看glibc/malloc中的代码可以发现以上函数正是通过memrecorder类似的机制实现的。此机制可通过以下方法来启动：

    （1）在main（）函数开始时或适当位置显式地调用mcheck（）函数。

    （2）加-lmcheck重新连接可执行程序。

    （3）Glibc还指出另一种启动这种检查机制的方法：即设置环境变量MALLOC_CHECK_的值。

    若将MALLOC_CHECK_设置为0，则在检查到错误时不作任何提示。

    若将MALLOC_CHECK_设置为1，则在检查到错误时打印一条信息到标准错误输出。

    若将MALLOC_CHECK_设置为2，则在检查到错误时直接调用abort（）中止程序。

    [root@localhost root]# cat MALLOC_CHECK_Example.c   //源代码内容，存储内存管理问题
    #include <stdlib.h> 
    #include <stdio.h> 
    int main（void）

    { 
        char *ptr1;
        char *ptr2;
        ptr1 = malloc(512);
        ptr2 = malloc(512);
        ptr2 = ptr1;
        printf("ok/n");
        free(ptr2);
        free(ptr1);
        printf("really ok?/n");

    }
    以下是加上-lmcheck编译并运行的情况。　　
    [root@localhost ～]# gcc -o MALLOC_CHECK_Example MALLOC_CHECK_Example.c -lmcheck 
    [root@localhost ～]# ./ MALLOC_CHECK     //运行
    ok 
    memory clobbered before allocated block Aborted 
    [root@localhost root]# gcc -o MALLOC_CHECK_Example MALLOC_CHECK_Example.c 
    [root@localhost root]# MALLOC_CHECK_=0 ./MALLOC_CHECK_Example  //设置宏值为0 
    ok 
    really ok？

    [root@localhost root]# MALLOC_CHECK_=1 ./MALLOC_CHECK_Example  //设置宏值为1 
    malloc： using debugging hooks ok free（）： invalid pointer 0x8049628！

    really ok？

    [root@localhost root]# MALLOC_CHECK_=2 ./MALLOC_CHECK_Example  //设置宏值为2