Versenden
Drucken
Abdelmaksoud, Hany Ibrahim Erfan und Haj Hammadeh, Zain Alabedin und Lüdtke, Daniel und Fey, Görschwin (2023) DEL: Dynamic Symbolic Execution-based Lifter for Enhanced Low-Level Intermediate Representation. In: 2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings. Design, Automation and Testing in Europe (DATE2023), 2023-04-17 - 2023-04-19, Antwerp, Belgium. doi: 10.23919/DATE56975.2023.10137253. ISBN 978-398192637-8. ISSN 1530-1591.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
5MB |
Offizielle URL: https://ieeexplore.ieee.org/document/10137253
Kurzfassung
This work develops an approach that lifts binaries into an enhanced LLVM IR including indirect jumps. The proposed lifter combines both static and dynamic methods and strives to fully recover the Control-Flow Graph (CFG) of the program. Using Satisfiability Modulo Theories (SMT) supported by memory and register models, our lifter dynamically symbolically executes IR instructions after translating them into SMT expressions.
| elib-URL des Eintrags: | https://elib.dlr.de/193303/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||
| Titel: | DEL: Dynamic Symbolic Execution-based Lifter for Enhanced Low-Level Intermediate Representation | ||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||
| Datum: | 2023 | ||||||||||||||||||||
| Erschienen in: | 2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings | ||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||
| Open Access: | Ja | ||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||
| In SCOPUS: | Ja | ||||||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||||||
| DOI: | 10.23919/DATE56975.2023.10137253 | ||||||||||||||||||||
| ISSN: | 1530-1591 | ||||||||||||||||||||
| ISBN: | 978-398192637-8 | ||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||
| Stichwörter: | Dynamic Symbolic Execution Intermediate Representation SMT LLVM Lifter IndirectJumps | ||||||||||||||||||||
| Veranstaltungstitel: | Design, Automation and Testing in Europe (DATE2023) | ||||||||||||||||||||
| Veranstaltungsort: | Antwerp, Belgium | ||||||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||||||
| Veranstaltungsbeginn: | 17 April 2023 | ||||||||||||||||||||
| Veranstaltungsende: | 19 April 2023 | ||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||||||
| HGF - Programmthema: | Raumtransport | ||||||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||||||
| DLR - Forschungsgebiet: | R RP - Raumtransport | ||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Projekt ReFEx - Reusability Flight Experiment | ||||||||||||||||||||
| Standort: | Braunschweig | ||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Softwaretechnologie > Software für Raumfahrtsysteme und interaktive Visualisierung Institut für Softwaretechnologie | ||||||||||||||||||||
| Hinterlegt von: | Abdelmaksoud, Hany Ibrahim Erfan | ||||||||||||||||||||
| Hinterlegt am: | 17 Nov 2023 08:32 | ||||||||||||||||||||
| Letzte Änderung: | 24 Apr 2024 20:54 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
