Microsvuln / Awesome-Grammar-FuzzingLinks
A curated list of Grammar based fuzzing research papers, codes, tutorials
☆123Updated 3 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
Sorting:
- The Art, Science, and Engineering of Fuzzing: A Survey☆223Updated 3 months ago
- autofz: Automated Fuzzer Composition at Runtime☆78Updated 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☆187Updated last year
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆178Updated last year
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆229Updated 3 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 3 years ago
- ☆104Updated last year
- ☆72Updated 2 years ago
- A LLVM Sanitizer for Symbolic Tracing☆223Updated this week
- A grammar-based custom mutator for AFL++☆254Updated last year
- Recent symbolic execution papers and tools.☆169Updated last month
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆267Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆80Updated last month
- Run fuzzing experiments in Docker☆101Updated 4 years ago
- AFL/AFL++ version FishFuzz☆92Updated 4 months ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆155Updated 2 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- A regression greybox fuzzer aflchurn☆66Updated 3 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- ☆65Updated last year
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆29Updated last year
- Code Property Graph (CPG) frontend for binary applications and libraries.☆90Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- ☆134Updated last year
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆192Updated 2 years ago
- Symbolic Execution Over Processor Traces☆121Updated 10 months ago
- ☆78Updated last year