This problem seems like the sort of thing machine learning could be good at though. You have some input binary code that doesn’t run, you want an output that does, you have available training data of inputs and correct matching outputs.