C/C++内存泄露检查利器—valgrind

客官°小女子只卖身不卖艺 2023-09-27 19:09 1阅读 0赞

# 1、Valgrind概述 #

Valgrind是一套Linux下，开放源代码（GPL V2）的仿真调试工具的集合。

Valgrind由内核（core）以及基于内核的其他调试工具组成。内核类似于一个框架（framework），它模拟了一个CPU环境，并提供服务给其他工具；而其他工具则类似于插件 (plug-in)，利用内核提供的服务完成各种特定的内存调试任务。

![2ddc30b4f23677f88705c61eab0b14de.png][]

## 2、工具下载安装 ##

参考地址：https://www.valgrind.org/downloads/

安装：

tar –xf valgrind-3.17.0.tar.bz2
    cd valgrind-3.17.0
    ./configure         // 运行配置脚本生成makefile文件，可以--help查看配置项，自行按需配置，比如修改编译工具、修改安装路径等
    make
    make install        //安装生成可执行文件，可执行文件的路径有参数--prefix指定，需要在PATH中添加环境变量；若不加参数--prefix指定，仅使用默认配置，则会自动关联

安装完后可以使用：

valgrind --help查看使用方法

## 3、使用基本选项 ##

### 3.1 基本工具介绍 ###

*  Memcheck。这是valgrind应用最广泛的工具，一个重量级的内存检查器，能够发现开发中绝大多数内存错误使用情况，比如：使用未初始化的内存，使用已经释放了的内存，内存访问越界等。这也是本文将重点介绍的部分。
 *  Callgrind。它主要用来检查程序中函数调用过程中出现的问题。
 *  Cachegrind。它主要用来检查程序中缓存使用出现的问题。
 *  Helgrind。它主要用来检查多线程程序中出现的竞争问题。
 *  Massif。它主要用来检查程序中堆栈使用中出现的问题。
 *  Extension。可以利用core提供的功能，自己编写特定的内存调试工具

### 3.2 常用选项 ###

1.  适用于所有Valgrind工具

–tool=< name > 最常用的选项。运行 valgrind中名为toolname的工具。默认memcheck。
    -h --help 显示帮助信息。
    –version 显示valgrind内核的版本，每个工具都有各自的版本。
    -q --quiet 安静地运行，只打印错误信息。
    -v --verbose 更详细的信息, 增加错误数统计。
    –trace-children=no|yes 跟踪子线程? [no]
    –track-fds=no|yes 跟踪打开的文件描述？[no]
    –time-stamp=no|yes 增加时间戳到LOG信息? [no]
    –log-fd=< number > 输出LOG到描述符文件 [2=stderr]
    –log-file=< file > 将输出的信息写入到filename.PID的文件里，PID是运行程序的进行ID
    –log-file-exactly=< file > 输出LOG信息到 file
    –log-file-qualifier=< VAR > 取得环境变量的值来做为输出信息的文件名。 [none]
    –log-socket=ipaddr:port 输出LOG到socket ，ipaddr:port

1.  LOG信息输出

–xml=yes 将信息以xml格式输出，只有memcheck可用
    –num-callers=< number > show < numbe r> callers in stack traces [12]
    –error-limit=no|yes 如果太多错误，则停止显示新错误? [yes]
    –error-exitcode=< number > 如果发现错误则返回错误代码 [0=disable]
    –db-attach=no|yes 当出现错误，valgrind会自动启动调试器gdb。[no]
    –db-command=< command > 启动调试器的命令行选项[gdb -nw %f %p]

1.  适用于Memcheck工具的相关选项：

更详细的使用信息详见帮助文件、man手册或官网：http://valgrind.org/docs/manual/manual-core.html

1.  注意

（1）valgrind不会自动的检查程序的每一行代码，只会检查运行到的代码分支，所以单元测试或功能测试用例很重要；

（2）可以把valgrind看成是一个sandbox，通过valgrind运行的程序实际上是运行在valgrind的sandbox中的，所以，不要测试性能，会让你失望的，建议只做功能测试

（3）编译代码时，建议增加-g -o0选项，不要使用-o1、-o2选项

### 3.3 常用选项示例 ###

> –tool=< name > : use the Valgrind tool named < name > \[memcheck\]  
> –log-file=< file > : log messages to < file >

示例：

valgrind --tool=memcheck --log-file=log.txt --leak-check=yes  ./test

说明：使用memcheck工具对test程序进行包含内存泄漏的检查，并将日志保存到log.txt

## 4、Memcheck工具介绍 ##

Memcheck是valgrind应用最广泛的工具，能够发现开发中绝大多数内存错误使用情况。此工具主要可检查以下错误

*  使用未初始化的内存(Use of uninitialised memory)
 *  使用已经释放了的内存(Reading/writing memory after it has been free’d)
 *  使用超过malloc分配的内存空间(Reading/writing off the end of malloc’d blocks)
 *  对堆栈的非法访问(Reading/writing inappropriate areas on the stack)
 *  申请的空间是否有释放(Memory leaks – where pointers to malloc’d blocks are lost forever)
 *  malloc/free/new/delete申请和释放内存的匹配(Mismatched use of malloc/new/new \[\] vs free/delete/delete \[\])
 *  src和dst的重叠(Overlapping src and dst pointers in memcpy() and related functions)

#include<iostream>
    int main()
    {
     int *pInt;
     std::cout<<"使用未初始化的内存";
     int a=*pInt;    //使用未初始化的内存
    }
    
    #include<iostream>
    int main()
    {
     int *pArray=(int *)malloc(sizeof(int) *5);
     std::cout<<"使用已经释放了的内存";
     free(pArray);
     pArray[0]=0;    //使用已经释放了的内存
    }
    
    #include<iostream>
    int main()
    {
     int *pArray=(int *)malloc(sizeof(int) *5);
     std::cout<<"使用超过malloc分配的内存空间";
     pArray[5]=5;    //使用超过malloc分配的内存空间
     free(pArray);
    }
    
    #include<iostream>
    int main()
    {
     int *pArray=(int *)malloc(sizeof(int) *5);
     std::cout<<"malloc缺少free";
    }
    
    #include<iostream>
    int main()
    {
     char a[10];
     for (char c=0; c < sizeof(a); c++)
     {
      a[c]=c;
     }
     std::cout<<"拷贝的src和dst存在重叠";
     memcpy(&a[4],&a[0],6);
    }

注：程序有时会申请很多常驻节点，这些未释放的节点不应视为问题；

一般随着程序的运行，导致节点单向增加的malloc或new操作，视为内存泄漏

### 4.1 示例1 ###

源码：

#include<iostream>
    int main()
    {
     int *pArray=(int *)malloc(sizeof(int) *5);
     std::cout<<"使用超过malloc分配的内存空间";
     pArray[5]=5;    //使用超过malloc分配的内存空间
     free(pArray);
    }
    12345678

编译：

g++ test1.cpp -g -o test1_g   //-g：让 memcheck 工具可以取到出错的具体行号

调试：

valgrind --leak-check=yes --log-file=1_g ./test1_g

生成日志文件1\_g：

![c10647e14c13efa5101da68d2bc8c020.png][]

（1）当前程序（./test1\_g)的进程号

（2）valgrind memcheck工具的license说明

（3）加载程序的运行方式

（4）父进程号，当前终端的进程

（5）检测到的错误信息

（6）堆栈摘要、小结，该例子中总共两次alloc、两次free，没有内存泄漏

（7) 检测到的错误数量，这里提示1个

### 4.2 示例2 ###

#include<iostream>
    int main()
    {
     int *pArray=(int *)malloc(sizeof(int) *5);
     std::cout<<"使用已经释放了的内存";
     free(pArray);
     pArray[0]=0;    //使用已经释放了的内存
    }

编译：

g++ test7.cpp -g -o test7_g   //-g：让 memcheck 工具可以取到出错的具体行号

调试：

valgrind --leak-check=yes --log-file=7_g ./test7_g

生成日志文件7\_g：

![62e95392fbc10efc7d351ada5ef6c6e0.png][]

（1）因为还是使用同一个终端，所以父进程还是8248

（2) 有两个非法的读、写错误

编译：

g++ test7.cpp -g -o test2_g_O2 -O2

调试：

valgrind --leak-check=yes --log-file=7_g_O2 ./test7_g_O2

生成日志文件7\_g\_O2：

![62306cca43589ea3a14ee1de8c010473.png][]

可以看到同样的程序，在加上-O2之后，pArray\[0\]=0;语句被优化掉了，所以没有被检测出来。

为了做到更严格的检测，编译时需要保证编译器没有做优化，即优化等级为-O0，gcc、g++默认就是采用-O0的，但是大部分实际设计都会在Makefile中添加-O1或者-O2参数，所以最好还是检查下。

### 4.3 Memcheck 报告输出文档整体格式总结 ###

![62e95392fbc10efc7d351ada5ef6c6e0.png][]

1.  copyright 版权声明
2.  异常读写报告  
    2.1 主线程异常读写
    
    线程A异常读写报告  
    线程B异常读写报告
3.  其他线程
4.  堆内存泄露报告  
    4.1 堆内存使用情况概述(HEAP SUMMARY)
    
    4.2 确信的内存泄露报告(definitely lost)
    
    4.3 可疑内存操作报告 (show-reachable=no关闭，打开：–show-reachable=yes)
    
    4.4 泄露情况概述(LEAK SUMMARY)

### 4.4 Memcheck 日志报告的基本格式 ###

![699f5096240bd43d32bc929d4161e151.png][]

{问题描述}
    at {地址、函数名、模块或代码行}
    by {地址、函数名、代码行}
    by …{逐层依次显示调用堆栈}
    Address 0x??? {描述地址的相对关系}

### 4.5 memcheck包含的7类错误 ###

1.  illegal read/illegal write errors  
    提示信息：\[invalid read of size 4\]
2.  use of uninitialised values  
    提示信息：\[Conditional jump or move depends on uninitialised value\]
3.  use of uninitialised or unaddressable values in system calls  
    提示信息：\[syscall param write(buf) points to uninitilaised bytes\]
4.  illegal frees  
    提示信息：\[invalid free()\]
5.  when a heap block is freed with an inappropriate deallocation function  
    提示信息：\[Mismatched free()/delete/delete\[\]\]
6.  overlapping source and destination blocks  
    提示信息：\[source and destination overlap in memcpy(,)\]
7.  memory leak detection  
    ① still reachable  
    内存指针还在还有机会使用或释放，指针指向的动态内存还没有被释放就退出了
    
    ② definitely lost  
    确定的内存泄露，已经不能访问这块内存
    
    ③ indirectly lost  
    指向该内存的指针都位于内存泄露处
    
    ④ possibly lost  
    可能的内存泄露，仍然存在某个指针能够快速访问某块内存，但该指针指向的已经不是内存首位置

### 4.6 memcheck工具原理 ###

Memcheck实现了一个仿真的CPU，被监控的程序被这个仿真CPU解释执行，该仿真CPU可以在所有的内存读写指令发生时，检测地址的合法性和读操作的合法性。

![1faa8ef81c1a3e06d81fdc7c621b5b2f.png][]

Memcheck 能够检测出内存问题，关键在于其建立了两个全局表。

1.  Valid-Value 表：
    
    对于进程的整个地址空间中的每一个字节(byte)，都有与之对应的8 个bits；对于CPU 的每个寄存器，也有一个与之对应的bit 向量。这些bits 负责记录该字节或者寄存器值是否具有有效的、已初始化的值。
2.  Valid-Address 表
    
    对于进程整个地址空间中的每一个字节(byte)，还有与之对应的1 个bit，负责记录该地址是否能够被读写。
    
    检测原理：
    
    当要读写内存中某个字节时，首先检查这个字节对应的A bit。如果该A bit显示该位置是无效位置，memcheck 则报告读写错误。
    
    内核（core)类似于一个虚拟的CPU 环境，这样当内存中的某个字节被加载到真实的CPU 中时，该字节对应的V bit 也被加载到虚拟的
    
    CPU 环境中。一旦寄存器中的值，被用来产生内存地址，或者该值能够影响程序输出，则memcheck 会检查对应的V bits，如果该值
    
    尚未初始化，则会报告使用未初始化内存错误。

简单来说

1.  如何知道那些地址是合法的（内存已分配）？  
    维护一张合法地址表（Valid-address (A) bits），当前所有可以合法读写（已分配）的地址在其中有对应的表项。该表通过以下措施维护：
    
    ① 全局数据(data, bss section)–在程序启动的时候标记为合法地址
    
    ② 局部变量–监控sp(stack pointer)的变化，动态维护
    
    ③动态分配的内存–截获 分配/释放 内存的调用：malloc, calloc, realloc, valloc, memalign, free, new, new\[\], delete and delete\[\]
    
    ④ 系统调用–截获mmap映射的地址
    
    ⑤ 其他–可以显示知会memcheck某地字段是合法的
2.  如何知道某内存是否已经被赋值？
    
    ①维护一张合法值表（Valid-value (V) bits），指示对应的bit是否已经被赋值。因为虚拟CPU可以捕获所有对内存的写指令，所以这张表很容易维护。

[2ddc30b4f23677f88705c61eab0b14de.png]: https://img-blog.csdnimg.cn/img_convert/2ddc30b4f23677f88705c61eab0b14de.png
[c10647e14c13efa5101da68d2bc8c020.png]: https://img-blog.csdnimg.cn/img_convert/c10647e14c13efa5101da68d2bc8c020.png
[62e95392fbc10efc7d351ada5ef6c6e0.png]: https://img-blog.csdnimg.cn/img_convert/62e95392fbc10efc7d351ada5ef6c6e0.png
[62306cca43589ea3a14ee1de8c010473.png]: https://img-blog.csdnimg.cn/img_convert/62306cca43589ea3a14ee1de8c010473.png
[699f5096240bd43d32bc929d4161e151.png]: https://img-blog.csdnimg.cn/img_convert/699f5096240bd43d32bc929d4161e151.png
[1faa8ef81c1a3e06d81fdc7c621b5b2f.png]: https://img-blog.csdnimg.cn/img_convert/1faa8ef81c1a3e06d81fdc7c621b5b2f.png