This is really confusing. There's another static analysis engine....also for Android....also called SPARTA! https://types.cs.washington.edu/sparta/ https://ty

This is really confusing. There's another static analysis engine....also for Android....also called SPARTA! https://types.cs.washington.edu/sparta/ https://types.cs.washington.edu/sparta/