WeChecker: efficient and precise detection of privilege escalation vulnerabilities in Android apps
SCanDroid: Automated Security Certification of Android Applications