java反编译源码保护-REMath-literature_review:REMath-literature_review

java反编译源码保护名单的原始来源： 漏洞利用的机械化 二元分析 基于 Moflow BAP 的工具进行崩溃后图形回溯切片，崩溃后前向符号模拟以寻找更多可利用的条件，基于 SAGE 的白盒模糊测试 Mcsema是一个基于LLVM的重写和静态分析框架 将 LLVM 位码导出到 Datalog 工作区的工具 Dagger 是一个基于 LLVM 的反编译框架 , , () 一个与架构无关的 LLVM IR 反编译器 DECAF - Binwalk：固件分析工具 愤怒： Triton 是一个 DBA，为 x86/x86-64 提供动态符号执行 (DSE)、污点引擎、AST 和 SMT 求解器 通信协议分析 Netzob 是一个开源工具，用于对通信协议进行逆向工程、流量生成和模糊测试。 它允许通过被动和主动进程推断协议的消息格式和状态机。 该模型随后可用于模拟真实且可控的交通。 —— 通信协议决定了网络组件如何相互交互。 因此，导出协议规范的能力在各种情况下都很有用，例如支持更深层次的黑盒测试或有效的防御机制。 不幸的是，通常很难获得规范，因为系统实现了封闭的（即未记录的）协议，或者因为必须执