[發(fā)明專利]一種結(jié)合全量型檢查點與增量型重做的目標程序逆向執(zhí)行實現(xiàn)方法

在審

• 申請?zhí)枺?/td>: 201710157188.4
• 申請日: 2017-03-16
• 公開（公告）號: CN107102940A
• 公開（公告）日: 2017-08-29
• 發(fā)明（設(shè)計）人: 盧建鵬
• 申請（專利權(quán)）人: 浙江大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 杭州求是專利事務(wù)所有限公司33200
• 代理人: 邱啟旺

1.一種結(jié)合全量型檢查點與增量型重做的目標程序逆向執(zhí)行功能實現(xiàn)方法，其特征在于，具體包括如下步驟：

(1)加載目標程序到模擬器。

(2)生成第一個全量型檢查點，全量型檢查點記錄的內(nèi)容包括CPU狀態(tài)、內(nèi)存狀態(tài)和系統(tǒng)時鐘，將第一個全量型檢查點記錄的內(nèi)容作為模擬器的初始狀態(tài)。

(3)開始執(zhí)行目標程序，每次向前迭代一個時鐘，且每隔一定的系統(tǒng)時鐘數(shù)生成一個全量型檢查點，保存相應(yīng)時刻的全量型檢查點，將這些全量型檢查點作為模擬器的對應(yīng)時刻的狀態(tài)。

(4)在執(zhí)行過程中，遇到斷點時目標程序暫停執(zhí)行，用戶可選擇逆向單步執(zhí)行，首先，下一次目標程序暫停時的時鐘數(shù)為當前時鐘數(shù)減一，其次，模擬器恢復到最近的一個已保存狀態(tài)，即從最近生成的一個全量型檢查點中，恢復CPU狀態(tài)、內(nèi)存狀態(tài)和系統(tǒng)時鐘；然后，模擬器從恢復的狀態(tài)開始繼續(xù)正向執(zhí)行程序，并且判斷當前的系統(tǒng)時鐘數(shù)是否與下一次目標程序暫停的時鐘數(shù)一致，若一致則表示逆向單步執(zhí)行完畢，否則目標程序繼續(xù)正向執(zhí)行。