摘要 |
A method for securing a computer program execution comprises branch instructions inserted into a flow of neutral instructions executable one after another. The inventive method consists in recording (10) a number of neutral instruction, which are executable between each branch instruction, in a memory (2), in incrementing (12) a program counter (3) while executing each neutral instructions, in reading (15) the content of said program counted while executing each branch instruction, in comparing (16) the content of the program counter with the number of instruction recorded in the memory, wherein the neutral instructions are supposed to be executed after the previous branch instruction, in initialising (17) said counter and in continuing the program execution if the content of the program counter is equal to the number of the recorded neutral instructions and in generating (18) an interruption if the content of the program counter is unequal to the number of the recorded neutral instructions. |