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

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

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