There are 15 repositories under abstract-interpretation topic.
Performant type-checking for python.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
BinAbsInspector: Vulnerability Scanner for Binaries
eBPF verifier based on abstract interpretation
Corax for Java: A general static analysis framework for java code checking.
Release snapshots of the Frama-C platform for source code analysis
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
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
The MemCAD static analyzer
Generic implementation of different CFA families based on monadic decomposition
Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
[WIP] Interval Analysis on LLVM IR
Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".