Verimag Polyhedra Library
-
Updated
Jun 23, 2020 - OCaml
#
abstract-domain
Here are 9 public repositories matching this topic...
pyApron: A library for numerical abstract domains manipulation based on Apron
python
static-analysis
abstract-interpretation
abstract-domain
convex-polyhedron
numerical-domain
apron
-
Updated
Sep 5, 2018 - Python
⚒ Implementation of the Tarsis abstract domain
-
Updated
Aug 25, 2023 - Java
Abstract Domain Library, a C++ library implementing the octagon domain in CPU and GPU. (may add more abstract domains in the future!)
-
Updated
Aug 27, 2018 - C++
Implementation of an abstract domain for algebraic data types
-
Updated
Jun 13, 2022 - Scala
CLAM static analyzer for μDyn
-
Updated
Feb 8, 2021 - Java
Finite state automata library for abstract interpretation
-
Updated
Mar 2, 2019 - Java
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
C++ implementation of an interpreter for a simple programming language and a library for Intervals Abstract Domain
-
Updated
Apr 16, 2019 - C++
Improve this page
Add a description, image, and links to the abstract-domain topic page so that developers can more easily learn about it.
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."