SymDroid: Symbolic Execution for Dalvik Bytecode
Analyzing inter-application communication in Android