wala 1.6.8-SNAPSHOT API
Package
Description
This package contains a generic implementation of directed hypergraphs.
This package contains an exception analysis.
A set of classes facilitating the construction of synthetic methods.
Inserts synthetic code that resembles Androids lifecycle.
Controls how variable-instances are handled in the AndroidModel.
Controls the overall structure of the later model.
Contains functions inserted into the AndroidModel.
Fetch and handle information on Android-Intents.
Classes of general use with the AndroidModel.
Hardcoded specifications of the EntryPoints of Android-components.
If we want to filter edges of a control flow graph we already have
EdgeFilter
, but if we want to remove exceptions in particular we may want
to combine different analysis.All available filters should be contained in this package.