• Apron

  • Referenced in 67 articles [sw00045]
  • Apron: a library of numerical abstract domains for static analysis. This article describes Apron ... numerical variables of programs by abstract interpretation. Its goal is threefold: provide analysis implementers with ... encourage the research in numerical abstract domains by providing a platform for integration and comparison ... demonstration tools to disseminate knowledge on abstract interpretation...
  • Octagon

  • Referenced in 61 articles [sw13702]
  • Octagon Abstract Domain Library is a free library for manipulating special kinds of polyhedra called ... library is targeted at static analysis by abstract interpretation (look for a short introduction ... article entitled The Octagon Abstract Domain. This library is a work in progress...
  • Netgen

  • Referenced in 165 articles [sw06679]
  • abstract rules. The algorithms of the automatic mesh generator NETGEN are described. The domain ... front method. Emphasis is given to the abstract structure of the element generation rules. Several...
  • FunArray

  • Referenced in 14 articles [sw13708]
  • introduce FunArray, a parametric segmentation abstract domain functor for the fully automatic and scalable analysis ... painless and efficient lifting of existing abstract domains for scalar variables to the analysis ... delimited by sets of bound expressions and abstracted uniformly. All symbolic expressions appearing...
  • CoCasl

  • Referenced in 26 articles [sw13076]
  • trace equivalence) and provide fully abstract semantic domains. CoCasl hence becomes a meta-framework...
  • FOXBOX

  • Referenced in 16 articles [sw00307]
  • template arguments provide for abstract domain types. Currently, FOXBOX can be compiled with SACLIB...
  • Verasco

  • Referenced in 12 articles [sw19985]
  • abstract interpretation and combines several abstract domains, non-relational (integer intervals, floating-point intervals, integer...
  • BOXES

  • Referenced in 6 articles [sw21178]
  • BOXES: a symbolic abstract domain of boxes. Numeric abstract domains are widely used in program ... insensitive analyses. This problem is addressed by domain refinements, such as finite powersets, which provide ... efficient way to represent and manipulate abstract values. The simple approach of using ”sets ... present an implementation of the Boxes abstract domain - a refinement of the well-known...
  • PAGAI

  • Referenced in 7 articles [sw13095]
  • enumerations. It is parametric in the abstract domain in use, the iteration algorithm ... various combinations of analysis algorithms and abstract domains, with extensive experiments both on personal benchmarks...
  • Graphviz

  • Referenced in 84 articles [sw01283]
  • representing structural information as diagrams of abstract graphs and networks. It has important applications ... visual interfaces for other technical domains...
  • JSAI

  • Referenced in 5 articles [sw30521]
  • interpreter for JavaScript. JSAI uses novel abstract domains to compute a reduced product of type ... platform to experiment on novel sensitivities, abstract domains, and client analyses for JavaScript...
  • CTIGAR

  • Referenced in 7 articles [sw23310]
  • CEGAR-based verification methods refine the abstract domain based on full counterexample traces. The finite ... focus on individual states suggests a simpler abstraction-refinement scheme in which refinements are performed...
  • DMPlex

  • Referenced in 10 articles [sw17572]
  • using PETSc DMPlex. The use of composable abstractions allows the application of new and established ... composition of the PETSc DMPlex domain topology abstraction with the Firedrake automated finite element system ... supporting various mesh input formats and runtime domain decomposition. In particular, we describe how DMPlex...
  • TPLib

  • Referenced in 6 articles [sw10843]
  • conversely. It also provides an abstract domain based on tropical polyhedra, inferring min-/max-invariants over...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains. This paper proposes a new logic programming ... written at a much higher level of abstraction than is usually possible. The language appears...
  • Cibai

  • Referenced in 4 articles [sw26821]
  • abstract semantics and the underlying abstract domain, a combination of an aliasing analysis and octagons...
  • Slate

  • Referenced in 4 articles [sw31053]
  • Slate: extending Firedrake’s domain-specific abstraction to hybridized solvers for geoscience and beyond. Within ... this paper, we introduce a domain-specific abstraction within the Firedrake finite element library that...
  • FuncTion

  • Referenced in 2 articles [sw23309]
  • FuncTion: An Abstract Domain Functor for Termination. FuncTion is a research prototype static analyzer designed ... sufficient preconditions for termination) by means of abstract ... interpretation. It combines a variety of abstract domains in order to balance the precision...
  • IKOS

  • Referenced in 3 articles [sw14865]
  • such as code parsing, model development, abstract domain management, results management, and analysis strategy...
  • RAHFT

  • Referenced in 3 articles [sw24485]
  • techniques. It is interfaced with an abstract domain, a tool for manipulating finite tree automata...