All Classes and Interfaces
Class
Description
Aids in handling code to be inserted at given points into the model.
Skeleton of functionality to propagate information through the Java bytecode stack machine using
ShrikeBT.
This gives some basic facilities for shoving things around on the stack.
Update the machine state to account for an instruction
Interface which defines a flow function for a basic block
A Meeter object provides the dataflow logic needed to meet the abstract machine state for a
dataflow meet.
Hardcoded EntryPoint-specifications for an Android-Activity.
Create some Android-Environment.
Android Components like Activity, Service, ...
Fetches an android/content/Context.
An AdnroidEntryPoint is basically the same as a DexEntryPoint.
The ExecutionOrder is used to partially order EntryPoints.
AndroidEntryPoints have to be sorted before building the model.
Implement this interface to put entitys into the AndroidModel.
Searches an Android application for its EntryPoints.
A definition of an Entrypoint functions o the App are matched against.
Used to control the search mechanisms of AndroidEntryPointLocator.
Model configuration and Global list of entrypoints.
Read in an extracted AndroidManifest.xml.
The model to be executed at application start.
Encapsulates synthetic methods for modeling Androids lifecycle.
Manages SSA-Numbers for the arguments to Entrypoints.
Does optional checks before building the CallGraph.
Generate a Settings-Object from a String-Representation.
Add an Intent that is _shure_ to be handled internally _only_.
Grab and set data of AndroidClasses.
Constants for types used by the AndroidModel
Hardcoded EntryPoint-specifications for an Android-Application.
for binary ops not defined in JVML
Contains some predefined behaviors.
Create AnalysisScope from java & dalvik file.
A module which is a wrapper around .dex and .apk file.
A wrapper around a EncodedMethod object (from dexlib) that represents a method.
This class constructs an SSA
IR from a backing ShrikeBT instruction stream.This is generates a dummy for the call to an external Activity.
Add code to create an instance of a type in a synthetic method.
Hardcoded EntryPoint-specifications for an Android-Activity.
Information on how the IInstanciationBehavior made its decision for
IInstantiationBehavior.InstanceBehaviorThe handling for a variable occurring in the AndroidModel.
Add code to create an instance of a type in a synthetic method.
Collection of Instruction wich allow to get an instruction from its table index id or from its
bytecode index.
Determines the target of an Android-Intent.
Wraps an Intent to be suitable to be a Context-Element.
An
SSAContextInterpreter that redirects functions that start Android-Components.Adds Intents to the Context of functions that start Android-Components.
Like MicroModel but includes CallBacks.
Contains Information on functions that start Android-Components based on an Intent.
The flags influence the later model.
Contains information on how to call a starter-function.
Behavior loaded from a file.
Hardcoded specifications of androids loader call-backs.
Hardcoded specifications of androids location handling call-backs.
Builds an Android Model incorporating two loops.
Builds an Android Model incorporating three loops.
Model for single Target Class.
Models all classes derived from the given AndroidComponent.
Context Free overrides for the startComponent-Methods.
Hardcoded EntryPoint-specifications for an Android-ContentProvider.
Helper for building the Descriptor of a model.
Functions get called once in sequential order.
Hardcoded EntryPoint-specifications for an Android-Service.
Builds an Android Model incorporating a single loop.
Instantiates certain android-types differently.
This is generates a dummy for the call to an external Activity.
for unary ops not defined in JVML
This Model is used to start an Android-Component of unknown Target.
ClassLoader for Java & Dalvik.