Information-Flow Analysis of Android Applications in DroidSafe | Synapse