Automatically Repairing Stripped Executables with CFG Microsurgery