Abdelmaksoud, HanyHanyAbdelmaksoudHammadeh, Zain A. H.Zain A. H.HammadehFey, GörschwinGörschwinFeyLüdtke, DanielDanielLüdtke2023-08-042023-08-042023Design, Automation and Test in Europe (DATE 2023)978-398192637-8https://hdl.handle.net/11420/42517This 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.enTechnologyConference Paper10.23919/DATE56975.2023.10137253Conference Paper