Decompilation

• The process of rewriting assembly into a target-independent programming language.
• "Matching" decompilation aims to be able to produce the exact same assembly output given the same compiler and libraries as a way of proving that the decompilation is correct.