abstract-interpretation

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

Static Analysis Compiler Plugin for Scala

eBPF verifier based on abstract interpretation

Static Analyzer for LLVM bitcode based on Abstract Interpretation

A certifiable defense against adversarial examples by training neural networks to be provably robust

A library for building abstract interpretation-based analyses

Release snapshots of the Frama-C platform for source code analysis

explorations in core.logic

Static analysis framework for C

The Sparrow Static Analyzer

Staged Abstract Interpreters

Sturdy is a library for developing sound static analyses in Haskell.

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

A 6502-oriented low-level programming language supporting advanced static analysis

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis