All Packages

Package Summary
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.