Valgrind: A program supervision framework

Electronic Notes in Theoretical Computer Science

Volumn 89, Issue 2, 2003, Pages 44-66

  Nethercote, Nicholas ^a   Seward, Julian ^b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DIGITAL LIBRARIES; MATHEMATICAL MODELS; PROGRAM COMPILERS; PROGRAM DEBUGGING;

INSTRUMENTATION; JUST-IN-TIME (JIT) COMPILERS; SOURCE CODE; SUPERVISION TOOLS;

SUPERVISORY AND EXECUTIVE PROGRAMS;

EID: 16244366310     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)81042-9     Document Type: Conference Paper

References (32)

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, T. Garnett, and S. Amarasinghe. An infrastructure for adaptive dynamic optimization. In Proceedings of CGO'03, pages 265-276, San Francisco, California, USA, Mar. 2003.
3. Buck B., Hollingsworth J.K. An API for runtime code patching. Journal of High Performance Computing Applications. 14:(4):2000;317-329. Winter
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, Apr. 2003.
5. C. Cifuentes, B. T. Lewis, and D. Ung. Walkabout - A retargetable dynamic binary translation framework. Technical Report TR-2002-106, Sun Microsystems Laboratories, Palo Alto, California, USA, Jan. 2002.
6. R. F. Cmelik and D. Keppel. Shade: A fast instruction-set simulator for execution profiling. Technical Report UWCSE 93-06-06, Department of Computer Science and Engineering, University of Washington, Seattle, Washington, USA, 1993.
7. G. Desoli, N. Mateev, E. Duesterwald, P. Faraboschi, and J. A. Fisher. Deli: A new run-time control point. In Proceedings of MICRO35, Istanbul, Turkey, Nov. 2002.
8. D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In Proceedings of OSDI 2000, San Diego, California, USA, Oct. 2000.
9. Ernst M.D., Cockrell J., Griswold W.G., Notkin D. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering. 27:(2):Feb. 2001;99-123
10. D. Evans. Annotation-assisted lightweight static checking. In Proceedings of ICSE 2000, pages 40-42, Limerick, Ireland, Feb. 2000.
11. J. Fitzhardinge. VGprof. http://www.goop.org/~jeremy/valgrind/vgprof. html.
12. S. Hallem, B. Chen, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of PLDI 2002, Berlin, Germany, June 2002.
13. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of ISCE 2002, pages 291-301, Orlando, Florida, USA, May 2002.
14. T. L. Harris. Dependable software needs pervasive debugging. In Proceedings of the ACM SIGOPS European Workshop, Sintra, Portugal, Sept. 2002.
15. J. J. Harrow, Jr. Runtime checking of multithreaded applications with Visual Threads. In Proceedings of SPIN 2000, volume 1885 of LNCS, pages 331-342, Stanford, California, USA, Aug. 2000.
16. 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, Jan. 1992.
17. J. K. Hollingsworth, B. P. Miller, and J. Cargille. Dynamic program instrumentation for scalable performance tools. In Proceedings of the 1994 Scalable High Performance Computing Conference, pages 841-850, Knoxville, Tennessee, USA, May 1994.
18. TM 78-1273-3, AT&T Bell Laboratories, Murray Hill, New Jersey, USA, Dec. 1977.
19. A. Loginov, S. H. Yong, S. Horwitz, and T. Reps. Debugging via run-time type checking. In Proceedings of FASE 2001, Genoa, Italy, Apr. 2001.
20. J. Maebe, M. Ronsse, and K. D. Bosschere. DIOTA: Dynamic instrumentation, optimization and transformation of applications. In Compendium of Workshops and Tutorials held in conjunction with PACT'02, Charlottesville, Virginia, USA, Sept. 2002.
21. Miller B.P., Callaghan M.D., Cargille J.M., Hollingsworth J.K., Irvin R.B., Karavanic K.L., Kunchithapadam K., Newhall T. The Paradyn parallel performance measurement tools. IEEE Computer. 28:(11):Nov. 1995;37-46
22. N. Nethercote and A. Mycroft. Redux: A dynamic dataflow tracer. In Proceedings of RV'03, Boulder, Colorado, USA, July 2003. To appear.
23. T. Palmer, D. D. Zovi, and D. Stefanovic. Sind: A framework for binary translation. Technical Report TR-CS-2001-38, Department of Computer Science, University of New Mexico, Alberquerque, New Mexico, USA, Dec. 2001.
24. M. Probst. Dynamic binary translation. In Proceedings of the UKUUG Linux Developers' Conference, Bristol, United Kingdom, July 2002.
25. Savage S., Burrows M., Nelson G., Sobalvarro P., Anderson T. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems. 15:(4):Nov. 1997;391-411
26. K. Scott, J. W. Davidson, and K. Skadron. Low-overhead software dynamic translation. Technical Report CS-2001-18, Department of Computer Science, University of Virginia, Charlottesville, Virginia, USA, 2001.
27. K. Scott, N. Kumar, S. Velusamy, B. Childers, J. Davidson, and M. Soffa. Retargetable and reconfigurable software dynamic translation. In Proceedings of CGO 2003, pages 36-47, San Francisco, California, USA, Mar. 2003.
28. A. Srivastava and A. Eustace. ATOM: A system for building customized program analysis tools. In Proceedings of PLDI '94, pages 196-205, Orlando, Florida, USA, June 1994.
29. O. Traub, G. Holloway, and M. D. Smith. Quality and speed in linear-scan register allocation. In Proceedings of PLDI '98, pages 142-151, Montreal, Canada, June 1998.
30. J. Weidendorfer. KCachegrind. http://kcachegrind.sourceforge.net/.
31. S. H. Yong and S. Horwitz. Reducing the overhead of dynamic analysis. In Proceedings of the 2nd International Workshop on Run-time Verification (RV'02), Copenhagen, Denmark, July 2002.
32. B. Zorn. Debugging tools for dynamic storage allocation and memory management. http://www.cs.colorado.edu/~zorn/MallocDebug.html.