基于指令執(zhí)行記錄的二進(jìn)制程序動(dòng)態(tài)切片技術(shù).pdf

1、為了從Windows操作系統(tǒng)用戶群中吸引潛在用戶，UnifiedKernel系統(tǒng)旨在于Linux操作系統(tǒng)上運(yùn)行Windows應(yīng)用。在用既有軟件測(cè)試UnifiedKemel系統(tǒng)與Windows操作系統(tǒng)的兼容性時(shí)，開發(fā)人員遇到了比較大的困難。由于沒有源代碼，面對(duì)黑箱時(shí)，程序開發(fā)人員必須分析每一行程序指令，這個(gè)開銷是很大的，而且由于很多指令與出現(xiàn)的程序異常行為無關(guān)，因此效率也是很低下的。 在這種契機(jī)之下，本文提出了在沒有源代碼的情況下

2、，對(duì)二進(jìn)制程序進(jìn)行動(dòng)態(tài)切片的技術(shù)，找出和程序異常行為相關(guān)的指令，減少開發(fā)人員需要分析的指令數(shù)目，為他們減輕工作壓力，提高工作效率。 本文主要完成了以下兩方面的工作： (1)為利用基于指令執(zhí)行記錄的二進(jìn)制動(dòng)態(tài)程序切片方法提供了理論上和技術(shù)上的準(zhǔn)備。文章探討了動(dòng)態(tài)反匯編的方法，并論述了只需要指令執(zhí)行記錄和程序控制依賴圖切片技術(shù)的可能性； (2)提出了基于指令執(zhí)行記錄的二進(jìn)制動(dòng)態(tài)程序切片方法，并設(shè)計(jì)實(shí)驗(yàn)證明該方法是正確