goblint / analyzer
Static analysis framework for C
☆184Updated this week
Related projects ⓘ
Alternatives and complementary repositories for analyzer
- A library for building abstract interpretation-based analyses☆233Updated 3 weeks ago
- Apron Numerical Abstract Domain Library☆114Updated 3 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation☆277Updated 7 months ago
- The Ultimate program analysis framework.☆199Updated this week
- Program analysis tools developed at Draper on the CBAT project.☆102Updated last year
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- The Gillian Platform main repository☆78Updated this week
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆162Updated 5 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆211Updated this week
- SeaHorn Verification Framework☆441Updated 2 months ago
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- SMACK Software Verifier and Verification Toolchain☆432Updated last month
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- solver for the reachability modulo theories problem☆58Updated last year
- Release snapshots of the Frama-C platform for source code analysis☆167Updated 4 years ago
- A framework for testing compilers' type checkers☆50Updated 3 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆50Updated 7 months ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆227Updated this week
- A model checker for infinite-state systems.☆69Updated 3 years ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆72Updated 3 weeks ago
- Staged Abstract Interpreters☆65Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆52Updated 3 weeks ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆63Updated this week
- Boogie☆514Updated this week
- The Vellvm (Verified LLVM) coq development.☆400Updated this week
- WASP was superseded by: https://github.com/OCamlPro/owi☆14Updated 2 months ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆251Updated this week
- A fuzzing framework for SMT solvers☆185Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆57Updated 3 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week