DEL: Dynamic symbolic execution-based lifter for enhanced low-level intermediate representation
Design, Automation and Test in Europe (DATE 2023)
Contribution to Conference
Institute of Electrical and Electronics Engineers Inc.
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.