Alternatives and similar repositories for symbolic-execution

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

• sarda-nikhil / Sypy
  A symbolic execution engine for Python
  ☆45Updated 12 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated 8 months ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• enthought / depsolver
  Default Repo description from terraform module
  ☆1Updated 10 years ago
• romanofski / programslice
  Static analysis tool to slice python programs
  ☆36Updated 8 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 4 months ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆63Updated last year
• neuroo / equip
  Python bytecode instrumentation library
  ☆119Updated 8 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
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• danielrandall / python-control-flow-graph
  ☆9Updated 10 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆36Updated 8 years ago
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆83Updated 2 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆68Updated 5 years ago
• serprex / byteplay
  face Python bytecode metaprogramming API fork
  ☆71Updated 4 years ago
• vstinner / fatoptimizer
  Static optimizer specializing functions with guards for Python 3.6
  ☆72Updated 5 years ago
• perdisci / WebCapsule
  Record and Replay Engine for Web Browsers
  ☆16Updated 9 years ago
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 3 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• ftsrg / seviz
  SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
  ☆20Updated 9 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• arthuraa / cufp-2015-tutorial
  An introductory tutorial for the Coq proof assistant.
  ☆10Updated 6 years ago
• leifwalsh / perfume
  Interactive performance benchmarking in Jupyter
  ☆33Updated 5 months ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 2 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆29Updated 11 months ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆69Updated 8 years ago