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.