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