Evaluating and tuning a static analysis to find null pointer bugs.

David Hovemeyer Jaime Spacco William Pugh

Published in: PASTE (2005)

Keyphrases

static analysis
source code
dynamic analysis
symbolic execution
test generation
data structure
java card
regular expressions
malicious code
abstract interpretation
test suite
software systems
software maintenance
databases
test set
open source
training data
database systems
case study
metadata
real world