Method and apparatus for securing a program against a control flow manipulation and to a faulty execution

The present invention relates to a method for protecting a program against a control flow manipulation, said backup program commands are inserted for generation and verification of a control flow flag sequence in at least one consisting of program instructions program command sequence in the program.