Performant type-checking for python.

• UpdatedJul 18, 2025
• OCaml

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

• UpdatedApr 24, 2025
• C++

BinAbsInspector: Vulnerability Scanner for Binaries

• UpdatedJun 17, 2024
• Java

SeaHorn Verification Framework

• UpdatedMay 27, 2025
• C

eBPF verifier based on abstract interpretation

• UpdatedJul 11, 2025
• C++

Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.

• UpdatedApr 21, 2024
• C

Static Analysis Compiler Plugin for Scala

• UpdatedJul 10, 2018
• Scala

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

• UpdatedDec 3, 2024
• Kotlin

A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.

• UpdatedOct 23, 2024
• C++

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

• UpdatedJul 25, 2024
• Python

Static analysis framework for C

• UpdatedJul 17, 2025
• OCaml

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

• UpdatedOct 21, 2020
• OCaml

The Sparrow Static Analyzer

• UpdatedSep 19, 2021
• OCaml

explorations in core.logic

• UpdatedJun 14, 2024
• Clojure

Static Analysis Course

• UpdatedJul 17, 2025
• C++

Staged Abstract Interpreters

• UpdatedMar 13, 2023
• Scala

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

• UpdatedJul 14, 2025
• Java

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

• UpdatedJun 23, 2023
• Pascal

Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs

• UpdatedMay 20, 2015
• C

Signedness-Agnostic Strided-Interval

• UpdatedJun 21, 2019
• C++