https://github.com/lifting-bits/mcsema/tree/master/examples/Maze in this example they take a maze game compiled for x86, lift it from the binary, and then compile it for arm without the source

The llvm intermediary model is really powerful.