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

【相似文獻】

相關期刊論文 前10條

1 葉志斌;嚴波;;符號執(zhí)行研究綜述[J];計算機科學;2018年S1期

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

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

4 邵巳航;蘇亭;顧斌;王政;楊孟飛;;基于過程間動態(tài)符號執(zhí)行的C語言測試框架[J];計算機工程與設計;2014年08期

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

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

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

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

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

10 王偉光;曾慶凱;孫浩;;面向危險操作的動態(tài)符號執(zhí)行方法[J];軟件學報;2016年05期

相關會議論文 前3條

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

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

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

相關博士學位論文 前10條

1 傅先進;基于符號執(zhí)行的MPI程序分析與驗證技術(shù)研究[D];國防科學技術(shù)大學;2016年

2 安靖;動態(tài)符號執(zhí)行關鍵技術(shù)研究[D];北京郵電大學;2014年

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

4 張羽豐;符號執(zhí)行可擴展性及可行性關鍵技術(shù)研究[D];國防科學技術(shù)大學;2013年

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

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

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

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

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

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

相關碩士學位論文 前10條

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

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

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

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

5 邵巳航;基于過程間動態(tài)符號執(zhí)行的自動測試工具設計與實現(xiàn)[D];華東師范大學;2014年

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

7 董齊興;基于動態(tài)符號執(zhí)行的測試用例生成技術(shù)研究[D];中國科學技術(shù)大學;2014年

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

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

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

，

本文編號：2606778