WeChecker: efficient and precise detection of privilege escalation vulnerabilities in Android apps
Soot - a Java Bytecode Optimization Framework