Memory Leaks Detection in Java by Bi-abductive Inference

@inproceedings{Distefano2010MemoryLD,
  title={Memory Leaks Detection in Java by Bi-abductive Inference},
  author={Dino Distefano and Ivana Filipovic},
  booktitle={FASE},
  year={2010}
}
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. 

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 25 references

Memory Leaks Detection in Java by Bi-Abductive Inference

  • D. Distefano, I. Filipović
  • 2010
2 Excerpts

Plug memory leaks in enterprise java applications

  • A. Pankajakshan
  • Internet page
  • 2006
2 Excerpts

The java developer ’ s connection . Internet page

  • M. Orlovich, R. Rugina
  • 2006

Similar Papers

Loading similar papers…