direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Reverse Engineering of ARM Binaries Using Formal Transformations
Zitatschlüssel PHS2014
Autor Tobias Pfeffer and Paula Herber and Jörg Schneider
Buchtitel The 7th International Conference on Security of Information and Networks
Jahr 2014
Ort Glasgow, UK
Monat 9
Wie herausgegeben accepted
Zusammenfassung Understanding the behavior of a program when no source code is available tends to be a complicated and time-expensive task. In this paper, we present a novel approach for reverse engineering of ARM binaries. The main idea is to translate the original assembler representation into a formal intermediate representation language, namely WSL, and then to apply rephrasing transformations to the code. To achieve a highly modular translation, we define a rule set to translate each assembler instruction individually. Furthermore, new rephrasing rules were developed to recover high level control flow aspects and to eliminate assembler specific program fragments in the intermediate code. We demonstrate the applicability of our approach through the successful recovery of high level control flow statements in the Debian coreutils binaries. Using these example binaries, we studied the performance and the quality of our transformation.
Download Bibtex Eintrag [1]

Ansprechpartner

Jörg Schneider
+49 30 314-73388
Raum EN 357
joerg.schneider@tu-berlin.de [3]
Webseite [4]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008