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

Class SpecializedInstantiator

java.lang.Object

com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.FlatInstantiator

com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.SpecializedInstantiator

All Implemented Interfaces:

com.ibm.wala.util.ssa.IInstantiator

public class SpecializedInstantiator
extends FlatInstantiator

Instantiates certain android-types differently. For example instantiating an android.content.Context would pull in all Android-components in scope resulting in a massivly overapproximated model.

Author:

Tobias Blaschke

Constructor Summary

Constructors

Constructor and Description
SpecializedInstantiator(com.ibm.wala.ipa.summaries.VolatileMethodSummary body, com.ibm.wala.util.ssa.TypeSafeInstructionFactory instructionFactory, com.ibm.wala.util.ssa.SSAValueManager pm, com.ibm.wala.ipa.cha.IClassHierarchy cha, com.ibm.wala.types.MethodReference scope, com.ibm.wala.ipa.callgraph.AnalysisScope analysisScope, com.ibm.wala.util.ssa.IInstantiator parent)

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.util.ssa.SSAValue	createContext(com.ibm.wala.types.TypeReference T, boolean asManaged, com.ibm.wala.util.ssa.SSAValue.VariableKey key, Set<? extends com.ibm.wala.util.ssa.SSAValue> seen) Creates a new instance of android/content/Context.
com.ibm.wala.util.ssa.SSAValue	createContextWrapper(com.ibm.wala.types.TypeReference T, boolean asManaged, com.ibm.wala.util.ssa.SSAValue.VariableKey key, Set<? extends com.ibm.wala.util.ssa.SSAValue> seen)
com.ibm.wala.util.ssa.SSAValue	createInstance(com.ibm.wala.types.TypeReference T, boolean asManaged, com.ibm.wala.util.ssa.SSAValue.VariableKey key, Set<? extends com.ibm.wala.util.ssa.SSAValue> seen) Creates a new instance of type calling all that's necessary.
int	createInstance(com.ibm.wala.types.TypeReference type, Object... instantiatorArgs) Satisfy the interface.
static boolean	understands(com.ibm.wala.types.TypeReference T)

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

addCallCtor

Methods inherited from class java.lang.Object

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

Constructor Detail

SpecializedInstantiator

public SpecializedInstantiator(com.ibm.wala.ipa.summaries.VolatileMethodSummary body,
                       com.ibm.wala.util.ssa.TypeSafeInstructionFactory instructionFactory,
                       com.ibm.wala.util.ssa.SSAValueManager pm,
                       com.ibm.wala.ipa.cha.IClassHierarchy cha,
                       com.ibm.wala.types.MethodReference scope,
                       com.ibm.wala.ipa.callgraph.AnalysisScope analysisScope,
                       com.ibm.wala.util.ssa.IInstantiator parent)

Method Detail

createInstance

public com.ibm.wala.util.ssa.SSAValue createInstance(com.ibm.wala.types.TypeReference T,
                                            boolean asManaged,
                                            com.ibm.wala.util.ssa.SSAValue.VariableKey key,
                                            Set<? extends com.ibm.wala.util.ssa.SSAValue> seen)

Creates a new instance of type calling all that's necessary. If T is a class-type all its constructors are searched for the one found best suited (takes the least arguments, ...). New instances are created for all parameters, then the constructor is called. If T represents multiple types (is an interface, abstract class, ...) _all_ implementors of that type are instantiated After that they get Phi-ed together. If T is an array-type a new array of length 1 is generated.

Overrides:

createInstance in class FlatInstantiator

understands

public static boolean understands(com.ibm.wala.types.TypeReference T)

createContext

public com.ibm.wala.util.ssa.SSAValue createContext(com.ibm.wala.types.TypeReference T,
                                           boolean asManaged,
                                           com.ibm.wala.util.ssa.SSAValue.VariableKey key,
                                           Set<? extends com.ibm.wala.util.ssa.SSAValue> seen)

Creates a new instance of android/content/Context.

createContextWrapper

public com.ibm.wala.util.ssa.SSAValue createContextWrapper(com.ibm.wala.types.TypeReference T,
                                                  boolean asManaged,
                                                  com.ibm.wala.util.ssa.SSAValue.VariableKey key,
                                                  Set<? extends com.ibm.wala.util.ssa.SSAValue> seen)

createInstance

public int createInstance(com.ibm.wala.types.TypeReference type,
                 Object... instantiatorArgs)

Satisfy the interface.

Specified by:

createInstance in interface com.ibm.wala.util.ssa.IInstantiator

Overrides:

createInstance in class FlatInstantiator