提出了一種基于程序功能標(biāo)簽切片的制導(dǎo)符號執(zhí)行分析方法OPT-SSE.該方法從程序功能文檔提取功能標(biāo)簽,利用程序控制流分析,建立各功能標(biāo)簽和程序基本塊的映射關(guān)系,并根據(jù)功能標(biāo)簽在程序執(zhí)行中的順序關(guān)系生成功能標(biāo)簽執(zhí)行流.針對給定的代碼目標(biāo)點(diǎn),提取與之相關(guān)的功能執(zhí)行流切片,根據(jù)預(yù)定義好的功能標(biāo)簽流制導(dǎo)規(guī)則進(jìn)行符號執(zhí)行分析,在路徑分析過程中,及時裁剪無關(guān)的功能分支路徑以提升制導(dǎo)效率.通過對不同的功能標(biāo)簽流進(jìn)行分離制導(dǎo)符號執(zhí)行分析,可避免一直執(zhí)行某復(fù)雜循環(huán)體的情形,從而提高對目標(biāo)程序的整體分支覆蓋率和指令覆蓋率.實(shí)驗(yàn)結(jié)果表明,通過對binutils、gzip、coreutils等10個不同軟件中的20個應(yīng)用工具上的分析,OPT-SSE與KLEE提供的主流搜索策略相比,代碼目標(biāo)制導(dǎo)速度平均提升到4.238倍,代碼目標(biāo)制導(dǎo)成功率平均提升了31%,程序指令覆蓋率平均提升了8.95%,程序分支覆蓋率平均提升了8.28%.

【文章頁數(shù)】：22 頁


本文編號：3939504