Using Static Analysis to Find Bugs.

Nathaniel Ayewah David Hovemeyer J. David Morgenthaler John Penix William Pugh

Published in: IEEE Softw. (2008)

Keyphrases

static analysis
source code
dynamic analysis
malicious code
java card
symbolic execution
open source
regular expressions
test generation
abstract interpretation
software systems
test suite
knowledge base
case study
training data