BINARY IMAGE DIFFERENTIAL PATCHING

A patch generator for generating a patch that expresses a series of updates to a source image that will transform the source image into a target image. The patch generator compares sections of the target image, in turn, with respective versions of the source image. The patch generator generates the series of updates for the patch in dependence on the comparisons between the sections of the target image and the respective versions of the source image. Comparing each section of the target image with versions of the source image that are expected to be stored by the device during the process of implementing the patch allows the possibility that the device could change the source image in its memory while it implements the patch.