Sound C Code Decompilation for a Subset of x86-64 Binaries.

Freek Verbeek Pierre Olivier Binoy Ravindran

Published in: SEFM (2020)

Keyphrases

source code
control flow
open source
open source software
data flow
software systems
linux kernel
static analysis
databases
software engineering
feature space
multi agent
decision making
initial set
code generation
error correcting
data sets