[發明專利]將主題可重放執行跟蹤與比較可重放執行跟蹤進行區分

在審

• 申請號: 202080093060.6
• 申請日: 2020-11-24
• 公開（公告）號: CN114981783A
• 公開（公告）日: 2022-08-30
• 發明（設計）人: J·莫拉
• 申請（專利權）人: 微軟技術許可有限責任公司
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06F11/34;G06F16/20
• 代理公司: 北京市金杜律師事務所 11256
• 代理人: 李輝

1.一種在包括至少一個處理器的計算機系統處實現的方法，所述方法用于將主題可重放執行跟蹤與比較可重放執行跟蹤進行區分，所述方法包括：

訪問第一主題可重放執行跟蹤并且訪問第二比較可重放執行跟蹤，所述第一主題可重放執行跟蹤表示作為第一執行實體的部分而被執行的第一可執行指令序列，所述第二比較可重放執行跟蹤表示作為第二執行實體的部分而被執行的第二可執行指令序列；

標識所述第一可執行指令序列內的第一多個函數，并且標識所述第二可執行指令序列內的第二多個函數，每個函數對應于作為所述函數的部分而被執行的一個或多個可執行指令的序列；

標識所述第一多個函數的第一多個組，并且標識所述第二多個函數的第二多個組，每個組包括一個或多個相關函數的序列；

將所述第一多個組與所述第二多個組進行比較，包括：基于每個組的身份和與所述組相對應的一個或多個函數來確定所述第一多個組中的每個第一組是否是以下至少一項：

等于所述第二多個組中的第二組；

所述第二多個組中的第二組的替換；

從所述第二多個組中被刪除；或者

被插入到所述第二多個組中；以及

向所述計算機系統處的軟件組件或者向其他計算機系統提供所述比較的結果的一個或多個標記，所述一個或多個標記指示每個第一組是否是以下至少一項：等于所述第二多個組中的第二組、所述第二多個組中的第二組的替換、從所述第二多個組中被刪除、或者被插入到所述第二多個組中。

2.根據權利要求1所述的方法，其中所述第一執行實體和所述第二執行實體從公共可執行代碼被執行。

3.根據權利要求1所述的方法，還包括：確定與所述第一多個組中的第一組相對應的第一函數是否等效于與所述第二多個組中的第二組相對應的第二函數來執行。

4.根據權利要求3所述的方法，其中確定所述第一函數是否等效于所述第二函數來執行包括：

標識對所述第一函數的零個或更多個第一輸入和來自所述第一函數的一個或多個第一輸出，并且標識對所述第二函數的零個或更多個第二輸入和來自所述第二函數的一個或多個第二輸出；以及

基于向所述第二函數提供所述零個或更多個第一輸入以生成一個或多個第三輸出來重放所述第二函數，并且基于向所述第一函數提供所述零個或更多個第二輸入以生成一個或多個第四輸出來重放所述第一函數；以及

將所述第一輸出和所述第三輸出進行比較，并且將所述第二輸出和所述第四輸出進行比較。

5.根據權利要求1所述的方法，其中

每個組對應于庫、模塊、命名空間或類中的一項；以及

每個相關函數作為對應的庫、模塊、命名空間或類的部分而被執行。

6.根據權利要求1所述的方法，其中所述第一多個組包括第一多個第一級組，并且其中所述第二多個組包括第二多個第一級組，所述方法還包括：

標識所述第一多個第一級組中的第一多個第二級組，并且標識所述第二多個第一級組中的第二多個第二級組，每個第二級組對應于庫、模塊、命名空間或類中的一項，并且包括作為對應的庫、模塊、命名空間或類的部分而被執行的分組函數的一個或多個第一級組的序列。

7.根據權利要求1所述的方法，其中標識所述第一多個函數和標識所述第二多個函數包括：針對所述第一多個函數和所述第二多個函數中的每個函數標識以下至少一項：函數名稱、函數參數名稱、函數參數類型或函數參數計數。

8.根據權利要求1所述的方法，其中將所述第一多個組與所述第二多個組進行比較包括：

創建第一多個對象，所述第一多個對象各自表示所述第一多個組中的一個組，并且創建第二多個對象，所述第二多個對象各自表示所述第二多個組中的一個組，每個對象標識所述組和所述組的一個或多個對應函數；以及

在所述第一多個對象與所述第二多個對象之間應用差分算法。

9.根據權利要求8所述的方法，其中每個對象標識組和所述組的多個對應函數，所述多個對應函數以執行順序而被排序。