基于二進制重寫的混合分析構建控制流圖方案

打開文本圖片集

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