com.ibm.wala.analysis.reflection

Class FactoryBypassInterpreter

java.lang.Object

com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter

com.ibm.wala.analysis.reflection.FactoryBypassInterpreter

All Implemented Interfaces:

CHAContextInterpreter, RTAContextInterpreter, SSAContextInterpreter

public class FactoryBypassInterpreter
extends AbstractReflectionInterpreter

Logic to interpret "factory" methods in context.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	FactoryBypassInterpreter.SpecializedFactoryMethod

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

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

Field Summary

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

cache, CONE_BOUND, DEBUG, indexLocal, options, typeIndexMap

Constructor Summary

Constructors

Constructor and Description
FactoryBypassInterpreter(AnalysisOptions options, AnalysisCache cache)

Method Summary

Methods

Modifier and Type	Method and Description
Set	getCaughtExceptions(CGNode node)
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	getCFG(CGNode N)
DefUse	getDU(CGNode node)
Iterator<SSAInstruction>	getInvokeStatements(CGNode node)
IR	getIR(CGNode node)
int	getNumberOfStatements(CGNode node)
boolean	hasObjectArrayLoad(CGNode node)
boolean	hasObjectArrayStore(CGNode node)
Iterator<CallSiteReference>	iterateCallSites(CGNode node)
Iterator	iterateCastTypes(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	recordType(IClassHierarchy cha, Context context, TypeReference type)
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

Constructor Detail

FactoryBypassInterpreter

public FactoryBypassInterpreter(AnalysisOptions options,
                        AnalysisCache cache)

Parameters:

options - governing analysis options

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

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 Iterator<NewSiteReference> iterateNewSites(CGNode node)

Returns:

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

getInvokeStatements

public Iterator<SSAInstruction> getInvokeStatements(CGNode node)

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

recordType

public boolean recordType(IClassHierarchy cha,
                 Context context,
                 TypeReference type)

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

getCaughtExceptions

public Set getCaughtExceptions(CGNode node)

hasObjectArrayLoad

public boolean hasObjectArrayLoad(CGNode node)

hasObjectArrayStore

public boolean hasObjectArrayStore(CGNode node)

iterateCastTypes

public Iterator iterateCastTypes(CGNode node)

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