WAF-BinV-PROSAGA-码农传奇

项目作者： IZAY01

项目描述：

  🔍 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.

高级语言： Python

项目主页：

项目地址: git://github.com/IZAY01/BinV.git

创建时间： 2021-01-19T07:00:29Z
项目社区：https://github.com/IZAY01/BinV
开源协议：
下载

__________.__     ____   ____
\______   \__| ___\   \ /   /
 |    |  _/  |/    \   Y   /
 |    |   \  |   |  \     /
 |______  /__|___|  /\___/
        \/        \/

来自车间流水线的二进制漏洞扫描器

Yet another binary vulnerbilities checker

Introduction

试着基于符号执行，实现针对于 ELF 的自动化漏洞扫描器。
基于 Angr 9.0 实现。
This project is my undergraduate graduation project. Try to implement an automated vulnerability scanner for ELF based on symbolic execution.
Implemented based on Angr 9.0, continues to be developed recently.

Temporary demo

demo


