二進(jìn)制程序漏洞挖掘技術(shù)的研究與工具實(shí)現(xiàn).pdf

1、二進(jìn)制程序逆向分析和漏洞挖掘一直是軟件安全領(lǐng)域研究的首要和關(guān)鍵問(wèn)題。軟件的規(guī)模和復(fù)雜度越來(lái)越高，大大增加了軟件漏洞挖掘的難度。開(kāi)發(fā)自動(dòng)化的程序逆向分析工具用來(lái)輔助軟件漏洞挖掘已經(jīng)成為現(xiàn)階段的研究熱點(diǎn)。國(guó)內(nèi)外在該領(lǐng)域的研究處于起步階段，許多研究?jī)H停留在理論階段，現(xiàn)有的二進(jìn)制程序靜態(tài)分析工具有較大的局限性，且不成體系，一些分析工具需要大量手工操作的干預(yù)和安全人員的人為經(jīng)驗(yàn)。
　　 本文提出一種基于統(tǒng)一中間語(yǔ)言分析的二進(jìn)制程序靜態(tài)分析

2、漏洞發(fā)掘方法，該方法以中間表示語(yǔ)言為基礎(chǔ)，在函數(shù)控制流圖和模塊函數(shù)調(diào)用圖的指導(dǎo)下模擬二進(jìn)制程序執(zhí)行；通過(guò)數(shù)據(jù)流分析和函數(shù)摘要方法，跟蹤程序數(shù)據(jù)流的傳播，并采用污點(diǎn)傳播技術(shù)將數(shù)據(jù)流的傳播抽象解釋為污染值的傳播，自動(dòng)地檢測(cè)程序潛在缺陷點(diǎn)；在模擬執(zhí)行分析中結(jié)合常見(jiàn)漏洞模式形態(tài)，有效進(jìn)行二進(jìn)制程序的漏洞發(fā)掘?；谝陨戏椒?，本文在BinNavi平臺(tái)上實(shí)現(xiàn)了二進(jìn)制程序靜態(tài)漏洞發(fā)掘工具原型“BAT”。動(dòng)態(tài)插樁技術(shù)在近年來(lái)也開(kāi)始被用于程序漏洞發(fā)掘領(lǐng)域，

3、本文基于Pin插樁平臺(tái)構(gòu)建了一個(gè)動(dòng)態(tài)污點(diǎn)傳播插樁分析框架“DynTool”。BAT已應(yīng)用于主流Office軟件WPS和Adode DPF軟件的測(cè)試和漏洞發(fā)掘，驗(yàn)證了多個(gè)已知漏洞，并在WPS Writer的核心組件typocore.dll中發(fā)現(xiàn)3個(gè)0day漏洞。BAT能夠有效地用于較大規(guī)模軟件的漏洞挖掘，實(shí)驗(yàn)結(jié)果表明對(duì)于規(guī)模在20,000個(gè)函數(shù)級(jí)別的目標(biāo)程序，BAT分析單入口的最長(zhǎng)時(shí)間在20分鐘內(nèi)，分析函數(shù)超過(guò)6000個(gè)，程序調(diào)用最大深度