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 <code@tobiasblaschke.de>

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

Modifier and Type	Method and Description
com.ibm.wala.util.ssa.SSAValue	createContext(com.ibm.wala.types.TypeReference T, com.ibm.wala.util.ssa.SSAValue.VariableKey key) Creates a new instance of android/content/Context.
com.ibm.wala.util.ssa.SSAValue	createContextWrapper(com.ibm.wala.types.TypeReference T, com.ibm.wala.util.ssa.SSAValue.VariableKey key)
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. TODO: Do we want to mix in REUSE-Parameters?

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,
                                                    com.ibm.wala.util.ssa.SSAValue.VariableKey key)

Creates a new instance of android/content/Context.

createContextWrapper

public com.ibm.wala.util.ssa.SSAValue createContextWrapper(com.ibm.wala.types.TypeReference T,
                                                           com.ibm.wala.util.ssa.SSAValue.VariableKey key)

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