Soot: A framework for analyzing and transforming Java and Android applications