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.
☆102Updated 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
- Recent symbolic execution papers and tools.☆182Updated 8 months ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- Produce code coverage results with gcov from afl-fuzz test cases☆89Updated 2 weeks ago
- 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☆162Updated 3 years ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆26Updated 11 months ago
- UT based automated fuzz driver generation☆168Updated 9 months ago
- Juliet C/C++ Dynamic Test Suite☆35Updated 2 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆271Updated 2 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆334Updated last month
- A LLVM Sanitizer for Symbolic Tracing☆229Updated last week
- ☆144Updated last year
- ☆203Updated 5 months ago
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆199Updated last year
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆128Updated 10 months ago
- ☆91Updated 3 months ago
- autofz: Automated Fuzzer Composition at Runtime☆84Updated 2 years ago
- A grammar-based custom mutator for AFL++☆268Updated last month
- Symbolic Execution Over Processor Traces☆126Updated last year
- SymQEMU: Compilation-based symbolic execution for binaries☆368Updated 9 months ago
- ☆263Updated 2 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆25Updated last year
- ☆22Updated 11 months ago
- ARVO: an Atlas of Reproducible Vulnerabilities in Open source software.☆61Updated 3 months ago
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆267Updated 11 months ago
- ROSA: Finding Backdoors with Fuzzing☆40Updated 7 months ago
- Static Analysis Course☆86Updated last month
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated last year
- ☆112Updated 10 months ago