文件名称:
Literature_review：以机器代码为重点的程序分析研究概览-源码
开发工具:
文件大小: 13kb
下载次数: 0
上传时间: 2021-02-20
详细说明：列表的原始来源： :
漏洞利用的机械化
二元分析
基于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是用于逆向工程，通信量生成和通信协议模糊化的开源工具。 它允许通过被动和主动过程来推断消息格式和协议的状态机。 此后，该模型可用于模拟现实且可控制的交通。
通信协议确定网
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
