提出了一种新的指针分析方法，通过静态分析程序中指针的映射关系来检测内存泄漏故障；给出了指针映射代数系统的概念，在此基础上分析了如何构造指针映射集，并详细叙述了测试步骤；最后通过实例分析了该方法的应用效果，讨论了需要进一步解决的问题。该方法还考虑了控制流图和路径条件，提高了测试结果的精度。