goblint / analyzerLinks
Static analysis framework for C
☆198Updated 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.☆245Updated 8 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆281Updated last year
- Apron Numerical Abstract Domain Library☆127Updated 3 months ago
- Collection of Verification Tasks (MOVED, please follow the link)☆183Updated 3 years ago
- Release snapshots of the Frama-C platform for source code analysis☆172Updated 4 years ago
- The Ultimate program analysis framework.☆221Updated this week
- The Gillian Platform main repository☆86Updated 3 weeks ago
- solver for the reachability modulo theories problem☆60Updated last year
- A Shape Analyzer Based on Symbolic Memory Graphs☆75Updated 3 weeks ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis