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

Class ExternalModel

java.lang.Object

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

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

All Implemented Interfaces:

com.ibm.wala.ipa.cha.IClassHierarchyDweller

public class ExternalModel
extends AndroidModel

This is generates a dummy for the call to an external Activity. Is used by the IntentContextInterpreter if an Intent is marked as beeing external.

Since:

2013-10-15

Author:

Tobias Blaschke

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
ExternalModel(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

Methods

Modifier and Type	Method and Description
protected void	build(com.ibm.wala.util.strings.Atom name, 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) Do not call any EntryPoint.

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

ExternalModel

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

Method Detail

selectEntryPoint

protected boolean selectEntryPoint(AndroidEntryPoint ep)

Do not call any EntryPoint. Overridden by models to restraint Entrypoints. For each entrypoint this method is queried if it should be part of the model.

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,
         Collection<? extends AndroidEntryPoint> entrypoints)

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