Who cares? Who said anything about recreating the exact code? You will get usable, compilable, and surprisingly readable source code, in your language of choice, that yields the functional equivalent of the binary.

Barring obvious edge cases that could show up but don't usually, like intentional race conditions. Timing is the one area where things get iffy.

That is quite incredible if that is true. Need to read a bit into that. Can you point towards relevant literature/examples? Also: please see my questions in the comment to your other reply

> Who said anything about recreating the exact code?

The person I'm replying to? Who said you will get the same code as if it were the original source?