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 LLVM IR. 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.

Contact:

dagger <at> repzret dot org

• 2014-04-03 - Update: A Sneak Peek of the Source
• 2014-04-03 - Overview 5: The Semantics Emitter TableGen Backend
• 2014-04-03 - Overview 4: How is Control Flow Translated?
• 2014-04-03 - Overview 3: How are Registers Translated?
• 2014-04-03 - Overview 2: The MC recursive traversal disassembler
• 2014-04-03 - Overview 1: The DC layer
• 2014-02-19 - Update Feb. 2014