發(fā)布時間：2021-05-19 01:28

　　白盒模糊測試技術有效解決了傳統(tǒng)黑盒模糊測試面臨的盲目性、隨機性及效率低下等問題,但仍然存在一定的局限性,例如:漏洞觸發(fā)能力較弱、環(huán)境交互、復雜約束求解、路徑爆炸等問題。這些問題阻礙了白盒模糊測試技術的發(fā)展,使得白盒模糊測試技術無法實現理論上百分之百的路徑覆蓋率,以及不得不面臨檢測效率和準確性的質疑。本文以改進白盒模糊測試技術檢測效率和準確性為目標,深入分析了白盒模糊測試技術的優(yōu)劣及面臨的主要挑戰(zhàn),重點研究了白盒模糊測試技術中存在的漏洞觸發(fā)能力較弱、環(huán)境交互和復雜約束求解這三個典型問題,并最終提出切實有效的解決方案,主要貢獻如下:首先,針對白盒模糊測試漏洞觸發(fā)能力較弱的問題,提出一種基于污點分析的白盒模糊測試方案。該方案依據不同的漏洞特征,識別危險操作,獲得和漏洞特征相關的約束條件,并與路徑約束條件優(yōu)化結合后通過約束求解器求解,以指導白盒模糊測試自動化地產生既具有較高的路徑覆蓋率又具有良好的漏洞觸發(fā)能力的測試用例。實驗結果表明,與原有的白盒模糊測試相比,該方案能夠有效地提升漏洞檢測能力、降低漏報率與誤報率,時間開銷沒有明顯增加。其次,針對白盒模糊測試的環(huán)境交互問題,提出一種基于外部函數探... 

【文章來源】：南京郵電大學江蘇省

【文章頁數】：57 頁

【學位級別】：碩士

【文章目錄】：
摘要
abstract
第一章 緒論
    1.1 研究背景及意義
    1.2 研究現狀
    1.3 研究內容及貢獻
    1.4 章節(jié)安排
第二章 相關技術介紹
    2.1 模糊測試技術
    2.2 符號執(zhí)行技術
    2.3 白盒模糊測試技術
        2.3.1 白盒模糊測試技術概述
        2.3.2 白盒模糊測試技術面臨的主要問題
    2.4 本章小結
第三章 基于污點分析的白盒模糊測試方案
    3.1 引言
    3.2 污點分析技術
    3.3 WFBTA方案
        3.3.1 方法概述
        3.3.2 改進部分的實現
    3.4 實驗與結果分析
        3.4.1 漏洞發(fā)現能力對比
        3.4.2 漏報率與誤報率對比
        3.4.3 時間開銷對比
    3.5 本章小結
第四章 基于外部函數探測與校正的環(huán)境交互問題改進方案
    4.1 引言
    4.2 HPSBEF方案
        4.2.1 方案概述
        4.2.2 方案實現
    4.3 實驗與結果分析
        4.3.1 漏洞發(fā)現能力對比
        4.3.2 路徑覆蓋率對比
        4.3.3 時間開銷對比
    4.4 本章小結
第五章 基于改進線性擬合函數方法的復雜約束求解方案
    5.1 引言
    5.2 基于線性擬合函數的方法
    5.3 改進的線性擬合函數方法
        5.3.1 縮減搜索空間
        5.3.2 并行化多變量交叉搜索
    5.4 實驗與結果分析
        5.4.1 參數選取及其對性能的影響
        5.4.2 不同方法路徑覆蓋與時間開銷對比
    5.5 本章小結
第六章 總結與展望
    6.1 總結
    6.2 不足與展望
參考文獻
附錄1 攻讀碩士學位期間撰寫的論文
致謝



本文編號：3194850