GitHub repository: tobiatesan/Jandom
Primary language: Scala
Description: An abstract-interpretation based static analyzer written in Scala.