Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
-
Updated
Jun 19, 2018 - TeX
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
Excel@FIT 2019
Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.
[Reference] Bismuth Abstract Protocol Proposals
ERC-721 implementation for listing non-fungible digital art tokens on compliant marketplaces
Michelson frontend for LiSA
A poster about an abstract interpretation module for the R program slicer flowR
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
An abstract interpretation based static analyzer for the REC programming language, supports strictness and sign analysis
Experimental python linter/interpreter intended to check tensor/matrix/arrays operations using NumPy (currently only works in Python 3.6 and Python 3.7)
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
A ω-regular language inclusion checker
My master thesis LaTeX source
OCaml Library for the drawing of abstract elements (Polyhedra, Octagon, Boxes)
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
Abstract interpretation in Idris
A eBPF verifier based on Crab
CLAM static analyzer for μDyn
Rust bindings for the ELINA library
Abstract-interpretation-based Static Analyzer for the While language
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."