-
MAKARA是一个基于angr符号执行框架开发的动态二进制分析（DBA）框架
资源介绍
MAKARA
魔羯是一个基于符号执行的二进制动态分析框架
一、简介
魔羯座遇上双子座的是一种怎么样的体验呢，是一种怎么样的故事呢
这就是宿命吧，相信命运吧，能让魔羯相信直觉的人是一种怎么样的存在呢
喂喂喂，你在干嘛，这可是Git上的ReadMe啊
本项目脱胎于两位志趣相投，一个在南方，一个在北方的大学本科生在暑期专业实训中对于符号执行技术的研究
（1）基本框架图
（2）模块
（3）功能
①自动漏洞挖掘
通过符号执行、Fuzz模糊测试、污染分析的动态二进制分析方法，进行自动化漏洞挖掘，拟支持的漏洞类型
缓冲区溢出漏洞
格式化字符串漏洞
Use After Free
Double Free
任意地址读写
寄存器错误
Tcache利用
② 基础数据库
如框架图所示主要用户基础信息展示
③ WEB
可以本地部署的浏览器后台访问接口，可以上传程序，并管理程序，查看分析情况和更多插件功能
④ 外部安全
- 上一篇: MFC Window程序设计源代码（8）
- 下一篇: 使用MATLAB实现样本熵算法