[发明专利]软件故障的反向调试

权利要求书

1.一种计算机系统，包括：

一个或多个处理器；以及

一个或多个计算机可读硬件存储设备，具有被存储在其上的计算机可执行指令，所述计算机可执行指令能够由所述一个或多个处理器执行，以使所述计算机系统：

获取与应用的先前执行对应的一组记录的状态值；

从被包括在所述应用的所述先前执行的瘦硬件跟踪中的硬件跟踪数据获取针对一组处理器指令的控制流信息，所述一组处理器指令在所述应用的所述先前执行期间被执行；

通过至少执行对在所述应用的所述先前执行期间被执行的所述一组处理器指令的迭代的后向和前向分析，针对所述一组处理器指令中的至少一些处理器指令中的每个处理器指令来标识在对应的执行时间处的特定程序状态；

在所述迭代的后向和前向分析期间、并且响应于遇到(1)被包括在所述应用的所述先前执行期间被执行的所述一组处理器指令中并且(2)包括其目的地地址未知的存储器写指令的存储器写处理器指令：

避免推断与所述存储器写指令相关联的所述未知的目的地地址处的未记录的程序状态值，使得至少直到检测到与所述未知的目的地地址相关联的冲突，所述未知的目的地地址中的过期值在所述迭代的后向和前向分析期间保持不被所述存储器写指令修改；以及

响应于检测到所述冲突，在所述未知的目的地地址中的所述过期值可修正的情况下修正所述过期值，或者备选地，当所述过期值不可修正时，提供所述未知的目的地地址中的所述过期值不可修正的指示。

2.根据权利要求1所述的计算机系统，其中与所述应用的所述先前执行对应的所述一组记录的状态值被包括在作为所述应用的崩溃的结果而生成的存储器转储文件中，或者备选地，所述一组记录的状态值响应于手动触发的事件而生成。

3.根据权利要求1所述的计算机系统，其中数据推断图被维持作为所述迭代的后向和前向分析的一部分，所述数据推断图被用于跟踪如何在所述迭代的后向和前向分析的前向方向和后向方向两者上推断特定数据值，所述特定数据值与被包括在所述一组处理器指令中的特定处理器指令相关联。

4.根据权利要求1所述的计算机系统，其中在所述未知的目的地地址中的所述过期值可修正的情况下修正所述过期值通过以下被执行：选择与所述过期值相关联的至少两个单独的值中的一个值，并且然后使用所选择的所述值用于所述存储器写指令。

5.根据权利要求1所述的计算机系统，其中在所述未知的目的地地址中的所述过期值可修正的情况下修正所述过期值通过以下被执行：恢复所述未知的目的地地址，并且然后使用经恢复的所述未知的目的地地址来推断所述过期值的实际值。

6.根据权利要求1所述的计算机系统，其中避免推断所述未知的目的地地址处的所述未记录的程序过期值通过忽略所述存储器写指令被执行。

7.一种计算机系统，包括：

一个或多个处理器；以及

一个或多个计算机可读硬件存储设备，具有被存储在其上的计算机可执行指令，所述计算机可执行指令能够由所述一个或多个处理器执行，以使所述计算机系统：

获取与应用的先前执行对应的一组记录的状态值；

标识与所述应用的所述先前执行对应的瘦硬件跟踪数据，所述瘦硬件跟踪数据包括硬件跟踪数据，所述硬件跟踪数据包括：(1)针对在所述应用的所述先前执行期间被执行的处理器指令的多个操作块的控制流信息；以及(2)针对被包括在所述多个操作块中的每个操作块的对应的操作块时间戳，其中所述多个操作块中的至少一些操作块由不同的处理器线程执行；

通过基于所述多个操作块中的每个操作块的对应的操作块时间戳对每个操作块顺序排序，来生成所述多个操作块的单个合并序列列表；以及

通过至少执行对被包括在所述多个操作块的所述单个合并序列列表中的所述处理器指令的迭代的后向和前向分析，针对在所述应用的所述先前执行期间被执行的所述处理器指令中的至少一些处理器指令中的每个处理器指令来标识在对应的执行时间处的特定程序状态。