Patent ID: 8239833

Claim:
A method, executed by a processor, for checking an execution of a program comprising a plurality of operations, the method comprising: during the execution of the program, comparing each operation of the plurality of operations with a plurality of operation types to determine whether the each operation is of an operation type contained in the plurality of operation types, and if so, incrementing and storing in memory a number of occurrences for the operation type; and at the end of the execution of the program, comparing, for each operation type contained in the plurality of operation types, the number of occurrences of the each operation type during the execution of the program with a previously-stored range of numbers of occurrences assigned to the each operation type, wherein the execution of the program is a current execution of the program, and wherein said previously-stored range is determined by statistical analysis of numbers of occurrences of the each operation type during a plurality of previous executions of the program.