Isn't porting patches the equivalent of a halting problem? Or did you have something specific in mind?