In a way disassembler output is exactly this. It’s a low level programming language, but one nonetheless. There are tools like Remill (https://www.trailofbits.

In a way disassembler output is exactly this. It’s a low level programming language, but one nonetheless. There are tools like Remill (https://www.trailofbits.com/opensource/#binary https://www.trailofbits.com/opensource/#binary) that disassemble to LLVM IR that can be fed back to the compiler to produce a new binary. You can actually target a different architecture, so it works for binary translation too.