Login / Signup
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