Scala Iulian Dragos Overview ⢠Static checker tool ⢠Based on type-checked ASTs ⢠Easy to use and write rules Goals ⢠Unify existing approaches in one platform…