abstract-domain

There are 9 repositories under abstract-domain topic.

VERIMAG-Polyhedra/VPL
Verimag Polyhedra Library
Language:OCaml17 5 232
pyapron/pyapron
pyApron: A library for numerical abstract domains manipulation based on Apron
Language:Python4 2 00
UniVE-SSV/tarsis
⚒ Implementation of the Tarsis abstract domain
Language:Java3 4 20
flisboac/adl
Abstract Domain Library, a C++ library implementing the octagon domain in CPU and GPU. (may add more abstract domains in the future!)
Language:C++1 2 700
marcocolognese/ais_interpreter
C++ implementation of an interpreter for a simple programming language and a library for Intervals Abstract Domain
Language:C++0 0 02
schrdrl/AbstractDomain_ADT
Implementation of an abstract domain for algebraic data types
Language:Scala0 1 00
SPY-Lab/fsa
Finite state automata library for abstract interpretation
Language:Java0 2 00
sim642/bsc-thesis
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
Language:TeX2 0
VincenzoArceri/clam
CLAM static analyzer for μDyn
Language:Java2 0