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++
CLAM static analyzer for μDyn
-
Updated
Feb 8, 2021 - Java
Implementation of an abstract domain for algebraic data types
-
Updated
Jun 13, 2022 - Scala
C++ implementation of an interpreter for a simple programming language and a library for Intervals Abstract Domain
-
Updated
Apr 16, 2019 - C++
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
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."