老師好,各位大佬好,看課時一講到軟件分析的一般流程中提到dataflow analysis和control flow analysis,請問二進制級別的數(shù)據(jù)流分析和控制流分析的開源工具有哪些?想摸一摸這方面工具的代碼。
課程里指的是編譯過程中進行的操作,對于二進制的逆向分析,可分為符號執(zhí)行,動態(tài)插裝符號執(zhí)行工具有KLEE,Angr等動態(tài)插裝工具有Pin,Frida,Qemu動態(tài)插裝等都可以進行進行控制流分析,數(shù)據(jù)分析等操作