Dynodroid: an input generation system for Android apps | Synapse