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 PPL library
  • the domain of Parallelotope (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.

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