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
Modifier and TypeClassDescriptionprotected class
protected static interface
Nested classes/interfaces inherited from class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor
SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer, SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer
-
Field Summary
Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor
basicBlock, builder, du, ir, node, symbolTable, system
-
Constructor Summary
ConstructorDescriptionAstConstraintVisitor
(AstSSAPropagationCallGraphBuilder builder, CGNode node) -
Method Summary
Modifier and TypeMethodDescriptionprotected AstSSAPropagationCallGraphBuilder
protected void
newFieldFullOperation
(boolean isLoadOperation, AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action, PointerKey objKey, PointerKey fieldKey) 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
visitAssert
(AstAssertInstruction instruction) void
visitAstGlobalRead
(AstGlobalRead instruction) void
visitAstGlobalWrite
(AstGlobalWrite instruction) void
visitAstLexicalRead
(AstLexicalRead instruction) void
visitAstLexicalWrite
(AstLexicalWrite instruction) void
void
void
visitEcho
(AstEchoInstruction inst) void
void
visitPropertyRead
(AstPropertyRead instruction) void
visitPropertyWrite
(AstPropertyWrite instruction) void
visitPut
(SSAPutInstruction inst) Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.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
Methods inherited from class com.ibm.wala.ssa.SSAInstruction.Visitor
visitArrayLength, visitBinaryOp, visitComparison, visitConditionalBranch, visitConversion, visitGoto, visitInstanceof, visitMonitor, visitSwitch, visitUnaryOp
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface com.ibm.wala.cast.ir.ssa.AstInstructionVisitor
visitYield
Methods inherited from interface com.ibm.wala.ssa.SSAInstruction.IVisitor
visitArrayLength, visitArrayLoad, visitArrayStore, visitBinaryOp, visitCheckCast, visitComparison, visitConditionalBranch, visitConversion, visitGet, visitGetCaughtException, visitGoto, visitInstanceof, visitInvoke, visitLoadMetadata, visitMonitor, visitNew, visitPhi, visitPi, visitReturn, visitSwitch, visitThrow, visitUnaryOp
-
Constructor Details
-
AstConstraintVisitor
-
-
Method Details
-
getBuilder
- Overrides:
getBuilder
in classSSAPropagationCallGraphBuilder.ConstraintVisitor
-
getPointerKeyForObjectCatalog
-
getPointerKeysForReflectedFieldRead
-
getPointerKeysForReflectedFieldWrite
-
visitPropertyRead
- Specified by:
visitPropertyRead
in interfaceAstInstructionVisitor
-
visitPropertyWrite
- Specified by:
visitPropertyWrite
in interfaceAstInstructionVisitor
-
visitAstLexicalRead
- Specified by:
visitAstLexicalRead
in interfaceAstInstructionVisitor
-
visitAstLexicalWrite
- Specified by:
visitAstLexicalWrite
in interfaceAstInstructionVisitor
-
visitAstGlobalRead
- Specified by:
visitAstGlobalRead
in interfaceAstInstructionVisitor
-
visitAstGlobalWrite
- Specified by:
visitAstGlobalWrite
in interfaceAstInstructionVisitor
-
visitPut
- Specified by:
visitPut
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPut
in classSSAPropagationCallGraphBuilder.ConstraintVisitor
-
visitAssert
- Specified by:
visitAssert
in interfaceAstInstructionVisitor
-
visitEachElementHasNext
- Specified by:
visitEachElementHasNext
in interfaceAstInstructionVisitor
-
visitEachElementGet
- Specified by:
visitEachElementGet
in interfaceAstInstructionVisitor
-
visitIsDefined
- Specified by:
visitIsDefined
in interfaceAstInstructionVisitor
-
visitEcho
- Specified by:
visitEcho
in interfaceAstInstructionVisitor
-
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
-
newFieldWrite
-
newFieldWrite
public void newFieldWrite(CGNode opNode, int objVn, InstanceKey[] fieldKeys, InstanceKey[] rhsValues) -
newFieldWrite
-
newFieldWrite
-
newFieldRead
-
fieldReadAction
protected AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction fieldReadAction(PointerKey lhs) -
newFieldRead
-