sree314 / simple-abstract-interpreterLinks
A Simple Abstract Interpreter, built for teaching purposes
☆19Updated 5 years ago
Alternatives and similar repositories for simple-abstract-interpreter
Users that are interested in simple-abstract-interpreter are comparing it to the libraries listed below
Sorting:
- Apron Numerical Abstract Domain Library☆133Updated 5 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 5 months ago
- AE-solver and Skolemizer☆17Updated 8 months ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- A verification tool for many memory models☆99Updated last week
- A translation validation framework for MLIR☆88Updated 5 months ago
- SymDiff-Differential-Program-Verifier☆37Updated last week
- A SyGuS Solver☆28Updated 3 months ago
- Solver for Constrained Horn Clauses☆45Updated last week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- ☆11Updated last year
- Public-facing course info for program analysis materials.☆42Updated this week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆112Updated last week
- Staged Abstract Interpreters☆69Updated 2 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 2 months ago
- A framework for testing compilers' type checkers☆55Updated last year
- A framework for testing compilers' type checkers☆17Updated 9 months ago
- A compiler from TIP to llvm bitcode☆69Updated 9 months ago
- The Eldarica model checker☆91Updated 3 months ago
- TriCera: a model checker for C programs☆25Updated this week
- The ISLa (Input Specification Language) language & solver.☆70Updated last year
- PPLite: convex polyhedra library for Abstract Interpretation☆27Updated 5 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆63Updated last week
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆51Updated 3 months ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Updated last month
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated last week
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆244Updated 10 months ago
- Dynamic Analysis for Concurrent Programs☆26Updated 10 months ago
- A fuzzing framework for SMT solvers☆191Updated 2 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆280Updated last year