Numerical static analysis with Soot.

Gianluca Amato Simone Di Nardo Di Maio Francesca Scozzari

Published in: SOAP@PLDI (2013)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
java card
abstract interpretation
test generation
regular expressions
reverse engineering