Alternatives and similar repositories for ast-based-mutations

Users that are interested in ast-based-mutations are comparing it to the libraries listed below

• php / flowfusion
  A Dataflow-Driven and Automated Fuzzer for the PHP Interpreter
  ☆32Updated 3 weeks ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• ircmaxell / php-cfg
  A Control Flow Graph implementation in PHP
  ☆245Updated 3 weeks ago
• ChijinZ / VisFuzz
  An interactive tool for better understanding and intervening fuzzing process via real-time visualization.
  ☆76Updated 3 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆123Updated 3 years ago
• theparanoids / yfuzz
  A project to run fuzzing jobs at scale with Kubernetes.
  ☆147Updated 4 years ago
• iovisor / bpf-fuzzer
  fuzzing framework based on libfuzzer and clang sanitizer
  ☆167Updated 6 years ago
• carolemieux / perffuzz
  PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
  ☆134Updated 5 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆248Updated last year
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆201Updated 7 years ago
• mboehme / aflfast
  AFLFast (extends AFL with Power Schedules)
  ☆419Updated 2 years ago
• bin2415 / fuzzing_paper
  fuzzing related paper
  ☆227Updated 4 years ago
• asarubbo / poc
  ☆84Updated 7 years ago
• gaoxiang9430 / Fix2Fit
  ☆20Updated 4 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• ForAllSecure / GraphFuzz
  GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.
  ☆10Updated 3 years ago
• nsumner / llvm-dataflow-analysis
  ☆65Updated 5 years ago
• csl-ugent / ESSS
  Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.
  ☆18Updated 9 months ago
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 4 years ago
• RUB-SysSec / grimoire
  ☆132Updated 5 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• Practical-Formal-Methods / bran
  Static analysis framework for EVM bytecode
  ☆30Updated 5 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 3 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆230Updated 3 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• vusec / parmesan
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆178Updated last year
• oracle / kernel-fuzzing
  Fuzzers for the Linux kernel
  ☆116Updated 8 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆21Updated 3 years ago
• asrulhadi / wap
  OWASP WAP - Web Application Protection Project
  ☆11Updated 5 years ago
• SoftSec-KAIST / Fuzzing-Survey
  The Art, Science, and Engineering of Fuzzing: A Survey
  ☆223Updated 3 months ago