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

时间:2024-06-25 02:12:07
【文件属性】:

文件名称:java反编译源码保护-REMath-literature_review:REMath-literature_review

文件大小:13KB

文件格式:ZIP

更新时间:2024-06-25 02:12:07

系统开源

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


【文件预览】:
REMath-literature_review-master
----mechanization_of_exploits.org(8KB)
----README.md(24KB)

网友评论