• JSAI

  • Referenced in 6 articles [sw30521]
  • JavaScript. We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains...
  • TSL

  • Referenced in 3 articles [sw39578]
  • System for Generating Abstract Interpreters and its Application to Machine-Code Analysis. This article describes ... metatool---that automatically creates different abstract interpreters for machine-code instruction sets. The most challenging ... abstract transformers for a given abstract interpretation of a given instruction set. From a description ... uses TSL to develop different abstract interpreters...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic ... written at a much higher level of abstraction than is usually possible. The language appears...
  • Cibai

  • Referenced in 4 articles [sw26821]
  • Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes ... generic static analyzer based on abstract interpretation for the modular analysis and verification of Java...
  • NewPolka

  • Referenced in 4 articles [sw14384]
  • teams working on static analysis and abstract interpretation. It is mainly based...
  • FixBag

  • Referenced in 4 articles [sw10096]
  • Fixpoint Calculator for Quantified Bag Constraints. Abstract interpretation techniques have played a major role...
  • FOCI

  • Referenced in 62 articles [sw12868]
  • free first-order formulas. It supports certain interpreted theories, such as equality, uninterpreted functions, linear ... verification, for example, discovering predicates in predicate abstraction, and computing inductive invariants...
  • PRECiSA

  • Referenced in 2 articles [sw38041]
  • abstract interpretation framework for the round-off error analysis of floating-point programs. This paper ... presents an abstract interpretation framework for the round-off error analysis of floating-point programs ... This framework defines a parametric abstract analysis that computes, for each combination of ideal...
  • IKOS

  • Referenced in 2 articles [sw14865]
  • Framework for Static Analysis Based on Abstract Interpretation. The RTCA standard (DO-178C) for developing ... scalable. IKOS harnesses the power of Abstract Interpretation and makes it accessible to a larger ... concerns such as code parsing, model development, abstract domain management, results management, and analysis strategy...
  • SMACS

  • Referenced in 2 articles [sw06144]
  • transition systems under partial observation using abstract interpretation. We propose algorithms for the synthesis ... solving these problems is ensured using abstract interpretation techniques which provide an overapproximation...
  • ac2lus

  • Referenced in 2 articles [sw17953]
  • ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous ... techniques like SMT-solving and abstract interpretation which were not previously available for use with...
  • EigenCFA

  • Referenced in 3 articles [sw14136]
  • limit, we reduced Shivers’s abstract-interpretive 0CFA to an algorithm synthesized from linear-algebra ... operations. Central to this reduction were “abstract” Church encodings, and encodings of the syntax tree...
  • Sparrow

  • Referenced in 3 articles [sw18278]
  • source. Sparrow is designed by Abstract Interpretation and the analysis is sound in design. Sparrow...
  • McAiT

  • Referenced in 3 articles [sw09947]
  • results of local cache analysis by abstract interpretation) and a broad range of on-chip...
  • FuncTion

  • Referenced in 2 articles [sw23309]
  • preconditions for termination) by means of abstract interpretation. It combines a variety of abstract domains...
  • Jakstab

  • Referenced in 4 articles [sw25254]
  • Jakstab is an Abstract Interpretation-based, integrated disassembly and static analysis framework for designing analyses...
  • ABASH

  • Referenced in 2 articles [sw19236]
  • Linux distribution. ABASH works by performing abstract interpretation of a bash script via an abstract...
  • FLDBox

  • Referenced in 1 article [sw40308]
  • Runtime abstract interpretation for numerical accuracy and robustness. Verification of numerical accuracy properties in modern ... technique for numerical properties, named Runtime Abstract Interpretation (RAI), that, given an annotated source code ... hybrid technique combining abstract interpretation and runtime verification that aims at being sound...
  • CDB-PV

  • Referenced in 2 articles [sw17364]
  • approach is similar to abstract interpretation but it allows non-convex approximations...
  • julia

  • Referenced in 2 articles [sw09720]
  • analyser is based on a denotational abstract interpretation of Java bytecode through Boolean logical formulas...