面向路徑的靜動(dòng)態(tài)檢測(cè)融合策略研究.pdf

1、隨著人們對(duì)軟件安全問題的重視，軟件漏洞的檢測(cè)方法越來越成熟。鑒于靜態(tài)檢測(cè)誤報(bào)率高和動(dòng)態(tài)檢測(cè)漏報(bào)率高等缺陷，有專家學(xué)者提出了靜動(dòng)態(tài)結(jié)合的漏洞檢測(cè)思想，利用靜態(tài)檢測(cè)的全面性和動(dòng)態(tài)檢測(cè)的精確性，對(duì)靜態(tài)檢測(cè)的漏洞進(jìn)行動(dòng)態(tài)驗(yàn)證，達(dá)到“去偽存真”和優(yōu)勢(shì)互補(bǔ)的效果。靜動(dòng)態(tài)檢測(cè)的關(guān)鍵在于具體的融合策略，融合策略能夠不改變?cè)徐o動(dòng)態(tài)檢測(cè)方法的前提下，提高軟件漏洞檢測(cè)的效率。
　　面向路徑的融合策略，由路徑分析、路徑控制和路徑推薦三部分組成，以路徑做

2、為靜態(tài)檢測(cè)和動(dòng)態(tài)檢測(cè)之間融合的關(guān)鍵。路徑分析為路徑控制和推薦提供數(shù)據(jù)，路徑的控制和推薦為動(dòng)態(tài)檢測(cè)提供引導(dǎo)。路徑分析是通過對(duì)靜態(tài)檢測(cè)中得到的漏洞關(guān)鍵路徑和函數(shù)調(diào)用關(guān)系等數(shù)據(jù)進(jìn)行分析，然后搜索出程序中與漏洞相關(guān)的所有完全路徑。路徑控制是通過程序插樁，將與漏洞不相關(guān)的路徑屏蔽，達(dá)到約簡(jiǎn)測(cè)試空間的目的。路徑推薦以路徑中函數(shù)的重要程度與路徑長(zhǎng)度之比作為評(píng)判標(biāo)準(zhǔn)，為測(cè)試用例的生成提供最優(yōu)路徑參考。
　　實(shí)驗(yàn)表明，采用面向路徑融合策略的靜動(dòng)態(tài)檢