zarkivy / BinVView external linksLinks
๐ Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.
โ34Nov 7, 2021Updated 4 years ago
Alternatives and similar repositories for BinV
Users that are interested in BinV are comparing it to the libraries listed below
Sorting:
- MIPS32 emulation fuzzingโ13Nov 17, 2020Updated 5 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.โ16Jan 9, 2022Updated 4 years ago
- โ16Jan 23, 2022Updated 4 years ago
- auto-ropperโ17Jul 7, 2022Updated 3 years ago
- Burp Suite extension for extracting metadata from filesโ20Dec 29, 2020Updated 5 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)โ25Nov 21, 2024Updated last year
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointersโ22May 31, 2023Updated 2 years ago
- Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques (Usenix '19)โ14Aug 16, 2019Updated 6 years ago
- I am still working on itโ12Apr 30, 2020Updated 5 years ago
- The PT tracing portion of Barnum.โ11Feb 8, 2019Updated 7 years ago
- โ10Sep 10, 2022Updated 3 years ago
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIsโ12Jan 18, 2022Updated 4 years ago
- MikroTik Hotspot Monitor V3 by laksa19 as container image.โ12Dec 5, 2025Updated 2 months ago
- ๅญฆไน angr็จ๏ผ้้ขๅฏ่ฝๅฅ้ฝๆโ10May 8, 2019Updated 6 years ago
- Implementation of QFuzz.โ17Dec 3, 2021Updated 4 years ago
- ๆฌบ้ช้ฒๅพกLinux็ๆฌAgentโ13Jul 26, 2021Updated 4 years ago
- Evolving fuzzers with large language modelsโ17Dec 14, 2023Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.โ89Sep 18, 2025Updated 4 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineeringโ38Jan 26, 2026Updated 2 weeks ago
- โ14Dec 10, 2021Updated 4 years ago
- โ14Oct 11, 2017Updated 8 years ago
- Web QR Generator - Solusi Absensi Anti Curang Berbasis QR Codeโ16Apr 8, 2021Updated 4 years ago
- Repo for various angr ipython features to give it more of a cli feelingโ57Jan 15, 2025Updated last year
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)โ39May 6, 2024Updated last year
- ๅผๆบapk้ๅไธไฝๅๅๆๅทฅๅ ทโ36Feb 7, 2026Updated last week
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Executionโ15Dec 30, 2021Updated 4 years ago
- Official repository of SyzRisk [ASIA CCS'24]โ12Aug 20, 2024Updated last year
- โ21Nov 14, 2024Updated last year
- Hackers Hunter : Hunt down and track CTF Players & Bug Hunters etc accounts by username across in most places where you can find themโ17Feb 1, 2021Updated 5 years ago
- โ15Aug 16, 2021Updated 4 years ago
- lwipใฎใใฐใๅ่ชๅๆคๅบใใใFirst introduced in ใ2018ๅนด ๆๅทใจๆ ๅ ฑใปใญใฅใชใใฃใทใณใใธใฆใ ใ๏ผSCIS2018).โ14Dec 7, 2022Updated 3 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programsโ38Feb 22, 2019Updated 6 years ago
- Flexible Penetrate Testing Auxiliary Suiteโ73Jun 19, 2023Updated 2 years ago
- โ17Apr 18, 2019Updated 6 years ago
- SymFusion: Hybrid Instrumentation for Concolic Executionโ18May 5, 2023Updated 2 years ago
- Saryn: Fuzzing with Taint Inferenceโ16Jun 16, 2022Updated 3 years ago
- The project aims at building a Scan-Time Crypter that can assist a malware in bypassing antivirus software. The Crypter will open the malโฆโ17Feb 23, 2021Updated 4 years ago
- Fuzzing with the generated argumentโ33Jan 6, 2023Updated 3 years ago
- Binary Exploitation and Reverse-Engineering (from assembly into C)โ71May 27, 2021Updated 4 years ago