Towards Static Analysis of Virtualization-Obfuscated Binaries.

Johannes Kinder

Published in: WCRE (2012)

Keyphrases

static analysis
source code
malicious code
reverse engineering
dynamic analysis
open source
operating system
virtual machine
symbolic execution
cloud computing
test generation
java card
high level
abstract interpretation
data center
software engineering
storage devices
databases
ibm zenterprise