Performant type-checking for python.
-
Updated
Jun 4, 2024 - OCaml
Performant type-checking for python.
BinAbsInspector: Vulnerability Scanner for Binaries
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
SeaHorn Verification Framework
Static analysis framework for C
eBPF verifier based on abstract interpretation
Release snapshots of the Frama-C platform for source code analysis
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Static Analysis Compiler Plugin for Scala
A library for building abstract interpretation-based analyses
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
A certifiable defense against adversarial examples by training neural networks to be provably robust
Corax for Java: A general static analysis framework for java code checking.
OCCAM: Object Culling and Concretization for Assurance Maximization
Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
explorations in core.logic
Software Security Analysis Course
Signedness-Agnostic Strided-Interval
Add a description, image, and links to the abstract-interpretation topic page so that developers can more easily learn about it.
To associate your repository with the abstract-interpretation topic, visit your repo's landing page and select "manage topics."