2 ms·
What's "wrong" with matching decompilation as an oracle for provably correct source code for a given binary?
by nyanpasu64 1y ago
What's "wrong" with matching decompilation as an oracle for provably correct source code for a given binary?
- boricj 1y agoI just don't want to deal with that. Identifying the right toolchain, finding the right options, rewriting code until the compiler is tricked into emitting the right sequence of instructions... I'm not saying that there's no value in a matching decompilation, but it's the kind of work I find thoroughly unappealing. Also, my decompilation project's goal was a remaster in the spirit of REDRIVER2, with bugfixes, new features, quality of life improvements and a PC port. The end result would not have been matching or even functionally equivalent anyways.