Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs.

Longming Dong Ji Wang Liqian Chen

Published in: APSEC (2012)

Keyphrases

data structure
leak detection
main memory
memory size
memory requirements
suffix tree
high level
low memory
knowledge base
search algorithm
computer programs
memory usage
random access
memory space
limited memory