Performant type-checking for python.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
BinAbsInspector: Vulnerability Scanner for Binaries
SeaHorn Verification Framework
eBPF verifier based on abstract interpretation
Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
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. **Update**: crab is still actively maintained. Please use branch dev.
A certifiable defense against adversarial examples by training neural networks to be provably robust
Static analysis framework for C
Release snapshots of the Frama-C platform for source code analysis
explorations in core.logic
Staged Abstract Interpreters
Static Analysis Course
Sturdy is a library for developing sound static analyses in Haskell.
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
