sree314 / simple-abstract-interpreter
A Simple Abstract Interpreter, built for teaching purposes
☆18Updated 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
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 weeks ago
- Staged Abstract Interpreters☆65Updated 2 years ago
- Public-facing course info for program analysis materials.☆39Updated 3 months ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Updated 5 years ago
- AE-solver and Skolemizer☆16Updated 3 months ago
- An awesome list of e-graph resources☆140Updated last month
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆43Updated 2 months ago
- Solver for Constrained Horn Clauses☆37Updated this week
- A formally verified bug finder☆14Updated 3 months ago
- ☆11Updated 8 months ago
- Deductive verification infrastructure for probabilistic programs☆16Updated this week
- A high-performance, parallel, compilation-based symbolic execution engine☆128Updated 2 weeks ago
- Static Analysis Framework for Modular Analyses☆12Updated 2 weeks ago
- A minimal development of SSA theory☆110Updated this week
- A framework for testing compilers' type checkers☆52Updated 7 months ago
- TriCera: a model checker for C programs☆24Updated this week
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated last year
- PC-miner tool for program chairs☆24Updated this week
- Compositional Verification of Composite Byzantine Protocols☆12Updated 7 months ago
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆15Updated 8 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆97Updated this week
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆56Updated last month
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 11 months ago
- Cerberus C semantics☆61Updated this week
- ☆21Updated last month
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- A translation validation framework for MLIR☆81Updated this week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated this week