Options
DEL: Dynamic symbolic execution-based lifter for enhanced low-level intermediate representation
Publikationstyp
Conference Paper
Publikationsdatum
2023
Sprache
English
Author
Volume
2023-April
Start Page
1
End Page
2
Citation
Design, Automation and Test in Europe (DATE 2023)
Contribution to Conference
Publisher DOI
Scopus ID
Publisher
Institute of Electrical and Electronics Engineers Inc.
ISBN
978-398192637-8
This work develops an approach that lifts binaries into an enhanced LLVM Intermediate Representation (IR) including indirect jumps. The proposed lifter combines both static and dynamic methods and strives to fully recover the Control-Flow Graph (CFG) of a 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.
DDC Class
600: Technology