列表的原始来源： : 漏洞利用的机械化 二元分析 基于Moflow BAP的工具进行崩溃后图形后溢切片，崩溃后前向符号仿真以寻找更多可利用的条件，基于SAGE的白盒测试 Mcsema是基于LLVM的重写和静态分析框架 将LLVM位码导出到Datalog工作区的工具 Dagger是基于LLVM的反编译框架 ， ， （ ） LLVM IR的与体系结构无关的反编译器 DECAF- Binwalk：固件分析工具 Angr： ：//angr.io/ Triton是一个D