Formalisation and analysis of Dalvik bytecode
SymDroid: Symbolic Execution for Dalvik Bytecode