Patent ID: 11880279
Assignee: RETRACE SOFTWARE LIMITED
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 0:
1. A computer implemented method, the method comprising the steps of:
embedding a first index reference value to each program object created in progress of a program during its execution, each of the first index reference values functioning as a step counter and each program object representing a block of memory containing fields of an entity, wherein each of the first index reference values is associated with a point in the progress of the program execution at which the corresponding program object was created;
generating a first program snapshot by storing a sterilized state of the program objects embedded with the first index reference values;
subsequently recreating a state of the program by:
receiving an indication of a second of the index reference value, the second index reference value being embedded within a selected program object and associated with a point in progress of execution of the program;
recreating the state of the program according to the sterilized state of the program, with the first index reference value being associated with a point in the progress of the program execution that precedes the point in the progress of the program execution associated with the second index reference value; and
executing the program from the recreated state of the program to the point in the progress of the program execution associated with the second index reference value, including using previously stored non-deterministic values determined by a first evaluator program that evaluates the program during a first execution of the program and determines and stores non-deterministic values, to thereby determine the provenance of the selected program object.