C/C++内存管理之内存泄漏检查
一． 概述
内存泄漏一直是软件开发人员最头大的问题之一，尤其像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的�
相关文档：
测试代码一（VC6.0、C-code）：
#include <stdio.h>
void main()
{
int aa;
unsigned char j1,j2;
aa=j1=j2=0;
aa=49;
j1=aa;
printf("j1=%d \n",j1);
j2=aa;
printf("j2=%c \n",j2);
}
【分析】：
[1]正如所想象的输出结果：
j1 ......
//cExample.h
#ifndef C_EXAMPLE_H
#define C_EXAMPLE_H
#ifdef __cplusplus
extern "C"
{
#endif
int add(int x, int y);
#ifdef __cplusplus
}
#endif
#endif
---------------------------------
//cExample.c
#include"cExample.h"
int add(int x, int y)
{
return x + y;
}
----------------- ......
//1.Java中字符串不能多行书写。多行书写用引号隔断，加号相连。
//2.Java的标识符可以用美元符号开头。
//3.Java中没有无符号变量或无符号常量的概念。所有的变量都是有符号的。
//4.Java中变量的字长是固定的。不存在char和wchar之分。
//5.Java中变量� ......
日志记录了正式执行测试之前的整个工作过程（以失败经验为主），其中包括：测试方案的制定，方案的可执行性验证，以及方案执行失败后的修改与完善。此次工作为“性能测试”范畴，这个方向也是我的技术短板之一。坦白的讲，以我个人的能力几乎不能做到，之所以解决方案能够通过，在此主要感谢开发同事的全力支持和 ......
如何交换两个变量的值：
C语言中的传值代码如下：
int change(int x,int y)
{
int temp=x;
x=y;
y=temp;
}
C语言中的传址代码如下：
int change(int *p,int *q)
{
int temp=*p;
*p=*q;
*q=temp;
}
使用C++中的引用类型代码如下:
int change(int &x,int &y)
{
int temp=x;
x=y;
y=temp;
}
JAV ......
