#

abstract-domain

Here are 8 public repositories matching this topic...

VERIMAG-Polyhedra / VPL

Verimag Polyhedra Library

coq-formalization polyhedral-computations polyhedra abstract-domain

Updated Apr 11, 2025
OCaml

UniVE-SSV / tarsis

⚒ Implementation of the Tarsis abstract domain

static-analysis automaton abstract-interpretation abstract-domain string-analysis

Updated Aug 25, 2023
Java

flisboac / adl

Abstract Domain Library, a C++ library implementing the octagon domain in CPU and GPU. (may add more abstract domains in the future!)

library gpu static-analysis abstract-domain adl octagon-domain

Updated Aug 27, 2018
C++

SPY-Lab / fsa

Finite state automata library for abstract interpretation

finite-state-automata abstract-interpretation abstract-domain

Updated Mar 2, 2019
Java

marcocolognese / ais_interpreter

C++ implementation of an interpreter for a simple programming language and a library for Intervals Abstract Domain

interpreter cplusplus static-analysis abstract-interpretation abstract-domain interval-domain

Updated Apr 16, 2019
C++

schrdrl / AbstractDomain_ADT

Implementation of an abstract domain for algebraic data types

algebraic-data-types abstract-interpretation abstract-domain

Updated Jun 13, 2022
Scala

sim642 / bsc-thesis

Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)

thesis static-code-analysis static-analysis property-based-testing bachelor-thesis abstract-interpretation estonian abstract-domain estonian-language data-flow-analysis thesis-paper bsc-thesis

Updated Jun 19, 2018
TeX

VincenzoArceri / clam

CLAM static analyzer for μDyn

static-analysis abstract-interpretation abstract-domain completeness string-analysis

Updated Feb 8, 2021
Java

Add this topic to your repo

To associate your repository with the abstract-domain topic, visit your repo's landing page and select "manage topics."