com.ibm.wala.analysis.reflection

Class ReflectiveInvocationInterpreter

java.lang.Object

com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter

com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter

All Implemented Interfaces:

CHAContextInterpreter, RTAContextInterpreter, SSAContextInterpreter

public class ReflectiveInvocationInterpreter
extends AbstractReflectionInterpreter

An SSAContextInterpreter specialized to interpret reflective invocations such as Constructor.newInstance and Method.invoke on an IMethod constant.

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter

AbstractReflectionInterpreter.IgnoreSerializableWarning, AbstractReflectionInterpreter.ManySubtypesWarning, AbstractReflectionInterpreter.NoSubtypesWarning, AbstractReflectionInterpreter.SpecializedMethod

Field Summary

Fields

Modifier and Type	Field and Description
static MethodReference	CTOR_NEW_INSTANCE
static MethodReference	METHOD_INVOKE

Fields inherited from class com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter

CONE_BOUND, DEBUG, indexLocal, options, typeIndexMap

Constructor Summary

Constructors

Constructor and Description
ReflectiveInvocationInterpreter()

Method Summary

Modifier and Type	Method and Description
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	getCFG(CGNode N)
DefUse	getDU(CGNode node)
IR	getIR(CGNode node)
IRView	getIRView(CGNode node)
int	getNumberOfStatements(CGNode node)
java.util.Iterator<CallSiteReference>	iterateCallSites(CGNode node)
java.util.Iterator<FieldReference>	iterateFieldsRead(CGNode node)
java.util.Iterator<FieldReference>	iterateFieldsWritten(CGNode node)
java.util.Iterator<NewSiteReference>	iterateNewSites(CGNode node)
boolean	recordFactoryType(CGNode node, IClass klass) record that the "factory" method of a node should be interpreted to allocate a particular class.
boolean	understands(CGNode node) Does this object understand the given method? The caller had better check this before inquiring on other properties.

Methods inherited from class com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter

getCallSiteForType, getExceptionsForType, getLocalForType, getNewSiteForType, typeRef2TypeAbstraction

Methods inherited from class java.lang.Object

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

Field Detail

CTOR_NEW_INSTANCE

public static final MethodReference CTOR_NEW_INSTANCE

METHOD_INVOKE

public static final MethodReference METHOD_INVOKE

Constructor Detail

ReflectiveInvocationInterpreter

public ReflectiveInvocationInterpreter()

Method Detail

getIR

public IR getIR(CGNode node)

Returns:

the IR that models the method context, or null if it's an unmodelled native method

getIRView

public IRView getIRView(CGNode node)

getNumberOfStatements

public int getNumberOfStatements(CGNode node)

Returns:

the number of the statements in the IR, or -1 if it's an unmodelled native method.

understands

public boolean understands(CGNode node)

Description copied from interface: CHAContextInterpreter

Does this object understand the given method? The caller had better check this before inquiring on other properties.

iterateNewSites

public java.util.Iterator<NewSiteReference> iterateNewSites(CGNode node)

Returns:

an Iterator of the types that may be allocated by a given method in a given context.

iterateCallSites

public java.util.Iterator<CallSiteReference> iterateCallSites(CGNode node)

Returns:

an Iterator of the call statements that may execute in a given method for a given context

recordFactoryType

public boolean recordFactoryType(CGNode node,
                                 IClass klass)

Description copied from interface: RTAContextInterpreter

record that the "factory" method of a node should be interpreted to allocate a particular class.

TODO: this is a little ugly, is there a better place to move this?

Returns:

true iff a NEW type was recorded, false if the type was previously recorded.

iterateFieldsRead

public java.util.Iterator<FieldReference> iterateFieldsRead(CGNode node)

Returns:

iterator of FieldReference

iterateFieldsWritten

public java.util.Iterator<FieldReference> iterateFieldsWritten(CGNode node)

Returns:

iterator of FieldReference

getCFG

public ControlFlowGraph<SSAInstruction,ISSABasicBlock> getCFG(CGNode N)

getDU

public DefUse getDU(CGNode node)

Returns:

DefUse for the IR that models the method context, or null if it's an unmodelled native method