This is very impressive!<p>This is a risky bet for actual production use. There is no way you can 100% be sure that the generated binary is correct and matching behavior with the original binary. There are cases that don't have unit tests and static analysis and formal verification can't be enough.<p>Imagine a bug introduced by this that you have no idea where to begin to debug. I guess the best solution is to add a unit test and generate another binary with this system but do we really want to do this?