Index of modules

This module provides utility functions for handling Android platform, for example, it provides a number of typical names for commonly used classes within the Android framework (helpful for finding and manipulating things like Buttons, for example)

Backward Data-flow analysis

This module defines a type for call graph and provides functions for generating and printing a call graph.

This module provides a function for merging two DEX binaries.

This module defines types for control-flow graph and dominance relations, and provides utility functions for obtaining information from such graphs.

This module provides data-flow analysis frameworks

This module provides utilities for manipulating Dalvik bytecode and DEX files, including functions for navigating bytecode file structures and generating new instruction sequences.

This module provides utilities for dumping a dex file into an on disk file.

Forward Data-flow analysis

This module provides functions for dumping contents of dex files in a directory based html structure, allowing the viewer to jump around the directory to more easily visualize code.

The data pool is a mapping from 32-bit offset to Dex.data_item.

This module defines types for Dalvik bytecodes and provides utility functions for generating, parsing and dumping instructions.

This module provides utility functions for handling bytecode that utilitizes the Java standard library

This module defines liveness analysis using Dataflow module.

inspired by android.util.Log

This module provides special functions for logging apps

Main workhorse

This module provides utility functions for modifying a DEX binary.

This module provides a function for parsing binary input channel.

This module offers constant propagation analysis using Dataflow

This module provides utility functions for pretty printing or collecting information about DEX file.

This module offers some utility functions

This module provides visitor pattern.

simple queue-based scheduler