基于二進(jìn)制重寫的混合分析構(gòu)建控制流圖方案

打開(kāi)文本圖片集

摘 要：控制流圖（CFG）是二進(jìn)制程序分析的基礎(chǔ)。傳統(tǒng)靜態(tài)分析方法構(gòu)建控制流圖速度快，代碼覆蓋率高，但不能解決間接跳轉(zhuǎn)問(wèn)題；動(dòng)態(tài)分析方法能夠分析間接跳轉(zhuǎn)，但代碼覆蓋率低、性能開(kāi)銷大。為更加高效構(gòu)建完備的控制流圖，提出靜態(tài)動(dòng)態(tài)結(jié)合的混合分析方案。首先使用靜態(tài)分析獲取程序的初始控制流圖，采用模糊測(cè)試的方法獲取目標(biāo)程序不同執(zhí)行流的輸入數(shù)據(jù)，誘導(dǎo)重寫后的目標(biāo)程序執(zhí)行獲取間接跳轉(zhuǎn)地址；融合靜態(tài)分析和動(dòng)態(tài)分析結(jié)果，從而高效構(gòu)建完備的控制流圖。（剩余14954字）