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 AbstractReflectionInterpreter

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

Field Summary

Fields

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

Fields inherited from class AbstractReflectionInterpreter

CONE_BOUND, DEBUG, indexLocal, options, typeIndexMap

Constructor Summary

Constructors

Constructor	Description
ReflectiveInvocationInterpreter()

Method Summary

Modifier and Type	Method	Description
ControlFlowGraph<SSAInstruction, ISSABasicBlock>	getCFG(CGNode N)
DefUse	getDU(CGNode node)
IR	getIR(CGNode node)
IRView	getIRView(CGNode node)
int	getNumberOfStatements(CGNode node)
Iterator<CallSiteReference>	iterateCallSites(CGNode node)
Iterator<FieldReference>	iterateFieldsRead(CGNode node)
Iterator<FieldReference>	iterateFieldsWritten(CGNode node)
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 AbstractReflectionInterpreter

getCallSiteForType, getExceptionsForType, getLocalForType, getNewSiteForType, typeRef2TypeAbstraction

Methods inherited from class Object

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

Field Details

CTOR_NEW_INSTANCE

public static final MethodReference CTOR_NEW_INSTANCE

METHOD_INVOKE

public static final MethodReference METHOD_INVOKE

Constructor Details

ReflectiveInvocationInterpreter

public ReflectiveInvocationInterpreter()

Method Details

getIR

public IR getIR(CGNode node)

Returns:

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

See Also:

• SSAContextInterpreter.getIR(com.ibm.wala.ipa.callgraph.CGNode)

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.

See Also:

• SSAContextInterpreter.getNumberOfStatements(com.ibm.wala.ipa.callgraph.CGNode)

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.

See Also:

• CHAContextInterpreter.understands(com.ibm.wala.ipa.callgraph.CGNode)

iterateNewSites

public Iterator<NewSiteReference> iterateNewSites(CGNode node)

Returns:

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

See Also:

• RTAContextInterpreter.iterateNewSites(com.ibm.wala.ipa.callgraph.CGNode)

iterateCallSites

public Iterator<CallSiteReference> iterateCallSites(CGNode node)

Returns:

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

See Also:

• CHAContextInterpreter.iterateCallSites(com.ibm.wala.ipa.callgraph.CGNode)

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 Iterator<FieldReference> iterateFieldsRead(CGNode node)

Returns:

iterator of FieldReference

iterateFieldsWritten

public 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