基于切片的二進(jìn)制代碼可視化分析的研究.pdf

1、隨著信息時(shí)代的來(lái)臨,社會(huì)對(duì)軟件的需求迅速增長(zhǎng),各種類型的、復(fù)雜多變的軟件與日俱增,而這些軟件大部分是用高級(jí)語(yǔ)言編寫(xiě)的,但絕大部分軟件產(chǎn)品只提供可執(zhí)行的程序,即通常意義上的二進(jìn)制代碼,而不提供高級(jí)語(yǔ)言文本,因而軟件的分析和理解不得不停留在機(jī)器語(yǔ)言的級(jí)別上?？墒菣C(jī)器代碼程序的可讀性差,分析起來(lái)復(fù)雜、困難而且容易出錯(cuò),效率很低,在很大程度上依賴于人的智力勞動(dòng)。
　　 因而,如何簡(jiǎn)化程序理解和軟件分析是軟件工程中的重要課題。程序切片是一

2、種分解程序的重要工具,在軟件分析和理解等領(lǐng)域有廣泛的應(yīng)用。本文在二進(jìn)制程序分析和理解中引入程序切片技術(shù),解決在程序理解、程序復(fù)雜性度量、程序轉(zhuǎn)換中遇到的問(wèn)題。通過(guò)切片運(yùn)算可以達(dá)到分解程序的目的,從而降低程序的復(fù)雜度,便于程序的理解和進(jìn)一步的分析。本文的主要工作如下:
　　 首先,本文介紹了二進(jìn)制程序的文件結(jié)構(gòu),包括PE文件的基本組成部分,其在磁盤(pán)和內(nèi)存中的布局,以及操作系統(tǒng)是如何將二進(jìn)制程序加載進(jìn)內(nèi)存,并介紹反匯編二進(jìn)制程序的算

3、法。
　　 其次,本文使用圖理論輔助二進(jìn)制程序的分析,通過(guò)使用反匯編引擎,識(shí)別代碼中的用戶自定義函數(shù),并構(gòu)造函數(shù)的控制流程圖和數(shù)據(jù)流程圖。借助控制流程圖,識(shí)別程序中的if-else,while,do-while等高級(jí)語(yǔ)言結(jié)構(gòu)。然后使用表達(dá)式算法對(duì)程序進(jìn)行數(shù)據(jù)流分析,在生成偽高級(jí)語(yǔ)言過(guò)程中,消除指令的冗余寄存器,冗余條件轉(zhuǎn)移碼等,完成了過(guò)程調(diào)用參數(shù),返回值及它們類型的恢復(fù)。
　　 然后,利用靜態(tài)切片技術(shù)將程序簡(jiǎn)化為影響指定