Formalisation and analysis of Dalvik bytecode
Reflection Analysis for Java