sree314 / simple-abstract-interpreterLinks
A Simple Abstract Interpreter, built for teaching purposes
☆20Updated 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:
- Public-facing course info for program analysis materials.☆41Updated 5 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Updated 5 years ago
- AE-solver and Skolemizer☆17Updated 5 months ago
- Frama-C plugins for deadlock and data race detection☆12Updated last month
- Staged Abstract Interpreters☆66Updated 2 years ago
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆15Updated 9 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆15Updated 9 months ago
- Solver for Constrained Horn Clauses☆39Updated this week
- ANTLR SMT-LIB v2 Grammar☆23Updated 3 years ago
- ☆34Updated this week
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- TriCera: a model checker for C programs☆25Updated last week
- A formally verified bug finder☆14Updated 6 months ago
- Map2Check: Finding Software Vulnerabilities☆28Updated 4 years ago
- Teaching and Learning Software Verification via SVF☆34Updated last week
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 5 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆130Updated last week
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆60Updated 3 weeks ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆105Updated this week
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆47Updated 2 years ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- A translation validation framework for MLIR☆85Updated 2 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆26Updated last year
- A SyGuS Solver☆28Updated 2 weeks ago
- ☆17Updated last year
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- A verification tool for many memory models☆94Updated this week