老师好,各位大佬好,看课时一讲到软件分析的一般流程中提到dataflow analysis和control flow analysis,请问二进制级别的数据流分析和控制流分析的开源工具有哪些?想摸一摸这方面工具的代码。
课程里指的是编译过程中进行的操作,对于二进制的逆向分析,可分为符号执行,动态插装符号执行工具有KLEE,Angr等动态插装工具有Pin,Frida,Qemu动态插装等都可以进行进行控制流分析,数据分析等操作