Package 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	Description
static final MethodReference	CTOR_NEW_INSTANCE
static final MethodReference	METHOD_INVOKE

Fields inherited from class com.ibm.wala.analysis.reflection.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 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 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