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.
☆108Mar 19, 2026Updated this week
Alternatives and similar repositories for fandango
Users that are interested in fandango are comparing it to the libraries listed below
Sorting:
- The ISLa (Input Specification Language) language & solver.☆72Jul 1, 2024Updated last year
- The malsource dataset☆12Aug 31, 2021Updated 4 years ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆443Feb 25, 2026Updated 3 weeks ago
- ☆20Aug 30, 2024Updated last year
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- a friendly implementation of nyx ontop of firecracker instead of QEMU. Easier to use & cleaner code☆30Jan 20, 2026Updated 2 months ago
- Resources accompanying the LibAFL workshop blog post☆19Sep 28, 2024Updated last year
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Mar 3, 2024Updated 2 years ago
- Recipes for some popular Rust tools☆14Jul 11, 2025Updated 8 months ago
- Generate JSON diffs between pixi lockfiles☆10Mar 11, 2026Updated last week
- Virtual Tagger Plugin is a Cutter plugin that significantly improves handling and analysis of vtables and virtual functions☆16Mar 23, 2023Updated 2 years ago
- A tool to perform so called BGE attack☆26Jun 13, 2025Updated 9 months ago
- General purpose program synthetiser with existing Programming By Examples (PBE) pipeline☆21Jan 3, 2026Updated 2 months ago
- Search, check, and autofix your BibTex files!☆27Aug 11, 2025Updated 7 months ago
- Learn to LibAFL with parking-game puzzles.☆80Sep 11, 2025Updated 6 months ago
- AFL bindings for Unicorn-Engine☆89Sep 19, 2025Updated 6 months ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- ☆69Jan 6, 2023Updated 3 years 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 last month
- ☆18Sep 2, 2025Updated 6 months ago
- KLEEF Symbolic Execution Engine☆23Updated this week
- 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
- POJOs generated from the Static Analysis Results Interchange Format (SARIF) JSON schema.☆27Oct 8, 2025Updated 5 months 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
- Alleycat plugin by devttys0, ported to IDA 8☆11Jan 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 last year
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- An open-source interactive visualization tool for comparing IR CFGs☆91Jul 13, 2025Updated 8 months ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- A Python library to analyse rugby matches using Opta's Superscout XML files. Build timelines of matches along with calculating descriptiv…☆10Dec 10, 2021Updated 4 years ago
- A general way to Recover Safe linking protected value/pointer☆15Oct 23, 2022Updated 3 years ago
- A music composer and player with MATLAB☆11Mar 14, 2020Updated 6 years ago
- A Qt5 app that plots timestamped MQTT data – status: unfinished alpha software.☆10May 7, 2022Updated 3 years ago
- Write ups☆16Dec 13, 2017Updated 8 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 9 years ago