隨著信息技術(shù)的快速發(fā)展,軟件在人們生活中的應(yīng)用越加廣泛、深入,其安全性也越發(fā)受到重視。Fuzzing作為一種高效、實用的軟件測試技術(shù),其在發(fā)現(xiàn)程序錯誤、漏洞等問題方面表現(xiàn)突出,是軟件安全領(lǐng)域內(nèi)一項備受關(guān)注的技術(shù)。近年來,對fuzzing技術(shù)的研究集中在減少其盲目性、提高其準確性方面。與之相比,動態(tài)符號執(zhí)行通過符號化程序輸入、收集并求解路徑約束來生成高質(zhì)量的測試用例,該技術(shù)能夠精確覆蓋程序路徑,但運行速度較慢。兩種技術(shù)優(yōu)勢互補的特性使得將其結(jié)合使用成為近年來的一個研究熱點,目前在該方向上已取得初步研究成果。本文的工作聚焦在如何更加有效地結(jié)合fuzzing和動態(tài)符號執(zhí)行這兩種技術(shù),以使它們更大程度上發(fā)揮出各自的優(yōu)勢。具體來說,針對目前該方向上存在的程序路徑漏解問題,本文分析了其背后的原因,并提出了一個改進的程序路徑記錄方法來解決該問題。本文運用提出的方法構(gòu)建了一個二進制程序分析工具Digger。該工具支持Linux系統(tǒng)上64位和32位的程序,能夠處理從文件讀取數(shù)據(jù)的程序,且能夠支持被測程序附加其他參數(shù)。本文在人工構(gòu)建的程序和現(xiàn)實中的應(yīng)用（如coreutils工具集、gif2png等）上進行... 

【文章頁數(shù)】：52 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 研究背景和意義
        1.1.1 研究方向的選擇
        1.1.2 目標程序的選擇
    1.2 研究現(xiàn)狀
        1.2.1 KleeFL
        1.2.2 TaintScope
        1.2.3 Driller
        1.2.4 Syzkaller
        1.2.5 LibFuzzer
    1.3 研究內(nèi)容
    1.4 本文工作和成果
    1.5 本文結(jié)構(gòu)
第二章 背景知識
    2.1 Fuzzing
        2.1.1 Fuzzing概述
        2.1.2 基于變異和語法的fuzzing
        2.1.3 黑盒、白盒和灰盒fuzzing
        2.1.4 AFL
    2.2 符號執(zhí)行
        2.2.1 符號執(zhí)行概述
        2.2.2 靜態(tài)和動態(tài)符號執(zhí)行
        2.2.3 Angr
    2.3 代碼插樁
        2.3.1 代碼插樁概述
        2.3.2 代碼插樁的設(shè)計
        2.3.3 代碼插樁的應(yīng)用場景
        2.3.4 DynamoRIO
第三章 問題詳述
    3.1 問題原因分析
    3.2 實例分析
第四章 系統(tǒng)設(shè)計
    4.1 解決方案及算法
    4.2 系統(tǒng)架構(gòu)
        4.2.1 調(diào)度模塊
        4.2.2 FUZZING模塊
        4.2.3 動態(tài)符號執(zhí)行模塊
    4.3 系統(tǒng)流程
第五章 系統(tǒng)實現(xiàn)
    5.1 工具選取
    5.2 關(guān)鍵技術(shù)
        5.2.1 AFL與DynamoRIO的結(jié)合
        5.2.2 C與Python的結(jié)合
第六章 實驗評估
    6.1 評估指標
        6.1.1 覆蓋率
        6.1.2 程序錯誤
    6.2 測試對象
        6.2.1 示例程序
        6.2.2 coreutils工具集
        6.2.3 實際應(yīng)用程序
    6.3 結(jié)果及分析
        6.3.1 實驗1
        6.3.2 實驗2
        6.3.3 實驗3
        6.3.4 實驗4
第七章 總結(jié)與展望
    7.1 工作總結(jié)
    7.2 工作展望
參考文獻
致謝
攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄



本文編號：3735778