Detecting and eliminating memory leaks using cyclic memory allocation

International Symposium on Memory Management, ISMM

Volumn , Issue , 2007, Pages 15-29

  Huu, Hai Nguyen ^a   Rinard, Martin ^a  

^a USA   (United States)

Author keywords

Cyclic memory allocation; Failure oblivious computing; Memory leaks

Indexed keywords

ALLOCATION SITES; DYNAMIC MEMORY ALLOCATION (DMA); ESTIMATION TECHNIQUES; INTERNATIONAL SYMPOSIUM; MEMORY ALLOCATION; MEMORY LEAKS; MEMORY-MANAGEMENT; OBJECT SIZE; OPEN SOURCE PROGRAMS; POTENTIAL IMPACTS; PROPERTY (S); TOTAL AMOUNT;

ESTIMATION; MOBILE TELECOMMUNICATION SYSTEMS;

DIFFRACTIVE OPTICAL ELEMENTS;

EID: 42149128799     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1296907.1296926     Document Type: Conference Paper

References (31)

1. CVE-2002-0069. http://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2002- 0069.
2. Freeciv website, http://www.freeciv.org/.
3. Pine website, http://www.washington.edu/pine/.
4. Squid Web Proxy Cache website. http://www.squidcache.org/.
5. Valgrind website, http://www.valgrind.org/.
6. K. Arkoudas and M. Rinard. Deductive runtime certification. In Proceedings of the 2004 Workshop on Runtime Verification (RV2004), Barcelona, Spain, April 2004.
7. B. Blanchet. Escape analysis for object oriented, languages, application to Java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, November 1999.
8. Manuel Blum and Sampath Kannan. Designing Programs That Check Their Work. In STOC, pages 86-97, 1989.
9. H. Boehm. Space efficient conservative garbage collection. In Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation, June 1993.
10. H. Boehm and M. Weiser. Garbage collection in an uncooperative environment. Software Practice and Experience, 18(9), September 1988.
11. Brian Demsky and Martin Rinard. Automatic Detection and Repair of Errors in Data Structures. In Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'03), October 2003.
12. Brian Demsky and Martin Rinard. Data Structure Repair Using Goal-Directed Reasoning. In Proceedings of the 2005 International Conference on Software Engineering, May 2005.
13. W. Bush, J. Pincus, and D. Sielaff. A static analyzer for finding dynamic programming errors. Software - Practice & Experience, 30(7), June 2000.
14. T. Chilimbi and M. Hauswirth. Low-overhead memory leak detection using adaptive statistical profiling. In Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, October 2004.
15. J. Choi, M. Gupta, M. Serrano, V. Sreedhar, and S. Midkiff. Escape analysis for Java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, November 1999.
16. A. Chou. Static Analysis for Bug Finding in Systems Software. PhD thesis, Stanford University, 2003.
17. D. Detlefs, A. Dosser, and B. Zorn. Memory Allocation Costs in Large C and C++ Programs. Technical Report CUCS-665-93, University of Colorado, Boulder, August 1993.
18. Octavian-Daniel Dumitran. Fixing file descriptor leaks. Master's thesis, Massachusetts Institute of Technology, June 2007.
19. Cal Erikson. Memory leak detection in c++. Linux Journal, (110), June 2003.
20. D. Evans. Static detection of dynamic memory errors. In Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, June 1996.
21. Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. Interprocedural compatability analysis for static object preallocation. In Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages, January 2003.
22. B. Hackett and R. Rugina. Region-based shape analysis with tracked locations. In Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'05), January 2005.
23. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter USENIX Conference, December 1992.
24. D. Heine and M. Lam. A practical flow-sensitive and context-sensitive C and C++ memory leak detector. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, June 2003.
25. Maria Jump and Kathryn S. McKinley. Cork: dynamic memory leak detection for garbage-collected languages. In POPL, pages 31-38, 2007.
26. Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, Jr. Enhancing Server Availability and Security Through Failure-Oblivious Computing. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation, December 2004.
27. Ran Shaham, Eran Yahav, Elliot K. Kolodner, and Mooly Sagiv. Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. In The 10th Annual International Static Analysis Symposium (SAS '03), June 2003.
28. R. Shaham, E. Kolodner, and M. Sagiv. Automatic removal of array memory leaks in java. In Proceedings of the International Conference on Compiler Construction (CC '00), March-April 2000.
29. J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, November 1999.
30. Y. Xie and A. Aiken. Context- and path-sensitive memory leak detection. In Proceedings of ESEC/FSE 2005, September 2005.
31. B. Zorn. The measured cost of conservative garbage collection. Software Practice and Experience, 23(7), July 1993.