Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25) - View it on GitHub