It's more than a disassembler. Disassemblers are easy to write. Stateful transformation is much harder.