Alternatives and similar repositories for ase16

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

• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 12 years ago
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆22Updated 4 years ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 5 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆72Updated 6 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆143Updated 7 years ago
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆73Updated 3 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆100Updated 4 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Updated 5 years ago
• ericpony / z3py-tutorial
  ☆151Updated 2 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆60Updated 2 months ago
• ProgramRepair / SearchRepair
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆27Updated 6 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 6 years ago
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆24Updated 4 years ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated last year
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆114Updated 10 years ago
• gaoxiang9430 / Fix2Fit
  ☆20Updated 4 years ago
• squaresLab / footpatch
  ☆15Updated 6 years ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆196Updated 2 months ago
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆339Updated last month
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆241Updated 2 years ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆56Updated 8 years ago
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆84Updated 7 years ago
• staticafi / symbiotic
  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
  ☆335Updated this week
• heechul / crest-z3
  CREST extension that supports non-linear arithmetic
  ☆14Updated 12 years ago
• matt-noonan / retypd-data
  Data and scripts for the paper "Polymorphic Type Inference for Machine Code"
  ☆13Updated 9 years ago