bondo / symbolic-executionLinks
☆20Updated 12 years ago
Alternatives and similar repositories for symbolic-execution
Users that are interested in symbolic-execution are comparing it to the libraries listed below
Sorting:
- An introductory tutorial for the Coq proof assistant.☆10Updated 7 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Updated last year
- Python bytecode instrumentation library☆121Updated 9 years ago
- Hierarchical Delta Debugging Framework☆60Updated 2 months ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Updated 8 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 6 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- Auxiliary repository used to store pre-compiled binary distribution packages of Z3.☆18Updated 6 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Kodkod solver for relational logic☆84Updated 2 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 5 years ago
- Types for Python☆87Updated 7 years ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆20Updated 10 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆59Updated 11 years ago
- Distributed persistent programming language with secure information flow types☆29Updated 11 months ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 10 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Static analysis tool to slice python programs☆38Updated 9 years ago
- A symbolic execution engine for Python☆44Updated 13 years ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Updated 6 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated last year
- Eclipse plugin that synthesizes real Java code☆26Updated 11 years ago
- A simple VM to play with OSR in LLVM☆15Updated 8 years ago
- KITTeL/KoAT☆21Updated 7 years ago
- The Cloud9 main repository☆54Updated 12 years ago
- Parallel Delta Debugging Framework☆54Updated 2 months ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 6 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- An LLVM IR Editor plugin for Eclipse☆53Updated 12 years ago