Unleashing the Power of Static Analysis.

Published in: SAS (2006)

Keyphrases

static analysis
dynamic analysis
source code
power consumption
malicious code
regular expressions
symbolic execution
java card
abstract interpretation
open source
real world
data sets
database
model checking
training data
test generation
learning algorithm