Alternatives and similar repositories for ast-based-mutations

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

• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 4 years ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 7 years ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 7 years ago
• carolemieux / perffuzz
  PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
  ☆133Updated 5 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• ChijinZ / VisFuzz
  An interactive tool for better understanding and intervening fuzzing process via real-time visualization.
  ☆79Updated 3 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆203Updated 8 years ago
• ircmaxell / php-cfg
  A Control Flow Graph implementation in PHP
  ☆248Updated 2 months ago
• theparanoids / yfuzz
  A project to run fuzzing jobs at scale with Kubernetes.
  ☆148Updated 4 years ago
• oracle / kernel-fuzzing
  Fuzzers for the Linux kernel
  ☆118Updated 9 years ago
• zhunki / Superion
  Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.
  ☆138Updated 3 years ago
• hxuhack / logic_bombs
  This repository contains several examples of logic bomb.
  ☆112Updated last year
• iovisor / bpf-fuzzer
  fuzzing framework based on libfuzzer and clang sanitizer
  ☆167Updated 6 years ago
• bin2415 / fuzzing_paper
  fuzzing related paper
  ☆228Updated 4 years ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆251Updated 6 years ago
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 5 years ago
• ForAllSecure / GraphFuzz
  GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.
  ☆10Updated 3 years ago
• d0c-s4vage / gramfuzz
  gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.
  ☆259Updated 5 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 6 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆249Updated 2 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 8 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆263Updated 6 months ago
• olivo / TaintPHP
  Taint Analysis for PHP
  ☆45Updated 9 years ago
• sslab-gatech / fuzzification
  We hinder fuzzing
  ☆68Updated 3 years ago
• nettrino / slowfuzz
  ☆54Updated 8 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 3 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆125Updated 3 years ago
• mboehme / aflfast
  AFLFast (extends AFL with Power Schedules)
  ☆422Updated 2 years ago
• vusec / parmesan
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆177Updated last year
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆46Updated 5 years ago