The redexer binary instrumentation framework for Dalvik