MENTALESE - an architecture-agnostic analysis framework for binary executables
- Die in dieser Dissertation vorgestellte Forschung nimmt eine Nische im Bereich der statischen Programmanalyse ein, dessen Anwendung sich auf binäre (ausführbare) Programme fokussiert. Dabei verfolgen wir, analog zum Trend kommerzieller Quellcodeanalysen, die ein möglichst breites Spektrum an Programmiersprachen abdecken, das Interesse möglichst viele Architekturen abzudecken. Bisherige Ansätze in der Forschung zur binären Analyse scheitern an der Skalierbarkeit und Stabilität. Diese Dissertation befasst sich mit unserer prototypischen Implementierung von Mentalese, ein Framework für architekturunabhängige Analysen ausführbarer Programme. Das Design von Mentalese ist so konzipiert, dass es skalierbar, flexibel und leicht erweiterbar ist. Auf der Grundlage dieses Frameworks haben wir Tools entwickelt, die den Exploitation-Prozess unterstützen, eine architekturübergreifende Bug-Suche ermöglichen, sowie auch Bugs erkennen.
Author: | Behrad GarmanyGND |
---|---|
URN: | urn:nbn:de:hbz:294-80807 |
DOI: | https://doi.org/10.13154/294-8080 |
Referee: | Thorsten HolzORCiDGND, Konrad RieckGND |
Document Type: | Doctoral Thesis |
Language: | English |
Date of Publication (online): | 2021/05/17 |
Date of first Publication: | 2021/05/17 |
Publishing Institution: | Ruhr-Universität Bochum, Universitätsbibliothek |
Granting Institution: | Ruhr-Universität Bochum, Fakultät für Elektrotechnik und Informationstechnik |
Date of final exam: | 2021/02/11 |
Creating Corporation: | Fakultät für Elektrotechnik und Informationstechnik |
GND-Keyword: | Programmanalyse; Datalog; Reverse Engineering; Programmtransformation; Internet der Dinge |
Institutes/Facilities: | Lehrstuhl für Systemsicherheit |
Dewey Decimal Classification: | Allgemeines, Informatik, Informationswissenschaft / Informatik |
faculties: | Fakultät für Elektrotechnik und Informationstechnik |
Licence (German): | Keine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht |