Using Static Analysis in Space: Why Doing so?

Published in: SAS (2010)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
search space
java card
abstract interpretation
database
data mining
learning algorithm
high level
data analysis
anomaly detection
test generation