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
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Updated last year
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Hierarchical Delta Debugging Framework☆59Updated last month
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆234Updated 5 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 symbolic execution engine for Python☆44Updated 13 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 5 years ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Updated 6 years ago
- Python 3 AST unparser with type comments support.☆31Updated 6 years ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆20Updated 10 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- Static optimizer specializing functions with guards for Python 3.6☆73Updated 6 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
- Python Abstract Syntax Tree viewer in Qt☆104Updated 3 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- Python bytecode instrumentation library☆121Updated 9 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Updated 4 years ago
- Types for Python☆87Updated 7 years ago
- T2 Temporal Prover☆96Updated 7 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- Python Exploration with Z3☆338Updated 3 weeks ago
- A Z3-Based String Constraint Solver☆87Updated 6 years ago
- A generic AST generator for parser development.☆33Updated 6 years ago
- Static analysis tool to slice python programs☆38Updated 9 years ago
- The Cloud9 main repository☆53Updated 12 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- VATA Tree Automata Library☆34Updated last year
- Distributed persistent programming language with secure information flow types☆29Updated 10 months ago