Object ownership profiling: A technique for finding and fixing memory leaks

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 194-203

  Rayside, Derek ^a   Mendel, Lucy ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

java; memory leaks; object ownership

Indexed keywords

ANTI-PATTERNS; CODE REVIEW; MEMORY LEAKS; MEMORY MANAGEMENT; OBJECT INTERACTIONS; OBJECT-ORIENTED PROGRAM; TIME INFORMATION;

FUNCTIONAL PROGRAMMING;

COMPUTER SOFTWARE;

EID: 67650803159     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321661     Document Type: Conference Paper

References (40)

1. thVMCAI, volume 2937 of LNCS, pages 149-160, Venice, Italy, Jan. 2004.
2. stOOPSLA, Portland, Oregon, Oct. 2006.
3. thASPLOS, pages 61-72, San Jose, CA, 2006. ACM Press. ISBN 1-59593-451-0. doi: http://doi.acm.org/10.1145/1168857.1168866.
4. C. Boyapati, A. Sǎlcianu, W. Beebee, and M. Rinard. Ownership types for safe region-based memory management in real-time Java. In Gupta [13].
5. W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for finding dynamic programming errors. Software - Practice & Experience, 30:775-802, 2000. PREfix.
6. thASPLOS, pages 156-164, Boston, MA, 2004. ACM Press. ISBN 1-58113-804-0. doi: http://doi.acm.org/10. 1145/1024393.1024412.
7. thOOPSLA, Vancouver, British Columbia, Canada, Oct. 1998.
8. G. E. Collins. A method for overlapping and erasure of lists. CACM, 3(12):655-657, Dec. 1960.
9. K. D. Cooper, T. J. Harvey, and K. Kennedy. A simple, fast dominance algorithm. Software - Practice & Experience, 31(4), 2001.
10. thECOOP, volume 1628 of LNCS, pages 116-134, Lisbon, Portugal, 1999. ISBN 3-540-66156-5.
11. D. Evans. Static detection of dynamic memory errors. In Proc.PLDI, pages 44-53, Philadelphia, PA, May 1996. LCLint extension paper.
12. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
13. R. Gupta, editor. Proc.PLDI, June 2003.
14. R. Hastings and B. Joyce. Purify: A Tool for Detecting Memory Leaks and Access Errors in C and C++ Programs. In Proceedings of the Winter 1992 USENIX Conference, pages 125-138, Berkley, CA, Jan. 1992.
15. D. L. Heine and M. S. Lam. A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector. In Gupta [13].
16. thICSE, pages 252-261, Shanghai, China, 2006.
17. T. Hill, J. Noble, and J. Potter. Scalable visualizations of object-oriented systems with ownership trees. Journal of Visual Languages and Computing, 13:319-339, 2002.
18. thECOOP, volume 2072 of LNCS, pages 181-206, Budapest, Hungary, June 2001. ISBN 3-540-42206-4.
19. M. Hirzel, A. Diwan, and A. L. Hosking. On the usefulness of type and liveness accuracy for garbage collection and leak detection. TOPLAS, 24(6):593-624, Nov. 2002.
20. D. Jackson. Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge, Mass., Apr. 2006. ISBN 978-0-262-10114-1.
21. R. Jones. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley & Sons, Ltd,, 1996.
22. thPOPL, pages 31-38, Nice, France, Jan. 2007.
23. J. McCarthy. Recursive functions of symbolic expressions and their computation by machine. CACM, 3(4):184-195, 1960.
24. thECOOP, Nantes, France, July 2006.
25. thECOOP, volume 2743 of LNCS, Darmstadt, Germany, July 2003. ISBN 3-540-40531-3.
26. N. Nethercote and J. Seward. Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. In J. Ferrante and K. S. McKinley, editors, Proc.PLDI, San Diego, CA, June 2007.
27. H. H. Nguyen and M. Rinard. Detecting and eliminating memory leaks using early phase termination. In Proc.ISMM, Montréal, Canada, Oct. 2007.
28. thECOOP, volume 1445 of LNCS, Brussels, Belgium, July 1998. ISBN 3-540-64737-6.
29. D. J. Pearce. An improved algorithm for finding the strongly connected components of a directed graph. Technical report, Victoria University, Wellington, NZ, 2005.
30. D. Rayside, L. Mendel, R. Seater, and D. Jackson. An analysis and visualization for revealing object sharing. In M.-A. Storey and L.-T. Cheng, editors, ETX, San Diego, CA, Oct. 2005.
31. D. Rayside, L. Mendel, and D. Jackson. A dynamic analysis for revealing object ownership and sharing. In WODA'06, 2006.
32. stICFP, pages 34-41, Philadelphia, PA, May 1996. ACM Press, NYC, NY. ISBN 0-89791-770-7.
33. J. Seward and N. Nethercote. Using Valgrind to detect undefined value errors with bit-precision. In Proc.USENIX, Apr. 2005.
34. thCC, volume 1781 of LNCS, Berlin, Mar. 2000. ISBN 3-540-67263-X.
35. R. Shaham, E. K. Kolodner, and M. Sagiv. Heap profiling for space-efficient Java. In M. L. Soffa, editor, Proc.PLDI, pages 104-113, Snowbird, UT, June 2001.
36. R. Shaham, E. K. Kolodner, and M. Sagiv. Estimating the impact of heap liveness information on space consumption in Java. In Proc.ISMM, Berlin, June 2002.
37. B. A. Tate. Bitter Java. 2002. ISBN 193011043X.
38. P. Wadler. Linear types can change the world! In M. Broy and C. Jones, editors, IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, pages 347-359. North Holland, 1990.
39. A. Wren. Ownership type inference. Master's thesis, Department of Computing, Imperial College, 2003. URL http://www.cl.cam.ac.uk/users/aw345/ writings/.
40. thESEC/FSE, pages 115-125, Sept. 2005.