A static analyzer for Scala