Free-Me: a static analysis for automatic individual object reclamation.

Samuel Z. Guyer Kathryn S. McKinley Daniel Frampton

Published in: PLDI (2006)

Keyphrases

static analysis
dynamic analysis
source code
d objects
malicious code
moving objects
individual objects
test generation
abstract interpretation
symbolic execution
regular expressions
test suite
multiple objects
database
data objects
case study
data sets