Package com.ibm.wala.analysis.reflection
Class ClassNewInstanceContextInterpreter
- java.lang.Object
-
- com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter
-
- com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
-
- All Implemented Interfaces:
CHAContextInterpreter
,RTAContextInterpreter
,SSAContextInterpreter
public class ClassNewInstanceContextInterpreter extends AbstractReflectionInterpreter
AnSSAContextInterpreter
specialized to interpret Class.newInstance in aJavaTypeContext
which represents the point-type of the class object created by the call.
-
-
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 MethodReference
CLASS_NEW_INSTANCE_REF
static Atom
newInstanceAtom
-
Fields inherited from class com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter
CONE_BOUND, DEBUG, indexLocal, options, typeIndexMap
-
-
Constructor Summary
Constructors Constructor Description ClassNewInstanceContextInterpreter(IClassHierarchy cha)
END Custom change: caching
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ControlFlowGraph<SSAInstruction,ISSABasicBlock>
getCFG(CGNode N)
DefUse
getDU(CGNode node)
IR
getIR(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
-
-
-
-
Field Detail
-
newInstanceAtom
public static final Atom newInstanceAtom
-
CLASS_NEW_INSTANCE_REF
public static final MethodReference CLASS_NEW_INSTANCE_REF
-
-
Constructor Detail
-
ClassNewInstanceContextInterpreter
public ClassNewInstanceContextInterpreter(IClassHierarchy cha)
END Custom change: caching
-
-
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.
-
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
-
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)
-
-