【摘要】：隨著軟件安全性受到越來(lái)越廣泛的關(guān)注,軟件研發(fā)人員開(kāi)始投入更多的研究工作到漏洞測(cè)試技術(shù)上。動(dòng)態(tài)符號(hào)執(zhí)行是一項(xiàng)非常有前景的測(cè)試生成和漏洞挖掘技術(shù),多項(xiàng)研究表明它具有潛在的高效生產(chǎn)力,目前這項(xiàng)技術(shù)的研究重點(diǎn)已經(jīng)開(kāi)始從學(xué)術(shù)研究向工業(yè)化應(yīng)用演進(jìn)。然而,面對(duì)大規(guī)模的、復(fù)雜的軟件項(xiàng)目時(shí),動(dòng)態(tài)符號(hào)執(zhí)行往往會(huì)遭遇一些覆蓋瓶頸;并且使用傳統(tǒng)的分析方法很難快速地定位問(wèn)題的具體原因,造成了大量的工作量被消耗在分析階段。在這樣的情況下,重新組織和構(gòu)造動(dòng)態(tài)符號(hào)執(zhí)行的過(guò)程信息,將其測(cè)試生成過(guò)程進(jìn)行可視化呈現(xiàn)將能極大地幫助到分析人員進(jìn)行過(guò)程分析;這將幫助快速地辨別阻礙代碼覆蓋繼續(xù)增長(zhǎng)的具體原因,并指導(dǎo)相應(yīng)的修改和重新配置以使得動(dòng)態(tài)符號(hào)執(zhí)行走出停滯區(qū)域,進(jìn)一步提升代碼覆蓋率。本文基于以上的動(dòng)機(jī),對(duì)動(dòng)態(tài)符號(hào)執(zhí)行的過(guò)程分析進(jìn)行了研究,設(shè)計(jì)出了一種針對(duì)動(dòng)態(tài)符號(hào)執(zhí)行的可視化分析方法,然后基于此方法實(shí)現(xiàn)了一個(gè)動(dòng)態(tài)符號(hào)執(zhí)行可視化分析工具——VDSE。本文的研究將主要從以下3個(gè)方面進(jìn)行展開(kāi)。第一,對(duì)動(dòng)態(tài)符號(hào)執(zhí)行理論進(jìn)行了調(diào)查和研究。本文主要對(duì)它的理論基礎(chǔ)、發(fā)展現(xiàn)狀、技術(shù)挑戰(zhàn)和相應(yīng)的解決方案進(jìn)行了系統(tǒng)的闡述,然后橫向?qū)Ρ攘?款主流的動(dòng)態(tài)符號(hào)執(zhí)行工具。研究表明,動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)具有諸多的優(yōu)勢(shì),但也面臨諸多的技術(shù)挑戰(zhàn)。此內(nèi)容為接下來(lái)的研究提供了重要的理論基礎(chǔ)和參考依據(jù)。第二,設(shè)計(jì)針對(duì)動(dòng)態(tài)符號(hào)執(zhí)行的可視化分析方法。本文通過(guò)一個(gè)動(dòng)態(tài)符號(hào)執(zhí)行過(guò)程中的典型問(wèn)題說(shuō)明了傳統(tǒng)分析方法的局限性,然后提出了對(duì)應(yīng)的可視化分析方法。本文詳細(xì)定義了這種方法的概念和原理,并簡(jiǎn)要介紹了這種方法所帶來(lái)的優(yōu)勢(shì)。第三,實(shí)現(xiàn)動(dòng)態(tài)符號(hào)執(zhí)行可視化分析工具——VDSE。這是一個(gè)跨平臺(tái)的可視化分析工具,具有良好的圖形交互特性;通過(guò)它能夠可視化地監(jiān)控動(dòng)態(tài)符號(hào)執(zhí)行過(guò)程,并且在覆蓋問(wèn)題發(fā)生的時(shí)候快速地展開(kāi)問(wèn)題分析。本內(nèi)容具體描述了此工具的實(shí)現(xiàn)架構(gòu),然后簡(jiǎn)單地進(jìn)行了性能測(cè)試和實(shí)際使用,以此展現(xiàn)了VDSE的可用性。目前VDSE能夠?qū)uzzgrind進(jìn)行可視化分析,后續(xù)研究將對(duì)更多的動(dòng)態(tài)符號(hào)執(zhí)行工具提供兼容性支持以幫助提升它們的可用性。此項(xiàng)研究中所提出的方法和技術(shù)已申請(qǐng)為發(fā)明專利。
【學(xué)位授予單位】：電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2018
【分類號(hào)】：TP311.52

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 葉志斌;嚴(yán)波;;符號(hào)執(zhí)行研究綜述[J];計(jì)算機(jī)科學(xué);2018年S1期

2 梁川;;動(dòng)態(tài)符號(hào)執(zhí)行中搜索策略的選擇及改進(jìn)[J];信息與電腦(理論版);2017年05期

3 孫盼盼;董威;;分布式符號(hào)執(zhí)行平臺(tái)[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2016年04期

4 邵巳航;蘇亭;顧斌;王政;楊孟飛;;基于過(guò)程間動(dòng)態(tài)符號(hào)執(zhí)行的C語(yǔ)言測(cè)試框架[J];計(jì)算機(jī)工程與設(shè)計(jì);2014年08期

5 林夢(mèng)香;陳胤立;陳睿;周剛;;基于懶替換的C符號(hào)執(zhí)行[J];北京航空航天大學(xué)學(xué)報(bào);2009年06期

6 高仲儀 ,梁霞;符號(hào)執(zhí)行和測(cè)試數(shù)據(jù)輔助生成的實(shí)驗(yàn)系統(tǒng)[J];北京航空學(xué)院學(xué)報(bào);1988年04期

7 周孔偉,蔡經(jīng)球;符號(hào)執(zhí)行—介于程序驗(yàn)證和程序調(diào)試之間的方法[J];小型微型計(jì)算機(jī)系統(tǒng);1982年04期

8 孫基男;潘克峰;陳雪峰;張君福;;基于符號(hào)執(zhí)行的注入類安全漏洞的分析技術(shù)[J];北京大學(xué)學(xué)報(bào)(自然科學(xué)版);2018年01期

9 秦曉軍;周林;陳左寧;甘水滔;;基于懶符號(hào)執(zhí)行的軟件脆弱性路徑求解算法[J];計(jì)算機(jī)學(xué)報(bào);2015年11期

10 王偉光;曾慶凱;孫浩;;面向危險(xiǎn)操作的動(dòng)態(tài)符號(hào)執(zhí)行方法[J];軟件學(xué)報(bào);2016年05期

相關(guān)會(huì)議論文 前3條

1 范海虹;;俄漢姓名稱呼對(duì)比[A];外語(yǔ)語(yǔ)言教學(xué)研究——黑龍江省外國(guó)語(yǔ)學(xué)會(huì)第十一次學(xué)術(shù)年會(huì)論文集[C];1997年

2 劉峻宇;李強(qiáng);余祥;何海洋;;基于符號(hào)執(zhí)行的指揮信息系統(tǒng)軟件缺陷檢測(cè)技術(shù)[A];2014第二屆中國(guó)指揮控制大會(huì)論文集（上）[C];2014年

3 張志剛;趙靜;張苓琳;;基于語(yǔ)義分析的軟件缺陷自動(dòng)檢測(cè)技術(shù)研究[A];第五屆中國(guó)指揮控制大會(huì)論文集[C];2017年

相關(guān)博士學(xué)位論文 前10條

1 傅先進(jìn);基于符號(hào)執(zhí)行的MPI程序分析與驗(yàn)證技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2016年

2 安靖;動(dòng)態(tài)符號(hào)執(zhí)行關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2014年

3 陳廳;動(dòng)態(tài)程序分析技術(shù)在軟件安全領(lǐng)域的研究[D];電子科技大學(xué);2013年

4 張羽豐;符號(hào)執(zhí)行可擴(kuò)展性及可行性關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2013年

5 程紹銀;需求驅(qū)動(dòng)的軟件安全缺陷自動(dòng)測(cè)試生成[D];中國(guó)科學(xué)技術(shù)大學(xué);2009年

6 李游;統(tǒng)一的軟件測(cè)試控制流覆蓋準(zhǔn)則體系及其符號(hào)執(zhí)行制導(dǎo)技術(shù)研究[D];南京大學(xué);2016年

7 楊宇波;代碼混淆模型研究[D];北京郵電大學(xué);2015年

8 姬秀娟;資源泄露故障靜態(tài)分析的關(guān)鍵技術(shù)研究[D];南開(kāi)大學(xué);2014年

9 曹琰;面向軟件脆弱性分析的并行符號(hào)執(zhí)行技術(shù)研究[D];解放軍信息工程大學(xué);2013年

10 陳石坤;面向程序驗(yàn)證的循環(huán)不變式自動(dòng)構(gòu)造技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2010年

相關(guān)碩士學(xué)位論文 前10條

1 王穎;并行分段式符號(hào)執(zhí)行的研究與實(shí)現(xiàn)[D];電子科技大學(xué);2018年

2 張澤亮;二進(jìn)制動(dòng)態(tài)符號(hào)執(zhí)行可視化管理工具研究與實(shí)現(xiàn)[D];電子科技大學(xué);2018年

3 蔣剛;C分析工具中程序切片和變換的設(shè)計(jì)與實(shí)現(xiàn)[D];中國(guó)科學(xué)技術(shù)大學(xué);2017年

4 羅榮森;基于符號(hào)摘要的動(dòng)態(tài)符號(hào)執(zhí)行的研究[D];電子科技大學(xué);2016年

5 邵巳航;基于過(guò)程間動(dòng)態(tài)符號(hào)執(zhí)行的自動(dòng)測(cè)試工具設(shè)計(jì)與實(shí)現(xiàn)[D];華東師范大學(xué);2014年

6 陳禹行;基于動(dòng)態(tài)符號(hào)執(zhí)行的模糊測(cè)試方法研究[D];大連海事大學(xué);2018年

7 董齊興;基于動(dòng)態(tài)符號(hào)執(zhí)行的測(cè)試用例生成技術(shù)研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2014年

8 吉小麗;動(dòng)態(tài)符號(hào)執(zhí)行的性能優(yōu)化[D];電子科技大學(xué);2013年

9 顏婷;分段式分析方法在動(dòng)態(tài)符號(hào)執(zhí)行中的應(yīng)用[D];華東師范大學(xué);2015年

10 汪勇;基于符號(hào)執(zhí)行的軟件測(cè)試技術(shù)研究與設(shè)計(jì)[D];電子科技大學(xué);2017年

，

本文編號(hào)：2606778