Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T) | IEEE Conference Publication | IEEE Xplore