A method of data processing for determining whether an error has occurred during execution of a program and data processing arrangements for generating program code

摘要

In one embodiment, a method of data processing for determining whether an error has occurred in executing a program is provided, the program having at least one base block, each base block having at least one program instruction and ending with a program jump instruction. The method comprises determining reference verification information of the at least one basic block based on a basic block signature of the respective basic block, the basic block signature having a signature of the respective basic block and optionally having the signature of at least one subsequent basic block corresponding to the respective basic block immediately succeeds. Furthermore, the method comprises determining verification information of the at least one basic block during execution of the respective basic block based on the basic block signature of the respective basic block and determining whether an error has occurred in executing the program based on the determined verification information and the reference checking information.