版本間語義分析制導(dǎo)的程序逆向靜態(tài)分析.pdf

1、軟件的規(guī)模和復(fù)雜度越來越高，大大提高了軟件漏洞挖掘的難度。人們知道軟件的版本更新指示了舊版本中存在某些缺陷或修改，如何開發(fā)自動(dòng)化的程序逆向分析工具用來輔助軟件漏洞挖掘已經(jīng)成為重要的研究熱點(diǎn)。傳統(tǒng)的補(bǔ)丁比對工具只是簡單的逆向代碼文本比對，提供的信息量有限。
　　 本文使用版本間語義修改制導(dǎo)的程序逆向靜態(tài)分析方法，在Phoenix編譯架構(gòu)上研制了一個(gè)可執(zhí)行程序逆向分析的工具原型“ReverseSA”，實(shí)現(xiàn)了對.Net平臺(tái)可執(zhí)行程序逆

2、向提升到IR(中間語言)的版本間語義修改識別。使用程序切片技術(shù)得到語義修改識別區(qū)域的語義依賴區(qū)域；采用符號執(zhí)行和約束求解技術(shù)在Phoenix編譯架構(gòu)上實(shí)現(xiàn)了對IR的語義解釋執(zhí)行，自動(dòng)產(chǎn)生測試?yán)斎?。同時(shí)還提供了繪制程序的過程內(nèi)控制流圖，過程間函數(shù)調(diào)用圖，函數(shù)的程序依賴圖的功能。具備對定規(guī)模程序的符號執(zhí)行主動(dòng)安全性測試的能力，ReverseSA被用于較大規(guī)模的是中國移動(dòng)推出的“綜合通信服務(wù)”即“飛信”客戶端可執(zhí)行的程序兩個(gè)版本。實(shí)驗(yàn)結(jié)果表