基于符號執(zhí)行的軟件脆弱性分析技術(shù)研究.pdf

1、網(wǎng)絡安全問題歸根結(jié)底是由軟件脆弱性造成的，一直以來對軟件產(chǎn)業(yè)構(gòu)成著嚴重威脅。過去那種依靠專業(yè)安全研究人員手動發(fā)現(xiàn)軟件脆弱性的方法，已經(jīng)不能滿足人們對安全的迫切需求，而傳統(tǒng)的脆弱性自動發(fā)掘技術(shù)如Fuzzing由于自身固有的缺陷，只能隨機的生成測試用例，而不能全面的分析、理解目標軟件。近年來，針對Fuzzing測試技術(shù)存在的不足，符號執(zhí)行在軟件測試和脆弱性發(fā)現(xiàn)中得到了廣泛的應用。隨著約束求解器的進步、計算機性能的提高和新算法的出現(xiàn)，符號執(zhí)行

2、已成為國內(nèi)外研究的熱點。
　　脆弱性分析的關(guān)鍵是如何觸發(fā)軟件中潛在的各種異?；蚵┒?，然而目前針對軟件脆弱性問題的分析方法普遍存在著分析精度差、效率低、漏報率高的問題，制約了其在軟件脆弱性分析中的進一步應用。本課題針對符號執(zhí)行自身的優(yōu)缺點，對其在自動生成測試用例方面進行了深入的研究，致力于以符號執(zhí)行為主、輔以污點分析技術(shù)，研究并改進了相關(guān)核心算法，即在符號執(zhí)行算法中采用啟發(fā)式搜索、學習和函數(shù)摘要技術(shù)有效遏制路徑爆炸，并在污點分析算法