Reverse Engineering Structure and Semantics of Input of a Binary Executable

arXiv:2405.14052v1 Announce Type: new
Abstract: Knowledge of the input format of binary executables is important for finding bugs and vulnerabilities, such as generating data for fuzzing or manual reverse engineering. This paper presents an algorithm to recover the structure and semantic relations between fields of the input of binary executables using dynamic taint analysis. The algorithm improves upon prior work by not just partitioning the input into consecutive bytes representing values but also identifying syntactic components of structures, such as …

algorithm arxiv binary bugs cs.cr data engineering fuzzing important input knowledge recover reverse reverse engineering semantic semantics structure vulnerabilities