列表的原始来源: : 漏洞利用的机械化 二元分析 基于Moflow BAP的工具进行崩溃后图形后溢切片,崩溃后前向符号仿真以寻找更多可利用的条件,基于SAGE的白盒测试 Mcsema是基于LLVM的重写和静态分析框架 将LLVM位码导出到Datalog工作区的工具 Dagger是基于LLVM的反编译框架 , , ( ) LLVM IR的与体系结构无关的反编译器 DECAF- Binwalk:固件分析工具 Angr: ://angr.io/ Triton是一个DBA,提供动态符号执行(DSE),Taint引擎,用于x86 / x86-64的AST和SMT求解器 通信协议分析 Netzob是用于逆向工程,通信量生成和通信协议模糊化的开源工具。 它允许通过被动和主动过程来推断消息格式和协议的状态机。 此后,该模型可用于模拟现实且可控制的交通。 通信协议确定网