Treffer: Jandom: JVM based Analyzer for Numerical DOMains

Jandom is an abstract interpretation based static analyzer which aims to support multiple target languages, multiple domains and multiple strategies for solving fixpoint equations. It is the successor of Random and it is written in Scala. At the moment it supports: * abstract domains - the interval domain - the domain of parallelotopes - numerical domains supported by the Parma Polyhedra Library - a pair sharing abstract domain * analysis based on widening and narrowing - delayed widening - localized widening/narrowing - preliminary support for inter-procedural analyses * target languages - simple imperative programs in a pseudo C syntax - linear transition systems - preliminary support for Java bytecode through the Jimple intermediate representation of the Soot library