REcompile: A decompilation framework for static analysis of binaries.

Khaled Yakdan Sebastian Eschweiler Elmar Gerhards-Padilla

Published in: MALWARE (2013)

Keyphrases

static analysis
source code
dynamic analysis
abstract interpretation
database systems
probabilistic model
access control
building blocks
regular expressions