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 6 years ago
- A generic AST generator for parser development.☆33Updated 6 years ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Updated 5 years ago
- Types for Python☆87Updated 6 years ago
- Python bytecode instrumentation library☆119Updated 8 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 11 years ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆20Updated 9 years ago
- Python Exploration with Z3☆335Updated 7 years ago
- A symbolic execution engine for Python☆45Updated 12 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- Supplementary files for SSFT 2015 summer school☆11Updated 6 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- Distributed persistent programming language with secure information flow types☆29Updated 6 months ago
- Tree-based Autofolding Software Summarization Algorithm☆43Updated 9 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 11 months ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- Kodkod solver for relational logic☆78Updated 2 years ago
- T2 Temporal Prover☆95Updated 7 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- 301 moved permanently https://github.com/python-parsy/parsy☆42Updated 7 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- Parallel Delta Debugging Framework☆53Updated 8 months ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 9 years ago
- custom type systems for Clang☆98Updated 10 years ago
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago