SymDroid: Symbolic Execution for Dalvik Bytecode
Towards Taming Privilege-Escalation Attacks on Android