path and context sensitive inter-procedural memory leak detection

Oxford Brookes Univ, Univ Hong KongThis paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory, object model and function summary system are used. Preliminary experiments show that the met