abstract-domain

There are 0 repository under abstract-domain topic.

• VERIMAG-Polyhedra / VPL

  Verimag Polyhedra Library

  abstract-domainpolyhedral-computationspolyhedracoq-formalization
  Language:OCaml 17

• pyapron / pyapron

  pyApron: A library for numerical abstract domains manipulation based on Apron

  pythonapronabstract-interpretationabstract-domainnumerical-domainstatic-analysisconvex-polyhedron
  Language:Python 4

• UniVE-SSV / tarsis

  ⚒ Implementation of the Tarsis abstract domain

  static-analysisabstract-domainabstract-interpretationstring-analysisautomaton
  Language:Java 3

• flisboac / adl

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

  gpuoctagon-domainadlstatic-analysislibraryabstract-domain
  Language:C++ 1

• marcocolognese / ais_interpreter

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

  static-analysisabstract-interpretationinterval-domaininterpretercplusplusabstract-domain
  Language:C++ 0

• schrdrl / AbstractDomain_ADT

  Implementation of an abstract domain for algebraic data types

  algebraic-data-typesabstract-interpretationabstract-domain
  Language:Scala 0

• SPY-Lab / fsa

  Finite state automata library for abstract interpretation

  finite-state-automataabstract-interpretationabstract-domain
  Language:Java 0

• sim642 / bsc-thesis

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

  thesisthesis-paperbachelor-thesisbsc-thesisestonianestonian-languageabstract-domainproperty-based-testingstatic-analysisstatic-code-analysisdata-flow-analysisabstract-interpretation
  Language:TeX

• VincenzoArceri / clam

  CLAM static analyzer for μDyn

  abstract-interpretationstatic-analysisstring-analysisabstract-domaincompleteness
  Language:Java