MarkRedeman / ast-based-mutations
A proof of concept which generates mutations based on an abstract syntax tree
☆15Updated 8 years ago
Alternatives and similar repositories for ast-based-mutations:
Users that are interested in ast-based-mutations are comparing it to the libraries listed below
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆10Updated 2 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Fuzzing Parsers with Tokens☆32Updated 4 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 2 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 6 years ago
- KLEE / CSE Project☆43Updated 4 years ago
- ☆13Updated 3 years ago
- A dynamic analysis framework for C and C++ programs☆29Updated 9 months ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- Variation of american fuzzy lop for testing compilers☆122Updated 2 years ago
- A data dependence analyzer for C program☆20Updated 3 years ago
- Collection of syzkaller bug reproducers for Linux☆44Updated 2 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆88Updated 3 years ago
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- A project to run fuzzing jobs at scale with Kubernetes.☆146Updated 4 years ago
- ☆50Updated 7 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- Fuzzers for the Linux kernel☆113Updated 8 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- ☆19Updated 3 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆92Updated 7 years ago
- A regression greybox fuzzer aflchurn☆65Updated 2 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- OSS-Fuzz - integrated with AFLGo for Patch Testing☆35Updated 7 years ago
- A data-flow-guided fuzzer☆116Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆72Updated 2 years ago
- Linux call graph visualization☆28Updated 6 years ago