关键词: 内存泄漏, 动态工具, 静态工具, 评估方法

Abstract: Memory leak， which is a substantial source of errors in software systems， consumes system memory， degrading performance and eventually resulting in program crashes. There are two kinds of tools for detecting memory leaks， which are static tools based on program static analysis technique， and dynamic tools recording allocation of heaps during program running. So far， benchmarks for evaluating their ability are still nonexistent. An approach to build this benchmark is proposed， starting from comprehension and recognition of memory leak and ability of those detecting tools.

Key words: memory leak, dynamic tools, static tools, benchmark