Memory Leaks Detection in Java by Bi-abductive Inference

This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-abductive inference for identifying the objects which are reachable but no longer used by the program.

• Type: Conference
• Year: 2010
• Where: FASE
• Authors: Dino Distefano, Ivana Filipovic
• Keywords: Bi-abductive Inference, Compositional Analysis Algorithm, FASE 2010, Separation Logic, Software Engineering