A Dalvik bytecode instrumentation framework
Main About Download Documentation Tutorial


Redexer is a bytecode instrumentation framework for Dalvik bytecode (used by Android applications). Redexer is a set of OCaml-based utilities that let programmers parse, manipulate, and generate bytecode for the Dalvik VM. To get started using redexer, you can download it from our public GitHub repository and read through the redexer tutorial.

Getting Redexer

Redexer is currently maintained on a GitHub repository. Redexer is licensed under the BSD version 3 license. After downloading redexer, you can compile it and read through some of the documentation to help get you started with basic usage of the system.

Recent news

  • October 18th, 2012: Redexer is now released! You can download redexer through our GitHub repository.


Redexer was written by the PLUM group at the University of Maryland, College Park. Its main authors are:

Mailing list

Questions on the installation and use of redexer can be discussed on the redexer-users Google group.

Last modified: October 19th, 2012

Generated with Hakyll