Static analysis of Android programs.

Étienne Payet Fausto Spoto

Published in: Inf. Softw. Technol. (2012)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
api calls
source code
malicious code
mobile devices
java card
regular expressions
test suite
test generation
malware detection
software engineering
mobile phone
smart card