Selective memory tracing of program execution

A method comprising:

• receiving a sequence of computer program instructions,
• analyzing the received sequence of program instructions to indicate execution points associated with non-deterministic program instructions,
• executing the sequence of computer program instructions while capturing program state data, wherein said program state data is associated with at least some of said indicated execution points,
• creating a log indicating, with respect to each method entry in said execution, (a) an execution order of method entries preceding said method entry within said execution, and (b) memory locations and content referenced by said method entry, and
• replaying said execution from a user--selected breakpoint, by inserting said captured program state data at said associated execution points,
• wherein, when during said replaying, a current method requires a content of a memory location:
• (i) executing, based on said log, a method preceding said current method which references said memory location, and
• (ii) repeating (i) when said identified preceding method requires an unknown content of any memory location.

A computer program product comprising a non-transitory computer-readable storage medium having program code embodied therewith, the program code executable by at least one hardware processor to:

• receive a sequence of computer program instructions,
• analyze the received sequence of program instructions to indicate execution points associated with non-deterministic program instructions,
• execute the sequence of computer program instructions while capturing program state data, wherein said program state data is associated with at least some of said indicated execution points,
• create a log indicating, with respect to each method entry in said execution, (a) an execution order of method entries preceding said method entry within said execution, and (b) memory locations and content referenced by said method entry, and
• replay said execution from a user-selected breakpoint, by inserting said captured program state data at said associated execution points,
• wherein, when during said replay, a current method requires a content of a memory location:
• (i) execute, based on said log, a method preceding said current method which references said memory location, and
• (ii) repeat (i) when said identified preceding method requires an unknown content of any memory location.