plum-umd / redexer Smali 174 31 The Redexer binary instrumentation framework for Dalvik bytecode dex dynamic-analysis bytecode-manipulation dalvik