Performant type-checking for python.
-
Updated
May 20, 2024 - OCaml
Performant type-checking for python.
Static analysis framework for C
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
Software Security Analysis Course
eBPF verifier based on abstract interpretation
BinAbsInspector: Vulnerability Scanner for Binaries
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
SeaHorn Verification Framework
Pure Demand Operational Semantics
Golang frontend for LiSA
Corax for Java: A general static analysis framework for java code checking.
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)
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
A poster about an abstract interpretation module for the R program slicer flowR
A simple Java console application for ordering and managing bread inventory. Includes features for adding new bread items, viewing the bread list, and deleting items by name. Implements basic validation for bread names, types, and prices. Developed as part of a college programming lesson.
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."