SoveraNia / SyzVegasView external linksLinks
Syzkaller with MAB scheduling and seed selection
☆27Jan 29, 2020Updated 6 years ago
Alternatives and similar repositories for SyzVegas
Users that are interested in SyzVegas are comparing it to the libraries listed below
Sorting:
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆24Dec 17, 2022Updated 3 years ago
- Collection of syzkaller bug reproducers for Linux☆43May 16, 2022Updated 3 years ago
- Kernel fuzzer inspired by Syzkaller.☆284Feb 23, 2022Updated 3 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 2 years ago
- ☆39May 31, 2024Updated last year
- autofz: Automated Fuzzer Composition at Runtime☆84Sep 13, 2023Updated 2 years ago
- headless-ida-mcp-server☆28Apr 4, 2025Updated 10 months ago
- ☆20May 27, 2020Updated 5 years ago
- ☆38Nov 30, 2020Updated 5 years ago
- ☆108May 9, 2019Updated 6 years ago
- SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.☆24Nov 17, 2021Updated 4 years ago
- ☆28Apr 18, 2024Updated last year
- This is the project of LearnAFL.☆28Aug 27, 2020Updated 5 years ago
- ☆12Jun 20, 2022Updated 3 years ago
- This repository is for the paper of ICSE 2023: Regression Fuzzing for Deep Learning Systems☆12Feb 21, 2024Updated last year
- ☆22Nov 17, 2020Updated 5 years ago
- ☆24Aug 24, 2025Updated 5 months ago
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆84Jan 20, 2025Updated last year
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Apr 4, 2023Updated 2 years ago
- ICSE'22 - Havoc-MAB: Enhancing AFL havoc mutation with Two-layer Multi-Armed Bandit☆12Sep 19, 2022Updated 3 years ago
- ☆12Jul 21, 2023Updated 2 years ago
- A fuzzing environment for RL, based on Gym and AFL.☆13Dec 19, 2020Updated 5 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 6 years ago
- ☆13Mar 22, 2024Updated last year
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Use k-means improve seed selection.☆13Apr 7, 2021Updated 4 years ago
- EcoFuzz-An adaptive energy-saving greybox fuzzer☆54Apr 30, 2020Updated 5 years ago
- ☆10Oct 8, 2022Updated 3 years ago
- Fuzzing Multiparty Protocols like Pub/Sub Protocols☆19Sep 3, 2021Updated 4 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- Fixing SySeVR.☆12Sep 23, 2021Updated 4 years ago
- Decompiler Fuzzing Test with EMI mutation☆16Apr 23, 2020Updated 5 years ago
- ☆58May 10, 2024Updated last year
- A collection of user-space Linux kernel specific guided fuzzers based on LKL☆84Jun 15, 2025Updated 8 months ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆173Aug 8, 2022Updated 3 years ago
- ☆30May 16, 2022Updated 3 years ago
- implementing collafl☆26Mar 18, 2020Updated 5 years ago
- ☆14Oct 11, 2017Updated 8 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 2 years ago