abstract-interpretation
There are 112 repositories under abstract-interpretation topic.
facebook/pyre-check
Performant type-checking for python.
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
KeenSecurityLab/BinAbsInspector
BinAbsInspector: Vulnerability Scanner for Binaries
seahorn/seahorn
SeaHorn Verification Framework
vbpf/prevail
eBPF verifier based on abstract interpretation
seahorn/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
HairyFotr/linter
Static Analysis Compiler Plugin for Scala
Feysh-Group/corax-community
Corax for Java: A general static analysis framework for java code checking.
seahorn/crab
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
eth-sri/diffai
A certifiable defense against adversarial examples by training neural networks to be provably robust
goblint/analyzer
Static analysis framework for C
Frama-C/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
ropas/sparrow
The Sparrow Static Analyzer
namin/logically
explorations in core.logic
SVF-tools/Software-Security-Analysis
Static Analysis Course
Kraks/sai
Staged Abstract Interpreters
lisa-analyzer/lisa
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
svenkeidel/sturdy
Sturdy is a library for developing sound static analyses in Haskell.
Par4All/par4all
Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
catseye/SixtyPical
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
skius/progge.rs
Program analysis playground for a simple, imperative language
ucsb-seclab/sasi
Signedness-Agnostic Strided-Interval
femtomc/abstraps
Pull your compiler up with abstract bootstraps.
lisa-analyzer/evm-lisa
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
SRI-CSL/OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
Antique-team/memcad
The MemCAD static analyzer
admk/soap
:dart: soap - Structural Optimisation of Arithmetic Programs
nhuhuan/sba
Static Binary Analysis Platform
ilyasergey/monadic-cfa
Generic implementation of different CFA families based on monadic decomposition
xlauko/lart
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
95616ARG/pikos_popl2020
Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
PragmaTwice/codepunk
[WIP] Interval Analysis on LLVM IR
ciao-lang/ciaopp
The Ciao Preprocessor