嵌入式軟件中控制流恢復和分析的方法研究及實現.pdf

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

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