Facebook's open-source bytecode optimizer provides a framework for reading, writing, and analyzing .dex files, and using this framework to perform a series of optimizations to improve bytecode. The APK optimized by ReDex is smaller and faster than its source file.