Fuzzing工具的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、隨著社會(huì)信息化的不斷加深，軟件的安全問(wèn)題越來(lái)越突出。安全漏洞是軟件中的一種故障模式。此類漏洞的存在可能為他人攻擊軟件提供方便。而一旦軟件被攻擊成功，系統(tǒng)就可能發(fā)生癱瘓，所造成的危害可能更大，因此，此類漏洞應(yīng)當(dāng)盡量避免。為了避免軟件漏洞被攻擊者利用，軟件發(fā)布前，對(duì)其進(jìn)行測(cè)試是必需的，應(yīng)盡力在發(fā)布前找到軟件的Bug和漏洞。而真實(shí)的情況卻是：很多軟件根本沒(méi)有經(jīng)過(guò)嚴(yán)格的測(cè)試就投放到市場(chǎng)中了。
　　 Fuzzing測(cè)試是一種非常好的漏洞檢

2、測(cè)方法、自動(dòng)化測(cè)試方法。但是fuzzing測(cè)試的效果，很大程度上取決于其使用的測(cè)試用例。而現(xiàn)在fuzzing工具使用的測(cè)試用例比較簡(jiǎn)單，且生成方法比較簡(jiǎn)陋。正則表達(dá)式是正則語(yǔ)法的一種描述方式，它廣泛應(yīng)用于模式匹配中，現(xiàn)在絕大多數(shù)程序設(shè)計(jì)語(yǔ)言都對(duì)其有所支持。
　　 本文提出了一種正則表達(dá)式的新穎用法——將正則表達(dá)轉(zhuǎn)換成對(duì)應(yīng)的數(shù)據(jù)。因?yàn)檎齽t表達(dá)式是一種描述能力非常強(qiáng)的方法，特別適用于定義和描述各種結(jié)構(gòu)化數(shù)據(jù)。本論文給出了這種能生成數(shù)

3、據(jù)的正則表達(dá)式的完整定義，將其命名為“正則生成式”。同時(shí)，論文也實(shí)現(xiàn)了將給定正則生成式轉(zhuǎn)換成數(shù)據(jù)的程序代碼。
　　 依據(jù)本文設(shè)計(jì)的正則生成式，論文又設(shè)計(jì)和實(shí)現(xiàn)了兩個(gè)Fuzzing測(cè)試框架，每個(gè)框架的測(cè)試數(shù)據(jù)都是由正則生成式生成。同時(shí)這兩個(gè)框架也極具擴(kuò)展性，一個(gè)是編寫符合論文接口要求的動(dòng)態(tài)庫(kù)插件進(jìn)行擴(kuò)展，一個(gè)則是編寫符合接口要求的Python腳本。使用這兩個(gè)框架，測(cè)試者可以更專心的關(guān)注測(cè)試目標(biāo)本身協(xié)議問(wèn)題，可以更好的設(shè)計(jì)測(cè)試數(shù)據(jù)，