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
Jandom: JVM based Analyzer for Numerical DOMains
AMATO, Gianluca;SCOZZARI, Francesca
2013-01-01
Abstract
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 libraryI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
