MemProof教程简介

       MemProof（内存清道夫）是AutomatedQA出品的一款非常不错的检测内存泄漏和资源泄漏的免费调试工具，适合于WIN32平台下使用DELPHI/C++ BUILDER开发的应用程序。
正在装载数据……利用它可以方便的查找出一些忘记释放的指针以及资源。它通过在调试模式下运行目标程序，监视程序的创建和释放操作，以达到检测资源泄漏的效果。监测过程中它会根据资源类型计数，每次创建后增加计数，释放则递减计数，最后程序结束根据计数即可判断出资源的泄漏。

       MemProof的原作者是Atanas Stoyanov，后加盟了AutomatedQA公司，他目前是大名鼎鼎的AQTIME软件的主力开发者。MemProof已经很久没有更新了，作者在AutomatedQA的官方网站上也推荐大家使用AQTIME（http://www.automatedqa.com/products/aqtime/memproofusers.asp），因为AQTIME包含了MemProof的所有功能，并且拥有很多MemProof所不具备的特性，如：更好的COM支持，结合MSDN获取帮助，平台测试等等。虽然有这么多好处，但是AQTIME毕竟是收费的商业软件，价格不菲，而且体积相对庞大。对于我来说，更愿意选择MemProof。轻佻的体积，简单的操作，还是免费的（这条最关键～～）。当然，对于大的企业用户来说，AQTIME也是个非常不错的选择。

使用方法
l         下载

官方网站上的最新版本为 (Build 0.950 July 19, 2004)

下载地址1：http://www.automatedqa.com/products/memproof/index.asp
下载地址2：http://www.delphifans.com/SoftView/SoftView_1947.html

l         安装

MemProof是一个绿色软件，下载完成后解压，运行MemProof.exe即可。

l         准备

MemProof要求目标程序带有完整的调试信息。打开工程选项（Project-Options）

1、  Compiler面板

l         去掉Optimization（代码优化）选项

l         选择Stack Frames（为所有过程函数强制生成调用堆栈）选项

l         选择Debug information (在DCU文件中生成调试信息)选项

l         选择Use Debug DCUS（编译时链接带有调试信息的VCL DCU文件）选项



2、  Linker面板

l         选择Detailed（生成完整的MAP文件，包含模块、单元、过程等地址信息）选项

l         选择Include TD32 debug info（将调试信息生成到可执行文件）选项


该选项会导致可执行文件体积增大，但不会影响运行效率以及内存占用，建议在正式发布时不要带上该选项。




l         开始

一切准备就绪，现在可以开始调试了。

下面是用于调试的一段测试程序：

新建一个空白工程，在OnCreate事件中加入以下代码：

procedure TForm1.FormCreate(Sender: TObject);

begin

  TFont.Create;  //创建一个TFONT对象，但不释放

  CloseHandle(0);  //关闭一个不存在的句柄

end;

再根据上面的介绍设置好工程选项。打开MemProof：



Resources –资源的类型，包括Error(错误)、Pointers(指针)、Memory（内存）、GDI（画布资源）、User（系统对象）、Kernel（核心对象）、Registry（注册表）。

Resources Count –资源数目，Current#代表当前数目，Peak#代表峰值数目

Resources Size –资源大小，Current#代表当前大小，Peak#代表峰值大小

 

选择File-Open打开要调试的执行文件，再选择Run-Run开始运行，再正常退出目标程序，如果有资源泄漏MemProof会自动打开Resources Details面板：




MemProof共列出5个内存泄漏，我们可以看到每个内存泄漏都有详细的调用栈情况，以及相对应的源码位置。

有时它会提示我们找不到对应的源码，这是应为没有指定源码搜索路径的原因。MemProof有两个位置可以设置源码搜索路径，一个在Configure- Search Directories，一个在Projects-Search Directories。前者是设置全局路径，后者是设置当前路径。一般建议在前者中设置DELPHI的VCL以及共用库代码的路径，后者设置工程本身源码的路径。MemProof还为用户提供了快捷搜索VCL源码路径的按钮Get Default for，使用这个按钮可以快捷的获取DELPHI的Libray Path（有的用户安装了VC覆盖了默认调试工具选项，所以有可能得到的是VC的Libray Path，这种情况可以直接到DELPHI的Libray Path中去拷贝即可）。

      另外MemProof还可以记录上次的测试结果方便用户做比较，以及过滤等功能。

      如果需要测试动态连接库，可以选择Project-Parameters，在Host Applications中选择主体程序，如果需要带命令行，则在Parameters中输入命令行，然后就可以开始测试了，和DELPHI中调试的方法是一样的。

       MemProof不支持Attach Process的调试方式，这是一个不足的地方。

 

使用其实非常简单，一看就明白了，下面介绍些调试中的经验技巧。

技巧
l         渐进式测试，从最易发现的错误开始解决

一个大型的软件可能会有很多泄漏或者错误，这个时候可以渐进式的来测试，第一次测试可以直接运行后立即退出，检测在加载的过程中是否存在泄漏，然后逐一更正。再分功能模块进行测试，比如只针对某个功能进行操作，然后退出检测该模块是否存在泄漏，如果存在，更正。最后再进行整体测试。这样可以避免一些关联性错误导致重复测试，而且可以节省测试时间，可以使测试更有针对性。

l         分模块测试，从单个的模块开始解决

和上一条原则一样，为了缩小测试面。在Projects的Moudle Configers中选择测试的模块，开始每次只选择一个模块针对性测试，最后再选择所有模块测试。

注意：不要选择一些如：Ole32.dll、kernel32.dll等系统模块。

 

l         错误优先，发现错误与泄漏并存时，优先解决错误

测试过程中，代表错误，这些错误往往是由于错误的使用系统API导致，如：释放不存在的句柄，访问权限不够的资源，传递了错误的调用参数等。这些错误往往会导致代码没有按照预计的方式运行，触发一些内存泄漏。所以，需要优先修正这些位置。

l         系统资源优先，发现有GDI、User、Kernel、Registry等存在泄漏时优先解决

系统资源泄漏往往是由于窗体、画布等资源没有及时释放，这些错误非常明显，而且这种错误往往会带有很多的Pointers、Memory泄漏，所以，优先修正。