Using Valgrind to detect undefined value errors with bit-precision

USENIX 2005 Annual Technical Conference

Volumn , Issue , 2005, Pages 17-30

  Seward, Julian ^a   Nethercote, Nicholas ^b  

^a OpenWorks LLP   (United Kingdom)

^b University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; ERRORS;

BIT PRECISION; DYNAMIC BINARY INSTRUMENTATION; FALSE POSITIVE AND FALSE NEGATIVES; LARGE PROGRAMS; MEMORY ERROR; MOZILLA; UNREAL TOURNAMENT;

PROGRAM DEBUGGING;

EID: 77953988297     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Michael D. Ernst. Static and dynamic analysis: synergy and duality. In Proceedings of WODA 2003, pages 6–9, Portland, Oregon, May 2003.
2. Eric Estievenart. Valgui, a GPL front-end for Valgrind. http://valgui.sf.net/.
3. Reed Hastings and Bob 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.
4. J. C. Huang. Detection of data flow anomaly through program instrumentation. IEEE Transactions on Software Engineering, 5(3):226–236, May 1979.
5. Willett Kempton and Brian A. Wichmann. Run-time detection of undefined variables considered essential. Software—Practice and Experience, 20(4):391–402, April 1990.
6. Paul Mackerras. Re: Valgrind for PowerPC. Message to the valgrind-developers mailing list, March 2004.
7. Jonas Maebe and Koen De Bosschere. Instrumenting self-modifying code. In Proceedings of AADEBUG2003, Ghent, Belgium, September 2003.
8. Dorit Naishlos. Autovectorisation in GCC. In Proceedings of the 2004 GCC Developers’ Summit, Ottawa, Canada, June 2004.
9. Nicholas Nethercote. Dynamic Binary Analysis and Instrumentation. PhD thesis, Computer Laboratory, University of Cambridge, United Kingdom, November 2004.
10. Nicholas Nethercote and Julian Seward. Valgrind: A program supervision framework. In Proceedings of RV’03, Boulder, Colorado, USA, July 2003.
11. Openoffice.org issue 20184, 2003. http://www.openoffice.org/issues/show_bug.cgi?id=20184.
12. Parasoft. Automatic C/C++ application testing with Parasoft Insure++. White paper.
13. Jens-Heiner Rechtien. Validating and debugging openoffice.org with valgrind, 2003. http://tools.openoffice.org/debugging/usingvalgrind.sxw.
14. Julian Seward, Nicholas Nethercote, Jeremy Fitzhardinge, et al. Valgrind. http://www.valgrind.org/.
15. Amitabh Srivastava and Alan Eustace. ATOM: A system for building customized program analysis tools. In Proceedings of PLDI’94, pages 196–205, Orlando, Florida, USA, June 1994.
16. Standard Performance Evaluation Corporation. SPEC CPU2000 benchmarks. http://www.spec.org/.
17. Jeffrey Stedfast. Alleyoop. http://alleyoop.sf.net/.
18. Third Degree User Manual, May 1994.
19. Josef Weidendorfer. KCachegrind. http://kcachegrind.sf.net/.