Hacker News new | ask | show | jobs
by nyanpasu64 390 days ago
What's "wrong" with matching decompilation as an oracle for provably correct source code for a given binary?
1 comments

I 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.