FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse sets of valid inputs for programs under test.
☆110Apr 29, 2026Updated this week
Alternatives and similar repositories for fandango
Users that are interested in fandango are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The ISLa (Input Specification Language) language & solver.☆72Jul 1, 2024Updated last year
- The malsource dataset☆12Aug 31, 2021Updated 4 years ago
- ☆11May 10, 2025Updated 11 months ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated 2 months ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆446Feb 25, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆20Aug 30, 2024Updated last year
- a friendly implementation of nyx ontop of firecracker instead of QEMU. Easier to use & cleaner code☆31Jan 20, 2026Updated 3 months ago
- Resources accompanying the LibAFL workshop blog post☆19Sep 28, 2024Updated last year
- Modelizer - is a framework for learning models from BlackBox systems using Input-Output examples☆22Apr 9, 2026Updated 3 weeks ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Mar 3, 2024Updated 2 years ago
- Recipes for some popular Rust tools☆14Jul 11, 2025Updated 9 months ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆13Apr 21, 2024Updated 2 years ago
- Generate JSON diffs between pixi lockfiles☆10Apr 22, 2026Updated last week
- Binary Ninja deobfuscation plugin☆22Jul 23, 2025Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆48Feb 23, 2026Updated 2 months ago
- A tool to perform so called BGE attack☆26Jun 13, 2025Updated 10 months ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- Search, check, and autofix your BibTex files!☆27Aug 11, 2025Updated 8 months ago
- AFL bindings for Unicorn-Engine☆89Apr 10, 2026Updated 3 weeks ago
- Learn to LibAFL with parking-game puzzles.☆82Sep 11, 2025Updated 7 months ago
- ☆72Jan 6, 2023Updated 3 years ago
- Hatch plugin to integrate ProperDocs and infer dependencies into an env☆17Mar 16, 2026Updated last month
- FastSymApi - A Fast API PDB Symbol Cache Server that efficiently caches and compresses PDBs on disk for quick and repeated retrieval.☆19Feb 12, 2026Updated 2 months 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.
- An exploration of Android App Functions☆17May 26, 2025Updated 11 months ago
- KLEEF Symbolic Execution Engine☆24Apr 18, 2026Updated 2 weeks ago
- URls for pointing to Defect4J bugs and diffs☆17Jan 17, 2018Updated 8 years ago
- An Interactive Hex-Rays Microcode Explorer☆17Feb 8, 2024Updated 2 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
- A repository containing sample srop exploits and vulnerable binaries.☆12Sep 17, 2019Updated 6 years ago
- CVE-2013-2028 python exploit☆20Jun 27, 2020Updated 5 years ago
- A Qt based text editor that lazily loads data from disk when necessary.☆26Jan 8, 2015Updated 11 years ago
- PlatformIO compilable version of https://github.com/espressif/esp-idf/blob/v5.0/examples/system/ota/simple_ota_example☆13Mar 15, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Alleycat plugin by devttys0, ported to IDA 8☆10Jan 15, 2025Updated last year
- Python package to simplify development☆14Mar 25, 2026Updated last month
- A Tool for Mining Flaky Tests at Scale☆16Jul 30, 2025Updated 9 months ago
- LLVM based devirtualization PoC’s.☆21Dec 11, 2021Updated 4 years ago
- Writeup and exploit for CVE-2025-22441: Privilege escalation from installed app to SystemUI process on Android due to pass of untrusted A…☆99Oct 8, 2025Updated 6 months ago
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year