Interpreting the Dalvik bytecode