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

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

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

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