Static Analysis of Android Programs.

Étienne Payet Fausto Spoto

Published in: CADE (2011)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
api calls
source code
java card
malicious code
mobile devices
test suite
test generation
regular expressions
malware detection
database applications
data integration
cd rom