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

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

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