Valgrind: A framework for heavyweight dynamic binary instrumentation

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2007, Pages 89-100

  Nethercote, Nicholas ^a   Seward, Julian ^b  

^a CSIRO   (Australia)

^b OpenWorks LLP   (United Kingdom)

Author keywords

Dynamic binary analysis; Dynamic binary instrumentation; Memcheck; Shadow values; Valgrind

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; MODEL CHECKING; PROGRAM COMPILERS; SYSTEMS ANALYSIS;

DYNAMIC BINARY ANALYSIS; DYNAMIC BINARY INSTRUMENTATION; MEMCHECK; SHADOW VALUES; VALGRIND;

BINARY SEQUENCES;

EID: 35448955692     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1250734.1250746     Document Type: Conference Paper

References (29)

1. V. Bala, E. Duesterwald, and S. Banerjia. Dynamo: A transparent dynamic optimization system. In Proceedings of PLDI 2000, pages 1-12, Vancouver, Canada, June 2000.
2. D. Bruening. Efficient, Transparent, and Comprehensive Runtime Code Manipulation. PhD thesis, MIT, Cambridge, Mass., USA, September 2004.
3. D. Bruening, T. Garnett, and S. Amarasinghe. An infrastructure for adaptive dynamic optimization. In Proceedings of CGO'03, pages 265-276, San Francisco, California, USA, March 2003.
4. M. Burrows, S. N. Freund, and J. L. Wiener. Run-time type checking for binary programs. In Proceedings of CC 2003, pages 90-105, Warsaw, Poland, April 2003.
5. W. Cheng. Personal communication, November 2006.
6. W. Cheng, Q. Zhao, B. Yu, and S. Hiroshige. TaintTrace: Efficient flow tracing with dynamic binary rewriting. In Proceedings of ISCC 2006, pages 749-754, Cagliari, Sardinia, Italy, June 2006.
7. P. J. Guo, J. H. Perkins, S. McCamant, and M. D. Ernst. Dynamic inference of abstract types. In Proceedings of ISSTA 2006, pages 255-265, Portland, Maine, USA, July 2006.
8. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter USENIX Conference, pages 125-136, San Francisco, California, USA, January 1992.
9. K. Hazelwood. Code Cache Management in Dynamic Optimization Systems. PhD thesis, Harvard University, Cambridge, Mass., USA, May 2004.
10. G. Lueck and R. Cohn. Personal communication, SeptemberNovember 2006.
11. 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 Proceedings of PLDI 2005, pages 191-200, Chicago, Illinois, USA, June 2005.
12. J. Maebe, M. Ronsse, and K. De Bosschere. DIOTA: Dynamic instrumentation, optimization and transformation of applications. In Proceedings of WBT-2002, Charlottesville, Virginia, USA, September 2002.
13. S. McCamant and M. D. Ernst. Quantitative information-flow tracking for C and related languages. Technical Report MIT-CSAIL-TR-2006-076, MIT, Cambridge, Mass., USA, 2006.
14. S. Narayanasamy, C. Pereira, H. Patil, R. Cohn, and B. Calder. Automatic logging of operation system effects to guide application-level architecture simulation. In Proceedings of SIGMetrics/Performance 2006, pages 216-227, St. Malo, France, June 2006.
15. N. Nethercote. Dynamic Binary Analysis and Instrumentation. PhD thesis, University of Cambridge, United Kingdom, November 2004.
16. N. Nethercote and J. Fitzhardinge. Bounds-checking entire programs without recompiling. In Informal Proceedings of SPACE 2004, Venice, Italy, January 2004.
17. N. Nethercote and A. Mycroft. Redux: A dynamic dataflow tracer. ENTCS, 89(2), 2003.
18. N. Nethercote and J. Seward. Valgrind: A program supervision framework. ENTCS, 89(2), 2003.
19. N. Nethercote and J. Seward. How to shadow every byte of memory used by a program. In Proceedings of VEE 2007, San Diego, California, USA, June 2007.
20. J. Newsome and D. Song. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In Proceedings of NDSS '05, San Diego, California, USA, February 2005.
21. H. Patil and C. Fischer. Low-cost, concurrent checking of pointer and array accesses in C programs. Software - Practice and Experience, 27(1):87-110, January 1997.
22. F. Qin. Personal communication, March 2007.
23. F. Qin, C. Wang, Z. Li, H. Kim, Y. Zhou, and Y. Wu. Lift: A low-oeverhead practical information flow tracking system for detecting security attacks. In Proceedings of the Annual IEEE/ACM International Symposium on Microarchitecture (Micro'06), Orlando, Florida, USA, December 2006.
24. K. Scott, J. W. Davidson, and K. Skadron. Low-overhead software dynamic translation. Technical Report CS-2001-18, University of Virginia, Charlottesville, Virginia, USA, 2001.
25. J. Seward and N. Nethercote. Using Valgrind to detect undefined value errors with bit-precision. In Proceedings of the USENIX'05 Annual Technical Conference, Anaheim, California, USA, April 2005.
26. O. Traub, G. Holloway, and M. D. Smith. Quality and speed in linearscan register allocation. In Proceedings of PLDI '98, pages 142-151, Montreal, Canada, June 1998.
27. The Valgrind Developers. 2nd official Valgrind survey, September 2005: full report. http://www.valgrind.org/gallery/survey.05/report.txt.
28. The Valgrind Developers. Valgrind. http://www.valgrind.org/.
29. L. Wall, T. Christiansen, and J. Orwant. Programming Perl. O'Reilly, 3rd edition, 2000.