Performant type-checking for python.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Static Value-Flow Analysis Framework for Source Code
BinAbsInspector: Vulnerability Scanner for Binaries
SeaHorn Verification Framework
eBPF verifier based on abstract interpretation
Static Analyzer for LLVM based on the Crab Abstract Interpretation Library. Support up to LLVM 18
Static Analysis Compiler Plugin for Scala
Corax for Java: A general static analysis framework for java code checking.
A library for building abstract interpretation-based analyses.
Static analysis framework for C
A certifiable defense against adversarial examples by training neural networks to be provably robust
Release snapshots of the Frama-C platform for source code analysis
explorations in core.logic
Sophisticated static program analysis framework for the R programming language.
Static Analysis Course
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Staged Abstract Interpreters
Sturdy is a library for developing sound static analyses in Haskell.
Add a description, image, and links to the abstract-interpretation topic page so that developers can more easily learn about it.
To associate your repository with the abstract-interpretation topic, visit your repo's landing page and select "manage topics."