Structured Binary Editing with a CFG Transformation Algebra

Abstract

Binary modification allows users to alter existing code or inject new code into programs without requiring source code, symbols, or debugging information. It is critically important that such modification not accidentally create a structurally invalid binary that has illegal control flow or executes invalid instructions. Unfortunately, current modification… (More)
DOI: 10.1109/WCRE.2012.11

Topics

11 Figures and Tables

Cite this paper

@article{Bernat2012StructuredBE, title={Structured Binary Editing with a CFG Transformation Algebra}, author={Andrew R. Bernat and Barton P. Miller}, journal={2012 19th Working Conference on Reverse Engineering}, year={2012}, pages={9-18} }