中科院-實(shí)驗(yàn)室開放課題申請書（劉進(jìn)20180312）v1.1

1、0編號(hào)中國科學(xué)院中國科學(xué)院開放課題申請書課題名稱課題名稱:基于基于BigCode深度背景增強(qiáng)的深度背景增強(qiáng)的roid應(yīng)用應(yīng)用代碼反混淆研究代碼反混淆研究申請人:劉進(jìn)劉進(jìn)工作單位工作單位:武漢大學(xué)計(jì)算機(jī)學(xué)院武漢大學(xué)計(jì)算機(jī)學(xué)院通訊地址通訊地址:湖北武昌武漢大學(xué)工學(xué)部計(jì)算機(jī)學(xué)院湖北武昌武漢大學(xué)工學(xué)部計(jì)算機(jī)學(xué)院E403室郵政編碼郵政編碼:430072電話:18062597821Email地址地址:jinliu@whu.申請日期申請日期:2018

2、3122一、本課題研究的內(nèi)容、意義和預(yù)期成果（說明研究課題重點(diǎn)解決的科學(xué)問題、科學(xué)意義和應(yīng)用前景；國內(nèi)外研究概況；具體研究內(nèi)容；預(yù)期成果和提供的形式）1、重點(diǎn)解決的科學(xué)問題、重點(diǎn)解決的科學(xué)問題擬解決的關(guān)鍵科學(xué)問題為擬解決的關(guān)鍵科學(xué)問題為“對于混淆移動(dòng)應(yīng)用代碼的合理理解與逆向評價(jià)對于混淆移動(dòng)應(yīng)用代碼的合理理解與逆向評價(jià)”，體現(xiàn)在本項(xiàng)目研究中即為如何在基本方法和關(guān)鍵技術(shù)方面對“基于深度學(xué)習(xí)代碼反混淆”研究取得進(jìn)展與突破，重點(diǎn)采用從大規(guī)模高質(zhì)

3、量程序知識(shí)資源庫中歸納總結(jié)代碼編寫慣例和事實(shí)規(guī)范的方式作為移動(dòng)代碼反混淆的基本方法，充分利用包括神經(jīng)語言模型在內(nèi)的深度學(xué)習(xí)技術(shù)帶來的技術(shù)突破，深刻揭示代碼元素之間、以及代碼與注釋之間語義協(xié)作關(guān)系，緩解移動(dòng)代碼反混淆過程中混淆代碼難以理解或易于曲解、逆向指導(dǎo)缺乏，逆向結(jié)果質(zhì)量評價(jià)體系含混不清難，逆向結(jié)果正確性和合理性低等不利局面。2、問題的科學(xué)意義和應(yīng)用前景、問題的科學(xué)意義和應(yīng)用前景科學(xué)意義在于科學(xué)意義在于，探索從科學(xué)和技術(shù)角度來回答，能

4、否綜合利用現(xiàn)有的大規(guī)模程序資源（BigCode）、統(tǒng)計(jì)建模方法、深度學(xué)習(xí)技術(shù)、推理翻譯技術(shù)和代碼表示技術(shù)，為克服移動(dòng)代碼反混淆的復(fù)雜性，實(shí)現(xiàn)對于移動(dòng)應(yīng)用代碼混淆的有效逆過程提供不同于傳統(tǒng)的方法和技術(shù)手段。分析國內(nèi)外研究現(xiàn)狀也可以發(fā)現(xiàn)，roid應(yīng)用代碼反混淆也是當(dāng)前軟件逆工程領(lǐng)域的挑戰(zhàn)問題之一，科學(xué)意義明顯。本項(xiàng)研究還具有廣闊的推廣應(yīng)用前景本項(xiàng)研究還具有廣闊的推廣應(yīng)用前景。本項(xiàng)研究成果產(chǎn)生的方法、關(guān)鍵技術(shù)和軟件工具套件還將廣泛支持軟件安全