An abstract-interpretation based static analyzer written in Scala.