american fuzzy lop - a security-oriented fuzzer
☆11Feb 25, 2026Updated 8 months ago
Alternatives and similar repositories for DAFL
Users that are interested in DAFL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆51Oct 27, 2024Updated 2 years ago
- ☆14Jan 8, 2023Updated 3 years ago
- ☆14Jan 13, 2023Updated 3 years ago
- ☆11Jun 14, 2024Updated 2 years ago
- ☆48May 15, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Linux kernel branches for confidential compute research☆20Apr 6, 2026Updated 6 months ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆51Sep 25, 2024Updated 2 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆57Jul 30, 2026Updated 3 months ago
- ☆73Jun 26, 2024Updated 2 years ago
- ☆10May 9, 2024Updated 2 years ago
- ☆70Aug 26, 2026Updated 2 months ago
- ☆39Sep 27, 2022Updated 4 years ago
- WinAFL modified for RDP client fuzzing☆21Dec 18, 2022Updated 3 years ago
- 팡요랩 자료☆11May 31, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The SDK Example to control robot product of nuwarobotics.☆13Sep 23, 2026Updated last month
- Easy way to run a LLVM instrumented kernel in qemu with gdb☆25Apr 19, 2024Updated 2 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆31Apr 12, 2023Updated 3 years ago
- ☆67Oct 22, 2026Updated last week
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆23May 29, 2023Updated 3 years ago
- ☆29Apr 18, 2024Updated 2 years ago
- kAFL Fuzzer☆37Mar 16, 2026Updated 7 months ago
- ☆27Aug 7, 2025Updated last year
- Translating humaneval into dafny☆12Mar 31, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- LLVM pass☆23Jun 23, 2020Updated 6 years ago
- 코코톡의 모든 리포지터리를 하나로 합쳤습니다.☆10Mar 1, 2022Updated 4 years ago
- A black-box fuzzing framework for the Intent-Based Networking (IBN)☆14Aug 14, 2023Updated 3 years ago
- An external project example using SVF as a library☆23Jul 10, 2026Updated 3 months ago
- ☆12May 8, 2017Updated 9 years ago
- ☆18Apr 7, 2023Updated 3 years ago
- UCB 285 Deep Reinforcement Learning (Fall 2023) Homeworks☆13Nov 11, 2023Updated 2 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
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆347Oct 11, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Target components for kAFL/Nyx Fuzzer☆34Jul 27, 2026Updated 3 months ago
- ☆25Mar 18, 2026Updated 7 months ago
- ☆37Jun 5, 2023Updated 3 years ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- Uncovering Container Confusion in the Linux Kernel☆47Feb 27, 2024Updated 2 years ago
- Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)☆20Sep 21, 2025Updated last year
- ☆45Apr 12, 2022Updated 4 years ago