Diffing a subject replayable execution trace against a comparison replayable execution trace

A computer system, comprising:

• at least one processor;
• and
• one or more computer-readable media having stored thereon computer-executable instructions that are executable by the at least one processor to cause the computer system to diff a subject replayable execution trace against a comparison replayable execution trace, the computer-executable instructions including instructions that are executable by the at least one processor to cause the computer system to at least:
• access a first subject replayable execution trace which represents a first sequence of executable instructions that executed as part of a first executing entity, and access a second comparison replayable execution trace which represents a second sequence of executable instructions that executed as part of a second executing entity;
• identify a first plurality of functions within the first sequence of executable instructions, and identify a second plurality of functions within the second sequence of executable instructions, each function corresponding to a sequence of one or more executable instructions that executed as part of the function;
• identify a first plurality of groups of the first plurality of functions, and identify a second plurality of groups of the second plurality of functions, each group comprising a sequence of one or more related functions;
• compare the first plurality of groups and the second plurality of groups, including determining, based on an identity of each group and on one or more functions corresponding to the group, if each first group in the first plurality of groups is at least one of:
• equal to a second group in the second plurality of groups, a replacement of a second group in the second plurality of groups, deleted from the second plurality of groups, or inserted into the second plurality of groups, wherein comparing the first plurality of groups and the second plurality of groups comprises determining that at a particular first group in the first plurality of groups is equal to a particular second group in the second plurality of groups based at least on:
• generating a first output by emulating, on the at least one processor, execution of executable instructions of a first function in the particular first group,
• generating a second output by emulating, on the at least one processor, execution executable instructions of a second function in the particular second group, and
• determining that the first output equals the second output;
• and
• provide one or more indicia of a result of the comparing to a software component at the computer system, or to an other computer system, the one or more indicia indicating whether each first group is at least one of equal to a second group in the second plurality of groups, a replacement of a second group in the second plurality of groups, deleted from the second plurality of groups, or inserted into the second plurality of groups, the one or more indicia indicating at least that the particular first group is equal to the particular second group.

A computer program product comprising one or more hardware storage devices having stored thereon computer-executable instructions that are executable by at least one processor to cause a computer system to diff a subject replayable execution trace against a comparison replayable execution trace, the computer-executable instructions including instructions that are executable by the at least one processor to cause the computer system to at least:

• access a first subject replayable execution trace which represents a first sequence of executable instructions that executed as part of a first executing entity, and access a second comparison replayable execution trace which represents a second sequence of executable instructions that executed as part of a second executing entity;
• identify a first plurality of functions within the first sequence of executable instructions, and identify a second plurality of functions within the second sequence of executable instructions, each function corresponding to a sequence of one or more executable instructions that executed as part of the function;
• identify a first plurality of groups of the first plurality of functions, and identify a second plurality of groups of the second plurality of functions, each group comprising a sequence of one or more related functions;
• compare the first plurality of groups and the second plurality of groups, including determining, based on an identity of each group and on one or more functions corresponding to the group, if each first group in the first plurality of groups is at least one of:
• equal to a second group in the second plurality of groups, a replacement of a second group in the second plurality of groups, deleted from the second plurality of groups, or inserted into the second plurality of groups, wherein comparing the first plurality of groups and the second plurality of groups comprises determining that at a particular first group in the first plurality of groups is equal to a particular second group in the second plurality of groups based at least on:
• generating a first output by emulating, on the at least one processor, execution of executable instructions of a first function in the particular first group,
• generating a second output by emulating, on the at least one processor, execution executable instructions of a second function in the particular second group, and
• determining that the first output equals the second output;
• and
• provide one or more indicia of a result of the comparing to a software component at the computer system, or to an other computer system, the one or more indicia indicating whether each first group is at least one of equal to a second group in the second plurality of groups, a replacement of a second group in the second plurality of groups, deleted from the second plurality of groups, or inserted into the second plurality of groups, the one or more indicia indicating at least that the particular first group is equal to the particular second group.