Distefano, Dino

Filipović, Ivana

Queen Mary Research Online

English

A practical flow-sensitive and context-sensitive c and c++ memory leak detector.

Automatic removal of array memory leaks in java.

Collected papers of Charles Sanders Peirce.

Context- and path-sensitive memory leak detection.

Establishing local temporal heap safety properties with applications to compile-time memory management.

Estimating the impact of heap liveness information on space consumption in java.

Heap profiling for space-efficient java. In

Leakbot: An automated and lightweight tool for diagnosing memory leaks in large java applications. In

Local reasoning about programs that alter data structures.

Looking for memory leaks. Internet page.

Low-overhead memory leak detection using adaptive statistical profiling.

Memory leak analysis by contradiction.

Memory leak detection and analysis in webshere application server (part 1 and 2). Internet page,

Plug memory leaks in enterprise java applications. Internet page,

Purify: Fast detection of memory leaks and access errors.

Separation logic, abstraction and inheritance.

Solving shape-analysis problems in languages with destructive updating.

The java developer’s connection. Internet page.

Memory Leaks Detection in Java by Bi-Abductive Inference

Abstract. 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. 

Dino Distefano

Ivana Filipović

CiteSeerX