基于指针分析的内存泄露故障测试方法研究

Research on Memory Leak Faults Testing Method Based on Pointer Analysis

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

A new pointer analysis method is put forward which detects memory leak faults of software by analyzing static relationship of pointer mapping. The notion of pointer mapping algebraic system is proposed. On the basis of this, it analyzes how to construct pointer mapping sets and describes the detailed testing steps, At last, it brings forth the application effects through example and shows the problems need to be solved next step, This method takes into account the control flow graph and path condition, so it can increase the precision of result.