Leveraging Static Analysis in an IDE.

Robert M. Fuhrer

Published in: GTTSE (2011)

Keyphrases

static analysis
dynamic analysis
source code
java card
malicious code
abstract interpretation
symbolic execution
data sets
regular expressions
test suite
test generation
real world
training set
open source