Towards bridging the gap between Dalvik bytecode and native code during static analysis of Android applications.

Patrik Lantz Björn Johansson

Published in: IWCMC (2015)

Keyphrases

static analysis
java card
source code
malicious code
dynamic analysis
open source
symbolic execution
software systems
regular expressions
test generation
high level
databases
abstract interpretation
data sets
test suite
java virtual machine
virtual machine
case study