A whitebox approach for automated security testing of Android applications on the cloud | Synapse