Soot v4.0 releases: A framework for analyzing and transforming Java and Android applications