unambiguous. This is in stark contrast to x86 instructions where the meaning of a particular section of binary code depends on the context of the running application. We build a general rewriting framework for Dalvik code in Android applications. Our framework implements a user’s desired security policy by interposing on method invocation in an application. Our approach requires no modification of the Android framework and no application source code