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

Static Analysis Compiler Plugin for Scala

A library for building abstract interpretation-based analyses

Corax for Java: A general static analysis framework for java code checking.

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

The Sparrow Static Analyzer

explorations in core.logic

Staged Abstract Interpreters

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

Program analysis playground for a simple, imperative language

Signedness-Agnostic Strided-Interval