Model Checking to Detect the Hummingbad Malware