Practical memory checking with Dr. Memory

Proceedings - International Symposium on Code Generation and Optimization, CGO 2011

Volumn , Issue , 2011, Pages 213-223

  Bruening, Derek ^a   Zhao, Qin ^b  

^a GOOGLE INC   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Dynamic Optimization; Memory Checking; Shadow Memory

Indexed keywords

DYNAMIC OPTIMIZATION; FALSE POSITIVE; INSTRUMENTATION TECHNIQUES; LOCATING ALGORITHM; MEMORY ACCESS; MEMORY CHECKING; MEMORY CORRUPTION; MEMORY ERROR; MEMORY LEAKS; NON-DETERMINISM; OPERATING SYSTEMS; PROPRIETARY SYSTEMS; SHADOW MEMORY; WINDOWS ENVIRONMENT;

EQUIPMENT; ERRORS; NETWORK COMPONENTS; OPTIMIZATION;

WINDOWS OPERATING SYSTEM;

EID: 79957490764     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CGO.2011.5764689     Document Type: Conference Paper

References (19)

1. "Small footprint CIM broker (SFCB)," http://sourceforge.net/ apps/mediawiki/sblim/index.php?title=Sfcb.
2. E. Andreasen and H. Zeller, "Leaktracer," Aug. 2003, http://www.andreasen.org/LeakTracer/.
3. H. Boehm, A. Demers, and M. Weiser, "A garbage collector for C and C++," http://www.hpl.hp.com/personal/Hans-Boehm/gc/.
4. D. Bruening, "Efficient, transparent, and comprehensive runtime code manipulation," Ph.D. dissertation, M.I.T., Sep. 2004.
5. T. Clark and K. Birman, "Using the ISIS resource manager for distributed, fault-tolerant computing," Tech. Rep. TR 92-1289, Jun. 1992.
6. B. Z. Department, B. Zorn, and P. Hilfinger, "A memory allocation profiler for C and Lisp programs," in Proc. of the Summer 1988 USENIX Conference, 1988, pp. 223-237.
7. R. Hastings and B. Joyce, "Purify: Fast detection of memory leaks and access errors," in Proc. of the Winter USENIX Conference, Jan. 1992, pp. 125-136.
8. Hewlett-Packard, "Third Degree," http://h30097.www3.hp. com/developerstoolkit/tools.html.
9. Intel, "Intel Parallel Inspector," http://software.intel.com/ en-us/intel-parallel-inspector/.
10. C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood, "Pin: Building customized program analysis tools with dynamic instrumentation," in Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '05), Jun. 2005, pp. 190-200.
11. Micro Focus, "Boundschecker," http://www.microfocus.com/ products/micro-focus-developer/devpartner/visual-c.aspx.
12. S. Narayanasamy, C. Pereira, H. Patil, R. Cohn, and B. Calder, "Automatic logging of operating system effects to guide application-level architecture simulation," in Proc. of the Joint International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS '06/Performance '06), 2006, pp. 216-227.
13. N. Nethercote and J. Seward, "How to shadow every byte of memory used by a program," in Proc. of the 3rd International Conference on Virtual Execution Environments (VEE '07), Jun. 2007, pp. 65-74.
14. -, "Valgrind: A framework for heavyweight dynamic binary instrumentation," in Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '07), Jun. 2007, pp. 89-100.
15. Parasoft, "Insure++," http://www.parasoft.com/jsp/products/ insure.jsp?itemId=63.
16. J. Seward and N. Nethercote, "Using Valgrind to detect undefined value errors with bit-precision," in Proc. of the USENIX Annual Technical Conference, 2005, pp. 2-2.
17. A. Srivastava and A. Eustace, "ATOM: A system for building customized program analysis tools," in Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '94), Jun. 1994, pp. 196-205.
18. Standard Performance Evaluation Corporation, "SPEC CPU2000 benchmark suite," 2000, http://www.spec.org/osg/cpu2000/.
19. -, "SPEC CPU2006 benchmark suite," 2006, http://www.spec.org/ osg/cpu2006/.