Automatic Vulnerability Discovery
☆38Mar 30, 2019Updated 6 years ago
Alternatives and similar repositories for zeno
Users that are interested in zeno are comparing it to the libraries listed below
Sorting:
- A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.☆59Dec 31, 2018Updated 7 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆78Nov 11, 2025Updated 4 months ago
- Binary Ninja plugin that decompiles the whole binary and saves them in a directory.☆22Nov 24, 2022Updated 3 years ago
- Binary Ninja Posters☆35Oct 14, 2020Updated 5 years ago
- Scriptable Binary Ninja plugin to enable automated coverage analysis and visualization☆136Feb 15, 2023Updated 3 years ago
- ☆27Oct 19, 2018Updated 7 years ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Feb 17, 2020Updated 6 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- ☆42Aug 4, 2020Updated 5 years ago
- Run your Binary Ninja Python console in a separate Terminal window.☆18Nov 1, 2018Updated 7 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Sep 9, 2018Updated 7 years ago
- Binary Ninja Function Annotator☆40Feb 20, 2019Updated 7 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Linux crash harness with runtime process instrumentation☆22Nov 7, 2020Updated 5 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Kriss Kross Jump-themed SEGA Genesis ROM CTF Challenge (Because why not?)☆15May 5, 2019Updated 6 years ago
- Flounder is an old corpus collector I wrote, but it still works. Just need a Bing API key☆17Oct 25, 2019Updated 6 years ago
- Binary Ninja MLIL to LLVM IR lifter☆15May 8, 2021Updated 4 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆35Jan 25, 2025Updated last year
- A binary ninja plugin that finds format string vulnerabilities☆25Sep 29, 2020Updated 5 years ago
- lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).☆14Dec 7, 2022Updated 3 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Feb 3, 2026Updated last month
- BAP Plugins Repository☆58Nov 20, 2020Updated 5 years ago
- run AFL with dynamorio☆37Aug 24, 2020Updated 5 years ago
- Interface GDB-GEF with Binary Ninja☆58Mar 27, 2021Updated 4 years ago
- Patches to afl to fix bugs or add enhancements☆81Sep 10, 2019Updated 6 years ago
- MIPS32 emulation fuzzing☆13Nov 17, 2020Updated 5 years ago
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆23Apr 10, 2020Updated 5 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 6 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆75May 21, 2021Updated 4 years ago
- AFL with QEMU 3.1.0 + optimizations (thread safe this time) from https://github.com/abiondo/afl☆10Mar 12, 2019Updated 7 years ago
- Simulate afl-fuzz☆16Aug 1, 2019Updated 6 years ago
- BinaryView Plugin for Microcorruption CTF memory dumps☆13Jul 16, 2019Updated 6 years ago
- I am still working on it☆12Apr 30, 2020Updated 5 years ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 2 years ago
- Program analysis tools developed at Draper on the CBAT project.☆106Apr 13, 2023Updated 2 years ago
- A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.☆35Feb 5, 2018Updated 8 years ago
- ☆23Apr 21, 2017Updated 8 years ago