Linux内存越界检测方法——valgrind



Linux内存越界检测方法——valgrind


一.Valgrind

1.下载安装

下载地址:http://valgrind.org/downloads/current.html#current

#configure

#make

#make install

2.使用

2.1内在越界

写一段有内存访问越界的代码,如下:

#include <stdio.h>

#include <stdlib.h> 

#include <errno.h>

 

int main() 

{

    char *p = NULL;

    char *temp = NULL;

    

    p = (char*)malloc(sizeof(char));

 

    if (NULL == p) 

    {

        perror("Cannot allocate memory.");

        return -1;

    }

    

    temp[0] = p[6];

 

    free(p);

    p = NULL;

    return 0;

}

保存文件test.c

在上面的代码中,我们给p分配了一个字节的空间,后面却要访问p[6],看看会出现什么情况。

2.1.1DEBUG编译

#gcc t-g test.c -o test

2.1.2运行分析

首先直接运行

#./test

段错误 (core dumped)

直接报错退出。

使用valgrind加载运行test

#valgrind --tool=memcheck --leak-check=full ./test

==17686== Memcheck, a memory error detector

==17686== Copyright (C) 2002-2013, and GNU GPL‘d, by Julian Seward et al.

==17686== Using Valgrind-3.10.1 and LibVEX; rerun with -h for copyright info

==17686== Command: ./test

==17686== 

==17686== Invalid read of size 1

==17686==    at 0x40059A: main (test.c:19)

==17686==  Address 0x4c22046 is 5 bytes after a block of size 1 alloc‘d

==17686==    at 0x4A0720A: malloc (vg_replace_malloc.c:296)

==17686==    by 0x400575: main (test.c:10)

==17686== 

==17686== Invalid write of size 1

==17686==    at 0x4005A1: main (test.c:19)

==17686==  Address 0x0 is not stack‘d, malloc‘d or (recently) free‘d

==17686== 

==17686== 

==17686== Process terminating with default action of signal 11 (SIGSEGV)

==17686==  Access not within mapped region at address 0x0

==17686==    at 0x4005A1: main (test.c:19)

==17686==  If you believe this happened as a result of a stack

==17686==  overflow in your program‘s main thread (unlikely but

==17686==  possible), you can try to increase the size of the

==17686==  main thread stack using the --main-stacksize= flag.

==17686==  The main thread stack size used in this run was 10485760.

==17686== 

==17686== HEAP SUMMARY:

==17686==     in use at exit: 1 bytes in 1 blocks

==17686==   total heap usage: 1 allocs, 0 frees, 1 bytes allocated

==17686== 

==17686== LEAK SUMMARY:

==17686==    definitely lost: 0 bytes in 0 blocks

==17686==    indirectly lost: 0 bytes in 0 blocks

==17686==      possibly lost: 0 bytes in 0 blocks

==17686==    still reachable: 1 bytes in 1 blocks

==17686==         suppressed: 0 bytes in 0 blocks

==17686== Reachable blocks (those to which a pointer was found) are not shown.

==17686== To see them, rerun with: --leak-check=full --show-leak-kinds=all

==17686== 

==17686== For counts of detected and suppressed errors, rerun with: -v

==17686== ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 4 from 4)

段错误 (core dumped)

 

我们看到,valgrind共报了两个错误,见上面红色部分,我们分别分析一下:

==17686== Invalid read of size 1

==17686==    at 0x40059A: main (test.c:19)

==17686==  Address 0x4c22046 is 5 bytes after a block of size 1 alloc‘d

==17686==    at 0x4A0720A: malloc (vg_replace_malloc.c:296)

==17686==    by 0x400575: main (test.c:10)

这个是读错误,指出在test.c的第19行,在第10行(p = (char*)malloc(sizeof(char));)正常分配给地址(0x4A0720A1个字节,读的地址(0x4c22046)却是之后的5个字节处(我们访问的p[6])。

 

再分析第二个错误:

==17686== Invalid write of size 1

==17686==    at 0x4005A1: main (test.c:19)

==17686==  Address 0x0 is not stack‘d, malloc‘d or (recently) free‘d

Valgrind报怨我们没有分配就开始使用,说的应该是temp了。

2.2内存泄露

2.2.1代码修改

对于内存泄露,valgrind也可以很好地检查出来,在上例中,做如下修改:

#include <stdio.h>

#include <stdlib.h> 

#include <errno.h>

 

int main() 

{

    char *p = NULL;

    char *temp = NULL;

    

    p = (char*)malloc(sizeof(char));

 

    if (NULL == p) 

    {

        perror("Cannot allocate memory.");

        return -1;

    }

    

    

    //temp[0] = p[6];

 

    

    //free(p);

    p = NULL;

   

 

    return 0;

}

注释内存访问越界和释放内存的代码。

2.2.2编译并运行

编译(见上)。

先直接运行:

#./test

没有任何提示。

再次使用Valgrind加载。

valgrind --tool=memcheck --leak-check=full ./test

==17793== Memcheck, a memory error detector

==17793== Copyright (C) 2002-2013, and GNU GPL‘d, by Julian Seward et al.

==17793== Using Valgrind-3.10.1 and LibVEX; rerun with -h for copyright info

==17793== Command: ./test

==17793== 

==17793== 

==17793== HEAP SUMMARY:

==17793==     in use at exit: 1 bytes in 1 blocks

==17793==   total heap usage: 1 allocs, 0 frees, 1 bytes allocated

==17793== 

==17793== 1 bytes in 1 blocks are definitely lost in loss record 1 of 1

==17793==    at 0x4A0720A: malloc (vg_replace_malloc.c:296)

==17793==    by 0x400525: main (test.c:10)

==17793== 

==17793== LEAK SUMMARY:

==17793==    definitely lost: 1 bytes in 1 blocks

==17793==    indirectly lost: 0 bytes in 0 blocks

==17793==      possibly lost: 0 bytes in 0 blocks

==17793==    still reachable: 0 bytes in 0 blocks

==17793==         suppressed: 0 bytes in 0 blocks

==17793== 

==17793== For counts of detected and suppressed errors, rerun with: -v

==17793== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 4 from 4)

2.2.3分析

在上面标红的描述中,告诉我们1个字节初分配,但未释放,这1个字节是在test.c的第10行(p = (char*)malloc(sizeof(char));)分配的。

 

3.总结

由于HEAP SUMMARY是在程序正常退出时统计的内存泄露,所以如果程序异常退出,只能对已经运行的内存进行越界检查,无法进行内存泄露的统计。

 

郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。