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
ERC-721 implementation for listing non-fungible digital art tokens on compliant marketplaces
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
CLAM static analyzer for μDyn
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.
C++ implementation of an interpreter for a simple programming language and a library for Intervals Abstract Domain
My master thesis LaTeX source
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
My senior thesis in computer science
Finite state automata library for abstract interpretation
Typescript practice sorting different collection of data(number[ ], string, linked list), creating linked list, add new node to the list, use abstract classes instead of interface
A simple language modular static analyzer based on abstract interpretation
LART Runtime Support Library
Release snapshots of the Frama-C platform for source code analysis
Projekat za kurs: Verifikacija softvera
A static analyzer based on abstract interpretation for a C-like toy 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."