Alternatives and similar repositories for symbolic-execution

Users that are interested in symbolic-execution are comparing it to the libraries listed below

• neuroo / equip
  Python bytecode instrumentation library
  ☆119Updated 8 years ago
• serprex / byteplay
  face Python bytecode metaprogramming API fork
  ☆71Updated 4 years ago
• sarda-nikhil / Sypy
  A symbolic execution engine for Python
  ☆45Updated 12 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• jneen / parsy
  301 moved permanently https://github.com/python-parsy/parsy
  ☆42Updated 7 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• enthought / depsolver
  Default Repo description from terraform module
  ☆1Updated 10 years ago
• vstinner / fatoptimizer
  Static optimizer specializing functions with guards for Python 3.6
  ☆72Updated 5 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆76Updated last year
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• sdiehl / subpy
  Python subsets
  ☆41Updated 8 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆32Updated last month
• aserg-ufmg / NextBug
  A next-good-bug recommender for Bugzilla
  ☆11Updated 9 years ago
• DRMacIver / glassbox
  A library for tracking program state
  ☆15Updated 9 years ago
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆24Updated 4 years ago
• mitsuhiko / pyastutil
  Various Python AST utilities
  ☆22Updated last year
• RedHatQE / function_trace
  ☆19Updated 8 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 6 months ago
• flypy / flypy
  flypy - A runtime compiler for Python
  ☆38Updated 11 years ago
• ftsrg / codemodel-rifle
  Graph-based incremental static analysis of ECMAScript 6 source code repositories
  ☆19Updated 7 years ago
• martinschaef / bixie
  Inconsistent Code Detection for Java
  ☆11Updated 4 years ago
• arthuraa / cufp-2015-tutorial
  An introductory tutorial for the Coq proof assistant.
  ☆10Updated 6 years ago
• bblfsh / libuast
  ☆20Updated 5 years ago
• smurfix / yapps
  Yet Another Python Parser System
  ☆49Updated 5 years ago
• titusjan / astviewer
  Python Abstract Syntax Tree viewer in Qt
  ☆104Updated 2 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• nesaro / pydsl
  Python Domain Specific Language Tools
  ☆84Updated 3 years ago