zarkivy / BinV

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

__________.__     ____   ____
\______   \__| ___\   \ /   /
 |    |  _/  |/    \   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