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

Abstract interpretation in Idris

A eBPF verifier based on Crab

CLAM static analyzer for μDyn

Rust bindings for the ELINA library

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-based Static Analyzer for the While language