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 Analyzer for LLVM bitcode based on Abstract Interpretation
A certifiable defense against adversarial examples by training neural ne...
Corax for Java: A general static analysis framework for java code checking.
Release snapshots of the Frama-C platform for source code analysis
Static analysis framework for C
Staged Abstract Interpreters
Sturdy is a library for developing sound static analyses in Haskell.
Par4All is an automatic parallelizing and optimizing compiler (workbench...
Signedness-Agnostic Strided-Interval
Program analysis playground for a simple, imperative language
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-...