Data race analysis based on altering function internal loads during time-travel debugging

A computer system, comprising:

• one or more processors;
• and
• one or more computer-readable media having stored thereon computer-executable instructions that are executable by the one or more processors to cause the computer system to use a recorded execution to determine whether a function-internal load modification affects one or more outputs of a traced function, the computer-executable instructions including instructions that are executable by the one or more processors to at least:
• access a recorded execution comprising trace data tracing a prior execution of at least a portion of executable code of an executable entity, the trace data enabling replay of the prior execution the portion of the executable entity;
• identify a function within the traced portion of executable code of the executable entity, the function comprising a sequence of executable instructions, the function consuming zero or more inputs and producing one or more outputs;
• based on the trace data, determine one or more traced output data values that were produced by a traced instance of the function during the prior execution;
• identify, within the sequence of executable instructions of the function, at least one executable instruction that performs a load from memory;
• emulate execution of the function in reliance on the trace data, including:
• substituting a traced memory value loaded by the at least one executable instruction during the traced instance of the function with a different memory value;
• and
• producing one or more emulated output data values for the one or more outputs;
• determine if there is a difference between the one or more traced output data values and the one or more emulated output data values;
• and
• based on there being a difference between the one or more traced output data values and the one or more emulated output data values, generating a notification at a user interface or to a software component.

A computer program product comprising one or more hardware storage devices having stored thereon computer-executable instructions that are executable by one or more processors to cause a computer system to use a recorded execution to determine whether a function-internal load modification affects one or more outputs of a traced function, the computer-executable instructions including instructions that are executable by the one or more processors to at least:

• access a recorded execution comprising trace data tracing a prior execution of at least a portion of executable code of an executable entity, the trace data enabling replay of the prior execution the portion of the executable entity;
• identify a function within the traced portion of executable code of the executable entity, the function comprising a sequence of executable instructions, the function consuming zero or more inputs and producing one or more outputs;
• based on the trace data, determine one or more traced output data values that were produced by a traced instance of the function during the prior execution;
• identify, within the sequence of executable instructions of the function, at least one executable instruction that performs a load from memory;
• emulate execution of the function in reliance on the trace data, including:
• substituting a traced memory value loaded by the at least one executable instruction during the traced instance of the function with a different memory value;
• and
• producing one or more emulated output data values for the one or more outputs;
• determine if there is a difference between the one or more traced output data values and the one or more emulated output data values;
• and
• based on there being a difference between the one or more traced output data values and the one or more emulated output data values, generate a notification at a user interface or to a software component.