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.
☆115Jun 12, 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.☆74Jul 1, 2024Updated last year
- The malsource dataset☆12Aug 31, 2021Updated 4 years ago
- ☆11May 25, 2026Updated 2 weeks ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆32Jul 9, 2024Updated last year
- a friendly implementation of nyx ontop of firecracker instead of QEMU. Easier to use & cleaner code☆33Jan 20, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- textwrap.dedent with t-string support☆24Dec 15, 2025Updated 5 months ago
- generate random python code to test linter/formatter/and other tools☆55Jun 1, 2026Updated last week
- 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 2 months ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Mar 3, 2024Updated 2 years ago
- ☆12Nov 8, 2018Updated 7 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆13Apr 21, 2024Updated 2 years ago
- A tool to perform so called BGE attack☆26Jun 13, 2025Updated last year
- General purpose program synthetiser with existing Programming By Examples (PBE) pipeline☆21Jan 3, 2026Updated 5 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.
- Search, check, and autofix your BibTex files!☆27Aug 11, 2025Updated 10 months ago
- AFL bindings for Unicorn-Engine☆93Apr 10, 2026Updated 2 months ago
- Fast and accurate API breaking change and compatibility analysis of Java libraries.☆32Updated this week
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- ☆71Jan 6, 2023Updated 3 years ago
- Hatch plugin to integrate ProperDocs and infer dependencies into an env☆17Mar 16, 2026Updated 2 months ago
- FastSymApi - A Fast API PDB Symbol Cache Server that efficiently caches and compresses PDBs on disk for quick and repeated retrieval.☆19Feb 12, 2026Updated 4 months ago
- ☆18Sep 2, 2025Updated 9 months ago
- KLEEF Symbolic Execution Engine☆25Apr 18, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [EMNLP 24] Official Implementation of CLEANGEN: Mitigating Backdoor Attacks for Generation Tasks in Large Language Models☆19Mar 9, 2025Updated last year
- 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☆19Jun 27, 2020Updated 5 years ago
- POJOs generated from the Static Analysis Results Interchange Format (SARIF) JSON schema.☆27May 4, 2026Updated last month
- Alleycat plugin by devttys0, ported to IDA 8☆10Jan 15, 2025Updated last year
- LLVM based devirtualization PoC’s.☆21Dec 11, 2021Updated 4 years ago
- Source code for ICML 2023 paper "Competing for Shareable Arms in Multi-Player Multi-Armed Bandits"☆10May 14, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Writeup and exploit for CVE-2025-22441: Privilege escalation from installed app to SystemUI process on Android due to pass of untrusted A…☆100Oct 8, 2025Updated 8 months ago
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- Rerousces related to time-travel debugging (TTD)☆45Jan 6, 2026Updated 5 months ago
- An open-source interactive visualization tool for comparing IR CFGs☆93May 23, 2026Updated 3 weeks ago
- Create and revise bibtex entries from DBLP☆26Mar 3, 2026Updated 3 months ago
- A general way to Recover Safe linking protected value/pointer☆16Oct 23, 2022Updated 3 years ago
- A stand-alone C version of DrPetter's sfxr synthesizer☆12Aug 26, 2024Updated last year