DMCA
Valgrind: A framework for heavyweight dynamic binary instrumentation (2007)
Cached
Download Links
- [www.cs.purdue.edu]
- [www.eidos.ic.i.u-tokyo.ac.jp]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the 2007 Programming Language Design and Implementation Conference |
| Citations: | 542 - 5 self |
BibTeX
@INPROCEEDINGS{Nethercote07valgrind:a,
author = {Nicholas Nethercote and Julian Seward},
title = {Valgrind: A framework for heavyweight dynamic binary instrumentation},
booktitle = {In Proceedings of the 2007 Programming Language Design and Implementation Conference},
year = {2007}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Dynamic binary instrumentation (DBI) frameworks make it easy to build dynamic binary analysis (DBA) tools such as checkers and profilers. Much of the focus on DBI frameworks has been on performance; little attention has been paid to their capabilities. As a result, we believe the potential of DBI has not been fully exploited. In this paper we describe Valgrind, a DBI framework designed for building heavyweight DBA tools. We focus on its unique support for shadow values—a powerful but previously little-studied and difficult-to-implement DBA technique, which requires a tool to shadow every register and memory value with another value that describes it. This support accounts for several crucial design features that distinguish Valgrind from other DBI frameworks. Because of these features, lightweight tools built with Valgrind run comparatively slowly, but Valgrind can be used to build more interesting, heavyweight tools that are difficult or impossible to build with other DBI frameworks such as Pin and DynamoRIO. Categories and Subject Descriptors D.2.5 [Software Engineering]: Testing and Debugging—debugging aids, monitors; D.3.4
Keyphrases
dbi framework heavyweight dynamic binary instrumentation difficult-to-implement dba technique lightweight tool building heavyweight dba tool software engineering heavyweight tool memory value dynamic binary analysis unique support subject descriptor distinguish valgrind dynamic binary instrumentation several crucial design shadow value little attention
