On the Decidability of Disassembling Binaries.

Daniel Engel Freek Verbeek Binoy Ravindran

Published in: TASE (2024)

Keyphrases

source code
description logics
control flow
query answering
open source software
type checking
reverse engineering
decision procedures
knowledge base
data complexity
computer vision
information systems
knowledge representation
automata theoretic