fandango-fuzzer / fandangoLinks
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.
☆97Updated last week
Alternatives and similar repositories for fandango
Users that are interested in fandango are comparing it to the libraries listed below
Sorting:
- ☆70Updated last year
- Produce code coverage results with gcov from afl-fuzz test cases☆89Updated last week
- Recent symbolic execution papers and tools.☆181Updated 8 months ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆25Updated last year
- UT based automated fuzz driver generation☆169Updated 9 months ago
- ☆90Updated 3 months ago
- autofz: Automated Fuzzer Composition at Runtime☆84Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- ☆32Updated 2 years ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆26Updated 11 months ago
- ☆48Updated last year
- A LLVM Sanitizer for Symbolic Tracing☆228Updated last week
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆334Updated 2 weeks ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated last year
- Juliet C/C++ Dynamic Test Suite☆33Updated 2 years ago
- ☆203Updated 4 months ago
- A grammar-based custom mutator for AFL++☆267Updated last month
- ☆144Updated last year
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Updated 3 weeks ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated last year
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆129Updated 3 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆161Updated 3 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆93Updated 4 years ago
- ROSA: Finding Backdoors with Fuzzing☆28Updated 7 months ago
- Symbolic Execution Over Processor Traces☆126Updated last year
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆270Updated 2 years ago
- No description yet☆11Updated 2 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆41Updated last month
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆45Updated 7 months ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Updated 2 years ago