Augmenting binaries with compilation metadata makes disassembly decidable, enables correct lifting to recompilable representations, and improves analysis reliability while adding negligible size and no runtime overhead.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Adding Compilation Metadata To Binaries To Make Disassembly Decidable
Augmenting binaries with compilation metadata makes disassembly decidable, enables correct lifting to recompilable representations, and improves analysis reliability while adding negligible size and no runtime overhead.