关键词: 内存泄漏，故障检测，控制流图，故障模型，静态分析技术

Abstract: Recent researches detect memory leaks mainly through static test methods. The basic idea is to detect memory leaks by designing specific algorithm based on the control flow graph of program to be tested, but the limitations of these methods are that control flow graph doesn't contain useful information for further use, so that designed algorithms can't detect memory leaks efficiently. We defined a control flow graph for detecting memory leaks and proposed control flow graph reachable paths generating algorithm to detect and analyze memory leaks for generated paths. This method was proved by experiments to be very effective.

Key words: Memory leaks, Faults detect, Control flow graph, Fault model, Static analyses techniques