Package com.ibm.wala.dalvik.ipa.callgraph.propagation.cfa

package com.ibm.wala.dalvik.ipa.callgraph.propagation.cfa

Fetch and handle information on Android-Intents.

Collects the new-Sites of Intents and tries to resolve the parameters to the Intents constructor.

When a startComponent-function is encountered this information is used to redirect the call to an AndroidModel (optionally syntethized at this point). For this to happen a wrapper is synthesized using AndroidModels getMethodAs- Function.

If the target could not be determined definitely all components of the application matching the type of the startComponent-call are invoked.

The specification on which startComponent-calls are known may be found in IntentStarters.

A context-free variant of the redirection of startComponent-calls may be found in the Overrides mentioned below.

Author:

Tobias Blaschke <code@tobiasblaschke.de>

See Also:

• Overrides
• AndroidModel
• MiniModel
• MicroModel
• UnknownTargetModel
• ExternalModel

Class	Description
AndroidContext	Fetches an android/content/Context.
Intent	Determines the target of an Android-Intent.
Intent.IntentType
IntentContext	Wraps an Intent to be suitable to be a Context-Element.
IntentContextInterpreter	An SSAContextInterpreter that redirects functions that start Android-Components.
IntentContextSelector	Adds Intents to the Context of functions that start Android-Components.
IntentStarters	Contains Information on functions that start Android-Components based on an Intent.
IntentStarters.StarterFlags	The flags influence the later model.
IntentStarters.StartInfo	Contains information on how to call a starter-function.