SootKeeper: runtime reusability for modular static analysis.

Florian Kübler Patrick Müller Ben Hermann

Published in: SOAP@PLDI (2017)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
abstract interpretation
e learning
test suite
java card
regular expressions
test generation
design patterns
software architecture
learning objects
data sets
decision trees
artificial intelligence
real world