BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries.

Daniel Engel Freek Verbeek Binoy Ravindran

Published in: TAP (2023)

Keyphrases

intermediate representation
intermediate level
source code
tightly coupled
database
fine grained
object models
databases
database systems
similarity measure
intermediate representations