goblint / analyzerLinks
Static analysis framework for C
☆215Updated this week
Alternatives and similar repositories for analyzer
Users that are interested in analyzer are comparing it to the libraries listed below
Sorting:
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆247Updated last year
- Apron Numerical Abstract Domain Library☆139Updated 8 months ago
- Release snapshots of the Frama-C platform for source code analysis☆177Updated 5 years ago
- The Ultimate program analysis framework.☆233Updated this week
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆283Updated last year
- A Shape Analyzer Based on Symbolic Memory Graphs☆76Updated last month
- Cerberus C semantics☆72Updated last week
- solver for the reachability modulo theories problem☆62Updated 2 years ago
- A fuzzing framework for SMT solvers☆193Updated 2 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆250Updated this week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 4 months ago
- The Gillian Platform main repository☆92Updated last week
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆120Updated last week
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆48Updated 2 weeks ago
- Collection of Verification Tasks (MOVED, please follow the link)☆186Updated 4 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆290Updated last month
- Research prototype tool for modular formal verification of C, Rust and Java programs☆447Updated this week
- OCamlPro public development repository for Alt-Ergo☆139Updated 3 weeks ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆64Updated 2 weeks ago
- Solver for Constrained Horn Clauses☆46Updated this week
- SymDiff-Differential-Program-Verifier☆37Updated 2 months ago
- MIT's abstract interpretation class taught by Cousot☆39Updated 11 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆67Updated 8 months ago
- Static Analyzer and Verifier☆49Updated last year
- The main codex repository☆24Updated last year
- ANTLR SMT-LIB v2 Grammar☆24Updated 3 years ago
- A framework for testing compilers' type checkers☆60Updated last year
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆109Updated this week