Alternatives and similar repositories for pygmalion:

Users that are interested in pygmalion are comparing it to the libraries listed below

• carolemieux / perffuzz
  PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
  ☆133Updated 4 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆114Updated 7 years ago
• nezha-dt / nezha
  Differential fuzzing for the masses!
  ☆150Updated 7 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• vrthra / F1
  ☆81Updated 4 months ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆91Updated 6 years ago
• CIFASIS / OS-fuzzing
  Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
  ☆24Updated 9 years ago
• akwick / gotcha
  Go Taint CHeck Analyser
  ☆44Updated 5 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• kcwu / afl-kit
  ☆36Updated 2 years ago
• MozillaSecurity / libfuzzer-python-bridge
  INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators
  ☆74Updated 5 years ago
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 8 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• mboehme / pythia
  Pythia (extends AFL with Predictions)
  ☆62Updated 3 years ago
• bshastry / afl-sancov
  AFL coverage tool using Clang SanitizerCoverage
  ☆37Updated 8 years ago
• BinaryAnalysisPlatform / bap-plugins
  BAP Plugins Repository
  ☆57Updated 4 years ago
• maurer / symfuzz
  ☆61Updated 9 years ago
• attekett / covFuzz
  covFuzz
  ☆34Updated 7 years ago
• Frky / scat
  Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).
  ☆67Updated 7 years ago
• S2E / docs
  Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
  ☆76Updated 5 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years ago
• ericpony / z3py-tutorial
  ☆144Updated last year
• Cisco-Talos / covnavi
  ☆63Updated 5 years ago
• renatahodovan / fuzzinator
  Fuzzinator Random Testing Framework
  ☆190Updated last month
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆242Updated 6 years ago
• hksecurity / FuzzBuilder
  ☆47Updated 4 years ago
• c01db33f / concolica
  Python concolic execution framework for program analysis
  ☆65Updated 10 years ago
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆42Updated 3 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year