appshark: scan vulnerabilities in an Android app