Home

Jandom is an abstract interpretation based static analyzer which supports multiple target languages, multiple domains, multiple strategies, and so on. Is is the successor of Random and it is written in Scala.

At the moment, functionalities are limited. It only supports

• abstract domains
  • numerical domains supported by the Parma Polyhedra Library
  • the domain of parallelotopes (but it is an unsafe implementation)
• analysis based on widening and narrowing
  • delayed widening
  • localized widening/narrowing
• target languages
  • simple imperative programs in a pseudo C syntax
  • preliminary support for Java bytecode

The name Jandom is temporary (suggestions are welcomed!) and stands for JVM based Analyzer for Numerical DOMains.

Jandom uses the following technologies:

• Scala 2.10 as the programming language
• sbt the build tool
• the Parma Polyhedra Library library for most of its numerical domains
• ScalaNLP Breeze for the Parallelotope domain
• ASM and Soot for the analysis of Java bytecode
• Caliper for benchmarking
• ScalaTest and ScalaCheck for unit testing

The mailing list jandom-devel@googlegroups.com is used to report commits and discuss the development of Jandom.