sree314 / simple-abstract-interpreter
A Simple Abstract Interpreter, built for teaching purposes
☆20Updated 4 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
- Staged Abstract Interpreters☆66Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 2 months ago
- A framework for testing compilers' type checkers☆52Updated 9 months ago
- SymDiff-Differential-Program-Verifier☆34Updated 2 months ago
- Public-facing course info for program analysis materials.☆41Updated 5 months ago
- Solver for Constrained Horn Clauses☆38Updated last week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Updated 5 years ago
- TriCera: a model checker for C programs☆25Updated last week
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆57Updated 3 weeks ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- ☆33Updated last month
- AE-solver and Skolemizer☆17Updated 4 months ago
- A language for symbolic transitions system, inspired by Ivy.☆68Updated last year
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆102Updated this week
- A high-performance, parallel, compilation-based symbolic execution engine☆129Updated this week
- PC-miner tool for program chairs☆27Updated last month
- Cerberus C semantics☆61Updated last week
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆44Updated 4 months ago
- A framework for testing compilers' type checkers☆17Updated 5 months ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Frama-C plugins for deadlock and data race detection☆12Updated last week
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆54Updated last year
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆15Updated 9 years ago
- Apron Numerical Abstract Domain Library☆125Updated last month
- ☆17Updated 3 weeks ago
- ☆11Updated 10 months ago
- ☆17Updated 11 months ago