Static analysis of Dalvik bytecode and reflection in Android