☆12Jul 5, 2024Updated last year
Alternatives and similar repositories for netfuzzlib
Users that are interested in netfuzzlib are comparing it to the libraries listed below
Sorting:
- LibAFL components for stateful fuzzing☆52Aug 6, 2022Updated 3 years ago
- ☆78Sep 2, 2022Updated 3 years ago
- Cross-platform harnessing framework designed for Nyx-based fuzzers☆34Feb 7, 2025Updated last year
- Code from CCS paper: The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning☆13Feb 27, 2023Updated 3 years ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆171May 3, 2023Updated 2 years ago
- Collections of student projects to find execution path in binary program via taint analysis using Ghidra☆17Sep 25, 2022Updated 3 years ago
- A fuzzer for SMT solvers☆21Aug 22, 2025Updated 6 months ago
- ☆22Feb 18, 2025Updated last year
- ☆27Nov 5, 2025Updated 3 months ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆47Nov 16, 2023Updated 2 years ago
- Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)☆36Dec 4, 2025Updated 2 months ago
- Implementation of DigFuzz (NDSS19 "Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing")☆23Jul 19, 2022Updated 3 years ago
- An evolutionary, coverage-guided greybox network protocol fuzzer☆21Aug 31, 2021Updated 4 years ago
- ☆49Oct 27, 2024Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆56Feb 17, 2025Updated last year
- ROSA: Finding Backdoors with Fuzzing☆45Jun 30, 2025Updated 8 months ago
- ☆97Sep 29, 2025Updated 5 months ago
- ☆32Apr 2, 2024Updated last year
- ☆28Jul 31, 2022Updated 3 years ago
- ☆73Jun 26, 2024Updated last year
- Source code release for the KRace project☆31Nov 15, 2021Updated 4 years ago
- ☆199May 14, 2023Updated 2 years ago
- ☆37May 11, 2022Updated 3 years ago
- A CallGraph Generation LLVM Pass for C and C++ program☆33Apr 4, 2022Updated 3 years ago
- ☆41May 7, 2024Updated last year
- ☆49Jun 12, 2025Updated 8 months ago
- A deterministic, fuzzable pthread implementation☆45May 7, 2023Updated 2 years ago
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆258Aug 7, 2024Updated last year
- ☆11May 24, 2022Updated 3 years ago
- ☆12Aug 5, 2021Updated 4 years ago
- ☆12Jun 20, 2022Updated 3 years ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Feb 11, 2026Updated 2 weeks ago
- ☆13May 5, 2018Updated 7 years ago
- Abstract BusinessObject for StromDAO Energy Blockchain. Abstraction layer between blockchain technology and business logic providing ener…☆10Dec 6, 2022Updated 3 years ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 2 years ago
- An embeddable double sided accounting ledger built on PG/SQLx☆10Feb 16, 2026Updated 2 weeks ago
- The source code of the paper "Towards Problem of First Miss under Mobile EdgeCaching"☆11Apr 12, 2021Updated 4 years ago
- IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing☆14Dec 16, 2024Updated last year
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 3 months ago