Alternatives and similar repositories for symbolic-execution

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

• arthuraa / cufp-2015-tutorial
  An introductory tutorial for the Coq proof assistant.
  ☆10Updated 6 years ago
• mast-group / tassal
  Tree-based Autofolding Software Summarization Algorithm
  ☆43Updated 9 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
• neuroo / equip
  Python bytecode instrumentation library
  ☆121Updated 9 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆53Updated 3 weeks ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 7 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 3 weeks ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated last year
• ftsrg / seviz
  SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
  ☆20Updated 10 years ago
• micro-policies / micro-policies-coq
  Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
  ☆20Updated 6 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• sarda-nikhil / Sypy
  A symbolic execution engine for Python
  ☆44Updated 13 years ago
• caterinaurban / Typpete
  ☆37Updated 6 years ago
• panyam / astgen
  A generic AST generator for parser development.
  ☆33Updated 6 years ago
• rocky / python-spark
  An Earley-Algorithm Context-free grammar Parser Toolkit
  ☆49Updated last year
• titusjan / astviewer
  Python Abstract Syntax Tree viewer in Qt
  ☆105Updated 3 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆336Updated last week
• ltcmelo / uaiso
  A multi-language parsing infrastructure with an unified AST
  ☆99Updated 8 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 7 years ago
• srossross / Meta
  Python Meta Programming
  ☆147Updated 3 years ago
• plasma-umass / DoubleTake
  Evidence-based dynamic analysis: a fast checker for memory errors.
  ☆21Updated 8 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• andreif / codegen
  Extension to ast that allow ast -> python code generation.
  ☆79Updated 8 years ago
• vstinner / fatoptimizer
  Static optimizer specializing functions with guards for Python 3.6
  ☆73Updated 6 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Updated 5 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 11 years ago
• lassoinc / haskell-cypher
  A haskell wrapper for neo4j's Cypher REST API.
  ☆20Updated 13 years ago
• src-d / style-analyzer
  Lookout Style Analyzer: fixing code formatting and typos during code reviews
  ☆33Updated 3 years ago