基于動態(tài)符號執(zhí)行的模糊測試方法研究.pdf

1、隨著互聯(lián)網(wǎng)的發(fā)展，軟件已經(jīng)滲透到人們生活的方方面面。由于軟件功能的多樣化，代碼量和復(fù)雜度也逐漸變高。隨之而來的安全問題引起廣泛關(guān)注，軟件安全問題影響著使用者的信息安全，一旦信息遭到泄露會造成無法挽回的后果。所以提高軟件安全性是很有必要的。漏洞檢測是改善軟件安全性的一種行之有效的方法，因此對漏洞檢測技術(shù)的研究是很有意義的。本文對基于動態(tài)符號執(zhí)行的模糊測試方法進行研究，主要內(nèi)容如下:
　　首先，研究基礎(chǔ)知識。通過閱讀大量文獻，將國內(nèi)外

2、動態(tài)符號執(zhí)行與模糊測試相關(guān)研究成果進行對比與總結(jié)，抽象出動態(tài)符號執(zhí)行的整體流程。同時研究模糊測試的過程與方法，為下一步研究工作奠定基礎(chǔ)。
　　其次，構(gòu)造測試框架。將動態(tài)符號執(zhí)行方法應(yīng)用到模糊測試中，給出基于動態(tài)符號執(zhí)行的模糊測試方法的框架，通過將初始用例輸入到框架中，經(jīng)過插樁模塊、路徑約束生成模塊和求解器模塊，有效的觸發(fā)漏洞來降低測試用例生成的隨機性，提升測試的效率。
　　再次，對框架進行路徑遍歷和求解器兩方面的優(yōu)化。 一是

3、針對動態(tài)符號執(zhí)行流程中路徑遍歷策略和測試輪次多的問題，研究基于代的啟發(fā)式路徑遍歷策略。通過在基于代的路徑遍歷策略基礎(chǔ)上添加評分函數(shù)，將程序經(jīng)過的路徑進行打分操作，將根據(jù)分數(shù)從小到大排序后的路徑作為依次下一次測試的輸入，從而提高觸發(fā)漏洞的效率。二是針對動態(tài)符號執(zhí)行流程中的求解器模塊存在的支持約束少的問題，研究綜合求解器方法。該方法在求解器模塊中添加中間層，完成支持多種約束求解的功能。
　　最后，對求解器模塊和路徑約束生成模塊分別進行