嵌入式軟件中控制流恢復(fù)和分析的方法研究及實(shí)現(xiàn).pdf

1、逆向工程中，在沒(méi)有源代碼的情況下，對(duì)反匯編后的可執(zhí)行文件或目標(biāo)代碼文件進(jìn)行分析，是理解整個(gè)軟件設(shè)計(jì)思路以及體系結(jié)構(gòu)的最可靠的依據(jù)。
　　對(duì)于編譯后的二進(jìn)制代碼中，調(diào)試信息已經(jīng)被完全去除，并對(duì)程序進(jìn)行了優(yōu)化?，F(xiàn)有的反編譯的技術(shù)將匯編轉(zhuǎn)換成高級(jí)代碼的正確性，還是達(dá)不到工程項(xiàng)目的要求。采取直接理解匯編的方式，需要特定的指令有深入的理解，轉(zhuǎn)換后的正確性也很難驗(yàn)證正確性。
　　本文在目標(biāo)程序二進(jìn)制解析成匯編和匯編轉(zhuǎn)換到中間語(yǔ)言的基礎(chǔ)上

2、，分析匯編代碼和中間語(yǔ)言的特征，利用控制流轉(zhuǎn)移指令識(shí)別出嵌入式控制軟件中的控制流，繪制出函數(shù)間的調(diào)用關(guān)系圖和函數(shù)內(nèi)的控制流圖。對(duì)于在控制流高級(jí)結(jié)構(gòu)恢復(fù)的過(guò)程中，由于編譯器的優(yōu)化造成高級(jí)控制結(jié)構(gòu)的非結(jié)構(gòu)化問(wèn)題，本文給出了非結(jié)構(gòu)控制流的處理方法，將其轉(zhuǎn)換成高級(jí)結(jié)構(gòu)能夠處理的類(lèi)型，并給出了循環(huán)中break和continue關(guān)鍵字的高級(jí)結(jié)構(gòu)優(yōu)化方式，將控制流完成轉(zhuǎn)換成具有高級(jí)控制結(jié)構(gòu)的控制塊，并根據(jù)順序、分支和循環(huán)的結(jié)構(gòu)進(jìn)行高級(jí)結(jié)構(gòu)代碼的輸出。