Class AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor

com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

All Implemented Interfaces:

AstInstructionVisitor, SSAInstruction.IVisitor

Direct Known Subclasses:

AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor, JSSSAPropagationCallGraphBuilder.JSConstraintVisitor

Enclosing class:

AstSSAPropagationCallGraphBuilder

protected static class AstSSAPropagationCallGraphBuilder.AstConstraintVisitor
extends SSAPropagationCallGraphBuilder.ConstraintVisitor
implements AstInstructionVisitor

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.FieldReadAction
protected static interface	AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction

Nested classes/interfaces inherited from class SSAPropagationCallGraphBuilder.ConstraintVisitor

SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer, SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer

Modifier and Type	Class	Description
class	SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer
protected static interface	SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer

Field Summary

Fields inherited from class SSAPropagationCallGraphBuilder.ConstraintVisitor

basicBlock, builder, du, ir, node, symbolTable, system

Modifier and Type	Field	Description
protected ISSABasicBlock	basicBlock	The basic block currently being processed
protected final SSAPropagationCallGraphBuilder	builder	The governing call graph builder.
protected final DefUse	du	Def-use information
protected final IRView	ir	The governing IR
protected final CGNode	node	The node whose statements we are currently traversing
protected final SymbolTable	symbolTable	Governing symbol table
protected final PropagationSystem	system	The governing propagation system, into which constraints are added

Constructor Summary

Constructors

Constructor	Description
AstConstraintVisitor(AstSSAPropagationCallGraphBuilder builder, CGNode node)

Method Summary

Modifier and Type	Method	Description
protected AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction	fieldReadAction(PointerKey lhs)
protected AstSSAPropagationCallGraphBuilder	getBuilder()
PointerKey	getPointerKeyForObjectCatalog(InstanceKey I)
Iterator<PointerKey>	getPointerKeysForReflectedFieldRead(InstanceKey I, InstanceKey F)
Iterator<PointerKey>	getPointerKeysForReflectedFieldWrite(InstanceKey I, InstanceKey F)
protected void	newFieldFullOperation(boolean isLoadOperation, AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action, PointerKey objKey, PointerKey fieldKey)
protected void	newFieldOperation(CGNode opNode, int objVn, int fieldsVn, boolean isLoadOperation, AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action)
protected void	newFieldOperationFieldConstant(CGNode opNode, boolean isLoadOperation, AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action, int objVn, InstanceKey[] fieldsKeys)
protected void	newFieldOperationObjectAndFieldConstant(boolean isLoadOperation, AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action, InstanceKey[] objKeys, InstanceKey[] fieldsKeys)
protected void	newFieldOperationOnlyFieldConstant(boolean isLoadOperation, AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action, PointerKey objKey, InstanceKey[] fieldsKeys)
protected void	newFieldOperationOnlyObjectConstant(boolean isLoadOperation, AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action, PointerKey fieldKey, InstanceKey[] objKeys)
protected void	newFieldRead(CGNode opNode, int objVn, int fieldsVn, int lhsVn)
protected void	newFieldRead(CGNode opNode, int objVn, int fieldsVn, PointerKey lhs)
void	newFieldWrite(CGNode opNode, int objVn, int fieldsVn, int rhsVn)
void	newFieldWrite(CGNode opNode, int objVn, int fieldsVn, InstanceKey[] rhsFixedValues)
void	newFieldWrite(CGNode opNode, int objVn, int fieldsVn, PointerKey rhs)
void	newFieldWrite(CGNode opNode, int objVn, InstanceKey[] fieldKeys, InstanceKey[] rhsValues)
void	newFieldWrite(CGNode opNode, int objVn, InstanceKey[] fieldKeys, PointerKey rhs)
void	visitAstGlobalRead(AstGlobalRead instruction)
void	visitAstGlobalWrite(AstGlobalWrite instruction)
void	visitAstLexicalRead(AstLexicalRead instruction)
void	visitAstLexicalWrite(AstLexicalWrite instruction)
void	visitEachElementGet(EachElementGetInstruction inst)
void	visitPropertyRead(AstPropertyRead instruction)
void	visitPropertyWrite(AstPropertyWrite instruction)
void	visitPut(SSAPutInstruction inst)

Methods inherited from class SSAPropagationCallGraphBuilder.ConstraintVisitor

contentsAreInvariant, contentsAreInvariant, doVisitArrayLoad, doVisitArrayStore, getAnalysisCache, getBasicBlock, getClassHierarchy, getFilteredPointerKeyForLocal, getInstanceKeyForAllocation, getInstanceKeyForClassObject, getInstanceKeyForConstant, getInstanceKeyForMultiNewArray, getInstanceKeyForPEI, getInvariantContents, getInvariantContents, getOptions, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField, getTargetForCall, hasNoInterestingUses, isRootType, processClassInitializer, processPutField, processPutStatic, setBasicBlock, visitArrayLoad, visitArrayStore, visitCheckCast, visitGet, visitGetCaughtException, visitGetInternal, visitInvoke, visitInvokeInternal, visitLoadMetadata, visitNew, visitPhi, visitPi, visitPutInternal, visitReturn, visitThrow

Modifier and Type	Method	Description
protected boolean	contentsAreInvariant(SymbolTable symbolTable, DefUse du, int valueNumber)
protected boolean	contentsAreInvariant(SymbolTable symbolTable, DefUse du, int[] valueNumber)
protected void	doVisitArrayLoad(int def, int arrayRef)
void	doVisitArrayStore(int arrayRef, int value)
protected IAnalysisCacheView	getAnalysisCache()
ISSABasicBlock	getBasicBlock()
protected IClassHierarchy	getClassHierarchy()
FilteredPointerKey	getFilteredPointerKeyForLocal(int valueNumber, FilteredPointerKey.TypeFilter filter)
InstanceKey	getInstanceKeyForAllocation(NewSiteReference allocation)
InstanceKey	getInstanceKeyForClassObject(Object obj, TypeReference type)
<T> InstanceKey	getInstanceKeyForConstant(T S)
InstanceKey	getInstanceKeyForMultiNewArray(NewSiteReference allocation, int dim)
InstanceKey	getInstanceKeyForPEI(ProgramCounter instr, TypeReference type)
protected InstanceKey[]	getInvariantContents(int valueNumber)
protected InstanceKey[]	getInvariantContents(SymbolTable symbolTable, DefUse du, CGNode node, int valueNumber)
protected AnalysisOptions	getOptions()
PointerKey	getPointerKeyForArrayContents(InstanceKey I)
PointerKey	getPointerKeyForExceptionalReturnValue()
PointerKey	getPointerKeyForInstanceField(InstanceKey I, IField f)
PointerKey	getPointerKeyForLocal(int valueNumber)
PointerKey	getPointerKeyForReturnValue()
PointerKey	getPointerKeyForStaticField(IField f)
CGNode	getTargetForCall(CGNode caller, CallSiteReference site, IClass recv, InstanceKey[] iKey)
protected boolean	hasNoInterestingUses(int vn)
protected boolean	isRootType(IClass klass)
protected void	processClassInitializer(IClass klass)	TODO: lift most of this logic to PropagationCallGraphBuilder
void	processPutField(int rval, int ref, IField f)
protected void	processPutStatic(int rval, FieldReference field, IField f)
void	setBasicBlock(ISSABasicBlock block)	The calling loop must call this in each iteration!
void	visitArrayLoad(SSAArrayLoadInstruction instruction)
void	visitArrayStore(SSAArrayStoreInstruction instruction)
void	visitCheckCast(SSACheckCastInstruction instruction)
void	visitGet(SSAGetInstruction instruction)
void	visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)
protected void	visitGetInternal(int lval, int ref, boolean isStatic, FieldReference field)
void	visitInvoke(SSAInvokeInstruction instruction)
protected void	visitInvokeInternal(SSAAbstractInvokeInstruction instruction, SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer invs)
void	visitLoadMetadata(SSALoadMetadataInstruction instruction)
void	visitNew(SSANewInstruction instruction)
void	visitPhi(SSAPhiInstruction instruction)
void	visitPi(SSAPiInstruction instruction)
void	visitPutInternal(int rval, int ref, boolean isStatic, FieldReference field)
void	visitReturn(SSAReturnInstruction instruction)
void	visitThrow(SSAThrowInstruction instruction)

Methods inherited from class Object

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

Methods inherited from interface AstInstructionVisitor

visitAssert, visitEachElementHasNext, visitEcho, visitIsDefined, visitYield

Modifier and Type	Method	Description
default void	visitAssert(AstAssertInstruction instruction)
default void	visitEachElementHasNext(EachElementHasNextInstruction inst)
default void	visitEcho(AstEchoInstruction inst)
default void	visitIsDefined(AstIsDefinedInstruction inst)
default void	visitYield(AstYieldInstruction inst)

Methods inherited from interface SSAInstruction.IVisitor

visitArrayLength, visitBinaryOp, visitComparison, visitConditionalBranch, visitConversion, visitGoto, visitInstanceof, visitMonitor, visitSwitch, visitUnaryOp

Modifier and Type	Method	Description
default void	visitArrayLength(SSAArrayLengthInstruction instruction)
default void	visitBinaryOp(SSABinaryOpInstruction instruction)
default void	visitComparison(SSAComparisonInstruction instruction)
default void	visitConditionalBranch(SSAConditionalBranchInstruction instruction)
default void	visitConversion(SSAConversionInstruction instruction)
default void	visitGoto(SSAGotoInstruction instruction)
default void	visitInstanceof(SSAInstanceofInstruction instruction)
default void	visitMonitor(SSAMonitorInstruction instruction)
default void	visitSwitch(SSASwitchInstruction instruction)
default void	visitUnaryOp(SSAUnaryOpInstruction instruction)

Constructor Details

AstConstraintVisitor

public AstConstraintVisitor(AstSSAPropagationCallGraphBuilder builder,
 CGNode node)

Method Details

getBuilder

protected AstSSAPropagationCallGraphBuilder getBuilder()

Overrides:

getBuilder in class SSAPropagationCallGraphBuilder.ConstraintVisitor

getPointerKeyForObjectCatalog

public PointerKey getPointerKeyForObjectCatalog(InstanceKey I)

getPointerKeysForReflectedFieldRead

public Iterator<PointerKey> getPointerKeysForReflectedFieldRead(InstanceKey I,
 InstanceKey F)

getPointerKeysForReflectedFieldWrite

public Iterator<PointerKey> getPointerKeysForReflectedFieldWrite(InstanceKey I,
 InstanceKey F)

visitPropertyRead

public void visitPropertyRead(AstPropertyRead instruction)

Specified by:

visitPropertyRead in interface AstInstructionVisitor

visitPropertyWrite

public void visitPropertyWrite(AstPropertyWrite instruction)

Specified by:

visitPropertyWrite in interface AstInstructionVisitor

visitAstLexicalRead

public void visitAstLexicalRead(AstLexicalRead instruction)

Specified by:

visitAstLexicalRead in interface AstInstructionVisitor

visitAstLexicalWrite

public void visitAstLexicalWrite(AstLexicalWrite instruction)

Specified by:

visitAstLexicalWrite in interface AstInstructionVisitor

visitAstGlobalRead

public void visitAstGlobalRead(AstGlobalRead instruction)

Specified by:

visitAstGlobalRead in interface AstInstructionVisitor

visitAstGlobalWrite

public void visitAstGlobalWrite(AstGlobalWrite instruction)

Specified by:

visitAstGlobalWrite in interface AstInstructionVisitor

visitPut

public void visitPut(SSAPutInstruction inst)

Specified by:

visitPut in interface SSAInstruction.IVisitor

Overrides:

visitPut in class SSAPropagationCallGraphBuilder.ConstraintVisitor

visitEachElementGet

public void visitEachElementGet(EachElementGetInstruction inst)

Specified by:

visitEachElementGet in interface AstInstructionVisitor

newFieldOperation

protected void newFieldOperation(CGNode opNode,
 int objVn,
 int fieldsVn,
 boolean isLoadOperation,
 AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action)

newFieldOperationFieldConstant

protected void newFieldOperationFieldConstant(CGNode opNode,
 boolean isLoadOperation,
 AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action,
 int objVn,
 InstanceKey[] fieldsKeys)

newFieldFullOperation

protected void newFieldFullOperation(boolean isLoadOperation,
 AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action,
 PointerKey objKey,
 PointerKey fieldKey)

newFieldOperationOnlyFieldConstant

protected void newFieldOperationOnlyFieldConstant(boolean isLoadOperation,
 AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action,
 PointerKey objKey,
 InstanceKey[] fieldsKeys)

newFieldOperationOnlyObjectConstant

protected void newFieldOperationOnlyObjectConstant(boolean isLoadOperation,
 AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action,
 PointerKey fieldKey,
 InstanceKey[] objKeys)

newFieldOperationObjectAndFieldConstant

protected void newFieldOperationObjectAndFieldConstant(boolean isLoadOperation,
 AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action,
 InstanceKey[] objKeys,
 InstanceKey[] fieldsKeys)

newFieldWrite

public void newFieldWrite(CGNode opNode,
 int objVn,
 int fieldsVn,
 int rhsVn)

newFieldWrite

public void newFieldWrite(CGNode opNode,
 int objVn,
 int fieldsVn,
 InstanceKey[] rhsFixedValues)

newFieldWrite

public void newFieldWrite(CGNode opNode,
 int objVn,
 InstanceKey[] fieldKeys,
 InstanceKey[] rhsValues)

newFieldWrite

public void newFieldWrite(CGNode opNode,
 int objVn,
 int fieldsVn,
 PointerKey rhs)

newFieldWrite

public void newFieldWrite(CGNode opNode,
 int objVn,
 InstanceKey[] fieldKeys,
 PointerKey rhs)

newFieldRead

protected void newFieldRead(CGNode opNode,
 int objVn,
 int fieldsVn,
 int lhsVn)

fieldReadAction

protected AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction fieldReadAction(PointerKey lhs)

newFieldRead

protected void newFieldRead(CGNode opNode,
 int objVn,
 int fieldsVn,
 PointerKey lhs)