一． 概述
内存泄漏一直是软件开发人员最头大的问题之一，尤其像C/C++这样自由度非常大的编程语言，几乎是每一个用其开发出来的软件都会出现内存泄漏的情况。
如果没有内存泄漏，世界或许会变的美好。然而，完全美好的世界是不存在的，我们能做的就是尽量让它变的更美好。
二． 工具介绍
纵观目前市面上有不少内存泄漏工具，在这里就不多做介绍。笔者最常用的是IBM公司出产的IBM Rational Purify，说起Purify这东西，稳定性虽然不怎么样，但功能很强大。它是IBM Rational PurifyPlus产品组中三剑客的一员。
Purify是面向C/C++, VB, Java语言，测试内存错误，Windows API访问错误，COM方法调用情况等。
图1. Purify主界面
Purify对于C/C++的分析支持源代码级，或通过其专利技术：“目标代码插入（Object Code Insertion）”工作在无源代码级。Purify的功能其实非常之强大，此次我们只讨论怎么通过Purify进行C/C++下的内存泄漏发现。在介绍它的工作流程前，我们来认识一下几个缩写术语的意思：
l ABR： Array Bounds Read，数组越界读
l ABW：Array Bounds Write，数组越界写
l FMR：Free Memory Read，空间内存读取
l IPR： Invalid Pointer Read，无效指针读取
l IPW：Invalid Pointer Write，无效指针写入
l NPR：Null Pointer Read，空指针读取
l NPW：Null Pointer Write，空指针写入
l UMR：Uninitialized Memory Read，未初始化内存阅读
l MLK：Memory leaks，内存泄漏
l MIU：Memory in use, 内存使用中
l MPK：Potential memory leaks，潜在的内存泄漏
当我们完成了目标代码，生成可执行程序文件后，在Purify中加载它，便可自动完成可执行程序解析，运行，分析的一应工作。
图2. Rational Purify的工作流程
三． 泄漏场景及检测
现在，我们就来做几个案例，看看效果如何。开始之前，先介绍一下笔者的工作及测试环境：
l Microsfot Windows XP Tablet PC Edition 2005 SP3
l 3G内存(再多的内存也怕泄漏J)
l Microsfot Visual Studio 2005
l IBM Rational Purify 7.0
在这里想额外的说明一下，笔者曾经测试对比过VC2005和VC6生成程序，发现VC2005生成汇编代码质量比VC6的�
1.有n个整数，使前面各数顺序向后移m个位置，最后m个数变成最前面m个数。
#include<stdio.h>
int f(int *);
int main()
{
int *p,a[10];
for(p=a;p<a+10;p++)
scanf("%d",p);
f(a);
for(p=a;p<a+10;p++)
printf("%d ",*p);
return 0;
}
int f(int *a)
{
int i,*p ......
