com.ibm.wala.dalvik.ipa.callgraph.androidModel.stubs

Class UnknownTargetModel

java.lang.Object

com.ibm.wala.dalvik.ipa.callgraph.androidModel.AndroidModel

com.ibm.wala.dalvik.ipa.callgraph.androidModel.stubs.UnknownTargetModel

All Implemented Interfaces:

com.ibm.wala.ipa.cha.IClassHierarchyDweller

public class UnknownTargetModel
extends AndroidModel

This Model is used to start an Android-Component of unknown Target.

All internal Components of a Type (if given) then an ExternalModel is called. Used by the IntentContextInterpreter.

Since:

2013-10-18

See Also:

IntentContextInterpreter

Field Summary

Fields

Modifier and Type	Field and Description
com.ibm.wala.util.strings.Atom	name

Fields inherited from class com.ibm.wala.dalvik.ipa.callgraph.androidModel.AndroidModel

body, built, cache, cha, doBoot, klass, model, mRef, options, scope

Constructor Summary

Constructors

Constructor and Description
UnknownTargetModel(com.ibm.wala.ipa.cha.IClassHierarchy cha, com.ibm.wala.ipa.callgraph.AnalysisOptions options, com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache, AndroidComponent target)

Method Summary

Modifier and Type	Method and Description
protected void	build(com.ibm.wala.util.strings.Atom name, java.util.Collection<? extends AndroidEntryPoint> entrypoints) Generate the SummarizedMethod for the model (in this.model).
com.ibm.wala.ipa.summaries.SummarizedMethod	getMethod() Building the SummarizedMethod is delayed upon the first class to this method.
protected boolean	selectEntryPoint(AndroidEntryPoint ep) The UnknownTargetModel does not call any entrypoints on it's own.

Methods inherited from class com.ibm.wala.dalvik.ipa.callgraph.androidModel.AndroidModel

build, getClassHierarchy, getDeclaringClass, getDescriptor, getMethodAs, getMethodEncap, getName, getReturnType, isStatic, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

name

public final com.ibm.wala.util.strings.Atom name

Constructor Detail

UnknownTargetModel

public UnknownTargetModel(com.ibm.wala.ipa.cha.IClassHierarchy cha,
                          com.ibm.wala.ipa.callgraph.AnalysisOptions options,
                          com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache,
                          AndroidComponent target)

Parameters:

target - Component Type, may be null: No restrictions are imposed on AndroidModel then

Method Detail

selectEntryPoint

protected boolean selectEntryPoint(AndroidEntryPoint ep)

The UnknownTargetModel does not call any entrypoints on it's own.

Instead it first creates a restricted AndroidModel and an ExternalModel. These are actually called.

Overrides:

selectEntryPoint in class AndroidModel

Parameters:

ep - The EntryPoint in question

Returns:

if the given EntryPoint shall be part of the model

getMethod

public com.ibm.wala.ipa.summaries.SummarizedMethod getMethod()
                                                      throws com.ibm.wala.util.CancelException

Description copied from class: AndroidModel

Building the SummarizedMethod is delayed upon the first class to this method.

Overrides:

getMethod in class AndroidModel

Returns:

the method for this model as generated by build()

Throws:

com.ibm.wala.util.CancelException

build

protected void build(com.ibm.wala.util.strings.Atom name,
                     java.util.Collection<? extends AndroidEntryPoint> entrypoints)
              throws com.ibm.wala.util.CancelException

Description copied from class: AndroidModel

Generate the SummarizedMethod for the model (in this.model).

The actual generated model depends on the on the properties of this overloaded class. Most generated methods should reside in the AndroidModelClass and take AndroidComponents as well as some parameters (these marked REUSE) to the EntryPoints of the components.

Use AndroidModel.getMethod() to retrieve the method generated here or getMethodAs to get a version which is wrapped to another signature.

Overrides:

build in class AndroidModel

Parameters:

name - The name the generated method will be known as

entrypoints - The functions to call additionally to boot-code and XXX

Throws:

com.ibm.wala.util.CancelException