Performant type-checking for python.
-
Updated
Jun 12, 2024 - OCaml
Performant type-checking for python.
Static analysis framework for C
Abstract Additive Quantum Decision Diagrams
Software Security Analysis Course
Corax for Java: A general static analysis framework for java code checking.
Pointer Analysis of CPython Bytecode using Abstract Interpretation
eBPF verifier based on abstract interpretation
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
SeaHorn Verification Framework
BinAbsInspector: Vulnerability Scanner for Binaries
A tool for static WCEC analysis of android apps.
Pandalyzer is a code-analysis tool for analyzing scripts written in Python using the Pandas data-manipulation library. The tool is still under development and supports only a subset of Python constructs and Pandas operations. It uses Abstract Interperation framework defined in my bachelor thesis: https://github.com/Hrubian/bachelor-thesis
A library for building abstract interpretation-based analyses
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Pure Demand Operational Semantics
Golang frontend for LiSA
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
The Ciao Preprocessor
OCaml Library for the drawing of abstract elements (Polyhedra, Octagon, Boxes)
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."