Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: abstract-domain
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++ - Size: 735 KB - Last synced: about 2 months ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0
sim642/bsc-thesis
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
Language: TeX - Size: 7.31 MB - Last synced: about 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0
VERIMAG-Polyhedra/VPL
Verimag Polyhedra Library
Language: OCaml - Size: 1.4 MB - Last synced: 19 days ago - Pushed: almost 4 years ago - Stars: 17 - Forks: 2
SPY-Lab/fsa
Finite state automata library for abstract interpretation
Language: Java - Size: 39.1 KB - Last synced: 7 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
pyapron/pyapron
pyApron: A library for numerical abstract domains manipulation based on Apron
Language: Python - Size: 257 KB - Last synced: 13 days ago - Pushed: over 5 years ago - Stars: 4 - Forks: 0
VincenzoArceri/clam
CLAM static analyzer for μDyn
Language: Java - Size: 15.5 MB - Last synced: 9 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
UniVE-SSV/tarsis
⚒ Implementation of the Tarsis abstract domain
Language: Java - Size: 188 KB - Last synced: about 1 month ago - Pushed: 9 months ago - Stars: 3 - Forks: 0