靜動(dòng)態(tài)結(jié)合的安全漏洞檢測(cè)方法研究.pdf

1、隨著軟件安全問(wèn)題日益突出，國(guó)內(nèi)外學(xué)者不斷地提出新的漏洞檢測(cè)方法，主要分為靜態(tài)檢測(cè)和動(dòng)態(tài)檢測(cè)等。靜態(tài)檢測(cè)方法效率高、漏報(bào)率低但具有較高的誤報(bào)率，動(dòng)態(tài)檢測(cè)方法準(zhǔn)確率高卻存在檢測(cè)效率低下和測(cè)試用例難以生成的問(wèn)題。盡管有關(guān)學(xué)者早已提出對(duì)程序安全漏洞進(jìn)行靜動(dòng)態(tài)檢測(cè)相結(jié)合的思想，但并未真正意義上有效地將兩者進(jìn)行結(jié)合，其效率和效果仍不夠理想。
　　靜動(dòng)態(tài)結(jié)合的安全漏洞檢測(cè)主要分為靜態(tài)檢測(cè)和動(dòng)態(tài)檢測(cè)兩個(gè)階段。靜態(tài)檢測(cè)階段首先對(duì)源程序進(jìn)行分析與轉(zhuǎn)化

2、，然后利用流分析技術(shù)和靜態(tài)漏洞檢測(cè)算法獲得候選漏洞報(bào)告集，并以此作為動(dòng)態(tài)檢測(cè)的輸入；動(dòng)態(tài)檢測(cè)階段首先根據(jù)候選漏洞報(bào)告信息生成基于漏洞類型的程序切片，然后利用一種新的測(cè)試場(chǎng)景生成算法構(gòu)造最精簡(jiǎn)的測(cè)試場(chǎng)景，再讀取缺陷數(shù)據(jù)模板庫(kù)生成測(cè)試用例集，最后驅(qū)動(dòng)測(cè)試場(chǎng)景執(zhí)行，通過(guò)插入樁代碼和匹配自動(dòng)機(jī)狀態(tài)完成動(dòng)態(tài)驗(yàn)證，整個(gè)過(guò)程實(shí)現(xiàn)了較高的安全漏洞自動(dòng)化檢測(cè)程度。當(dāng)測(cè)試用例集生成失敗時(shí)，方法中還提供了一種純手工動(dòng)態(tài)驗(yàn)證機(jī)制用于輔助安全漏洞檢測(cè)。