[發(fā)明專利]通過(guò)反匯編驗(yàn)證處理器執(zhí)行軌跡的方法及控制部件

有效

• 申請(qǐng)?zhí)枺?/td>: 201811519074.0
• 申請(qǐng)日: 2018-12-12
• 公開(kāi)（公告）號(hào): CN111310172B
• 公開(kāi)（公告）日: 2022-03-11
• 發(fā)明（設(shè)計(jì)）人: 謝進(jìn)偉;賈舒;程雪
• 申請(qǐng)（專利權(quán)）人: 北京憶芯科技有限公司
• 主分類號(hào): G06F21/53
• 分類號(hào): G06F21/53;G06F8/53
• 代理公司: 北京卓特專利代理事務(wù)所(普通合伙) 11572
• 代理人: 陳變花

1.一種通過(guò)反匯編驗(yàn)證處理器執(zhí)行軌跡的方法，其特征在于，包括：

將源程序編譯為可執(zhí)行文件與反匯編文件；

執(zhí)行可執(zhí)行文件，產(chǎn)生軌跡序列，通過(guò)分析所述軌跡序列與所述反匯編文件識(shí)別處理器工作的正確性；

通過(guò)分析所述軌跡序列與所述反匯編文件識(shí)別處理器工作的正確性，具體包括：

根據(jù)獲取的當(dāng)前軌跡，用其代表的程序計(jì)數(shù)器的值查詢反匯編文件，從反匯編文件中得到當(dāng)前軌跡對(duì)應(yīng)的記錄；

通過(guò)分析當(dāng)前軌跡在反匯編文件中的記錄，或者當(dāng)前軌跡在反匯編文件中的記錄和當(dāng)前軌跡之前的軌跡在反匯編文件中的記錄，來(lái)識(shí)別當(dāng)前軌跡是否滿足指定執(zhí)行模式，進(jìn)而識(shí)別處理器工作是否正常。

2.如權(quán)利要求1所述的通過(guò)反匯編驗(yàn)證處理器執(zhí)行軌跡的方法，其特征在于，已知指令執(zhí)行模式包括順序執(zhí)行模式、分支/跳轉(zhuǎn)模式、循環(huán)模式、中斷模式或啟動(dòng)模式。

3.如權(quán)利要求2所述的通過(guò)反匯編驗(yàn)證處理器執(zhí)行軌跡的方法，其特征在于，若當(dāng)前軌跡在反匯編文件中的第一記錄同當(dāng)前軌跡的在前軌跡在反匯編文件中的第二記錄相鄰，且在反匯編文件中第二記錄在第一記錄之前，則當(dāng)前軌跡為順序執(zhí)行模式；或，若當(dāng)前軌跡的在前軌跡具有同當(dāng)前軌跡相鄰且在前的程序計(jì)數(shù)器的值，則當(dāng)前軌跡為順序執(zhí)行模式。

4.如權(quán)利要求2所述的通過(guò)反匯編驗(yàn)證處理器執(zhí)行軌跡的方法，其特征在于，若當(dāng)前軌跡的緊鄰前面第二條軌跡的程序計(jì)數(shù)器的值對(duì)應(yīng)的地址在反匯編文件中的記錄為跳轉(zhuǎn)指令，則當(dāng)前軌跡屬于跳轉(zhuǎn)模式。

5.如權(quán)利要求2所述的通過(guò)反匯編驗(yàn)證處理器執(zhí)行軌跡的方法，其特征在于，若當(dāng)前軌跡同其緊鄰前面第兩條軌跡在反匯編文件中的對(duì)應(yīng)條目指示跳轉(zhuǎn)指令，以及在反匯編文件中，獲取同當(dāng)前軌跡以及當(dāng)前軌跡的緊鄰前面第二條軌跡對(duì)應(yīng)的第二條目和第一條目，若第一條目指示跳轉(zhuǎn)指令，而第二條目的地址同第一條目的跳轉(zhuǎn)目標(biāo)一致，則當(dāng)前軌跡屬于跳轉(zhuǎn)模式。

6.如權(quán)利要求2所述的通過(guò)反匯編驗(yàn)證處理器執(zhí)行軌跡的方法，其特征在于，若當(dāng)前軌跡的緊鄰前一軌跡對(duì)應(yīng)反匯編文件的條目指示循環(huán)指令，則當(dāng)前軌跡屬于循環(huán)執(zhí)行模式。

7.如權(quán)利要求2所述的通過(guò)反匯編驗(yàn)證處理器執(zhí)行軌跡的方法，其特征在于，若當(dāng)前軌跡的緊鄰前面第二條軌跡的程序計(jì)數(shù)器的值對(duì)應(yīng)的地址在反匯編文件中的條目是循環(huán)指令，則當(dāng)前軌跡屬于循環(huán)執(zhí)行模式。

8.如權(quán)利要求2所述的通過(guò)反匯編驗(yàn)證處理器執(zhí)行軌跡的方法，其特征在于，若當(dāng)前軌跡同其緊鄰前面的軌跡在反匯編文件中的對(duì)應(yīng)條目指示循環(huán)指令，且在反匯編文件中，當(dāng)前軌跡的緊鄰前一軌跡指示的循環(huán)指令的目標(biāo)地址是當(dāng)前軌跡指示的地址，當(dāng)前軌跡的緊鄰前一軌跡的程序計(jì)數(shù)器的值也為當(dāng)前軌跡指示的地址，則當(dāng)前軌跡屬于循環(huán)執(zhí)行模式。

9.一種存儲(chǔ)設(shè)備的控制部件，包括處理器以及為在控制部件的處理器上運(yùn)行而開(kāi)發(fā)的源程序，其特征在于，所述處理器執(zhí)行所述源程序時(shí)實(shí)現(xiàn)執(zhí)行上述權(quán)利要求1-8之一所述的通過(guò)反匯編驗(yàn)證處理器執(zhí)行軌跡的方法。