Microsvuln / Awesome-Grammar-Fuzzing
A curated list of Grammar based fuzzing research papers, codes, tutorials
☆121Updated 2 years ago
Alternatives and similar repositories for Awesome-Grammar-Fuzzing:
Users that are interested in Awesome-Grammar-Fuzzing are comparing it to the libraries listed below
- Recent symbolic execution papers and tools.☆156Updated last week
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆228Updated 3 years ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆221Updated 2 weeks ago
- ☆105Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆74Updated 2 years ago
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- Code Property Graph (CPG) frontend for binary applications and libraries.☆88Updated 3 years ago
- Run fuzzing experiments in Docker☆101Updated 4 years ago
- A LLVM Sanitizer for Symbolic Tracing☆220Updated 7 months ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆46Updated 6 months ago
- A grammar-based custom mutator for AFL++☆252Updated 9 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆55Updated last year
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 2 years ago
- ☆65Updated last year
- List the real world programs evaluated in fuzzing papers.☆56Updated 6 years ago
- Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting☆188Updated last year
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆261Updated last year
- UT based automated fuzz driver generation☆166Updated 3 months ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆154Updated 2 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Updated 11 months ago
- Symbolic Execution Over Processor Traces☆120Updated 8 months ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆46Updated last year
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated 10 months ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- Companion repository to the Fuzzing101 with LibAFL series of blog posts.☆148Updated 2 months ago
- AFL/AFL++ version FishFuzz☆90Updated last month
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆62Updated 9 months ago
- ☆71Updated 2 years ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆70Updated 11 months ago