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