8.44 Superset Disassembly: Statically Rewriting x86 Binaries Without Heuristics