IRILL - Research and Innovation on Free Software

Dagger: decompilation to LLVM IR


"Dagger: decompilation to LLVM IR"
by Ahmed Bougacha,
on 2013-04-29 00:00:00
Download Webm format
Download MP4 format

Dagger is a decompilation framework based on LLVM. It enables existing backends to easily provide instruction-level semantics. These are then used to translate target instructions to an IR-like architecture, Mir (for micro-IR), and further to LLVM IR itself. Dagger also enables easy retargetability of several planned tools, like rewriters, static or dynamic binary translators (with valgrind-like instrumentation), and even simple instruction set emulators. The IR can also be transformed to do static analysis, or even, using a revived and improved C backend, full-blown decompilation.