Static Bytecode Instrumentation for Dalvik