Interprocedural Static Analysis Engine for Scala - View it on GitHub