com.ibm.wala.cast.ipa.callgraph

Class AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

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

All Implemented Interfaces:

AstInstructionVisitor, com.ibm.wala.ssa.SSAInstruction.IVisitor

Enclosing class:

AstSSAPropagationCallGraphBuilder

protected static class AstSSAPropagationCallGraphBuilder.AstConstraintVisitor
extends com.ibm.wala.ssa.SSAInstruction.Visitor
implements AstInstructionVisitor

Nested Class Summary

Nested Classes

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

Constructor Summary

Constructors

Constructor and Description
AstConstraintVisitor(AstSSAPropagationCallGraphBuilder builder, com.ibm.wala.ipa.callgraph.CGNode node)

Method Summary

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

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 Detail

AstConstraintVisitor

public AstConstraintVisitor(AstSSAPropagationCallGraphBuilder builder,
                            com.ibm.wala.ipa.callgraph.CGNode node)

Method Detail

getBuilder

protected AstSSAPropagationCallGraphBuilder getBuilder()

getPointerKeyForObjectCatalog

public com.ibm.wala.ipa.callgraph.propagation.PointerKey getPointerKeyForObjectCatalog(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I)

getPointerKeysForReflectedFieldRead

public java.util.Iterator<com.ibm.wala.ipa.callgraph.propagation.PointerKey> getPointerKeysForReflectedFieldRead(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I,
                                                                                                                 com.ibm.wala.ipa.callgraph.propagation.InstanceKey F)

getPointerKeysForReflectedFieldWrite

public java.util.Iterator<com.ibm.wala.ipa.callgraph.propagation.PointerKey> getPointerKeysForReflectedFieldWrite(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I,
                                                                                                                  com.ibm.wala.ipa.callgraph.propagation.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(com.ibm.wala.ssa.SSAPutInstruction inst)

Specified by:

visitPut in interface com.ibm.wala.ssa.SSAInstruction.IVisitor

visitAssert

public void visitAssert(AstAssertInstruction instruction)

Specified by:

visitAssert in interface AstInstructionVisitor

visitEachElementHasNext

public void visitEachElementHasNext(EachElementHasNextInstruction inst)

Specified by:

visitEachElementHasNext in interface AstInstructionVisitor

visitEachElementGet

public void visitEachElementGet(EachElementGetInstruction inst)

Specified by:

visitEachElementGet in interface AstInstructionVisitor

visitIsDefined

public void visitIsDefined(AstIsDefinedInstruction inst)

Specified by:

visitIsDefined in interface AstInstructionVisitor

visitEcho

public void visitEcho(AstEchoInstruction inst)

Specified by:

visitEcho in interface AstInstructionVisitor

newFieldOperationFieldConstant

protected void newFieldOperationFieldConstant(com.ibm.wala.ipa.callgraph.CGNode opNode,
                                              boolean isLoadOperation,
                                              AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action,
                                              int objVn,
                                              com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] fieldsKeys)

newFieldFullOperation

protected void newFieldFullOperation(boolean isLoadOperation,
                                     AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action,
                                     com.ibm.wala.ipa.callgraph.propagation.PointerKey objKey,
                                     com.ibm.wala.ipa.callgraph.propagation.PointerKey fieldKey)

newFieldOperationOnlyFieldConstant

protected void newFieldOperationOnlyFieldConstant(boolean isLoadOperation,
                                                  AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action,
                                                  com.ibm.wala.ipa.callgraph.propagation.PointerKey objKey,
                                                  com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] fieldsKeys)

newFieldOperationOnlyObjectConstant

protected void newFieldOperationOnlyObjectConstant(boolean isLoadOperation,
                                                   AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action,
                                                   com.ibm.wala.ipa.callgraph.propagation.PointerKey fieldKey,
                                                   com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] objKeys)

newFieldOperationObjectAndFieldConstant

protected void newFieldOperationObjectAndFieldConstant(boolean isLoadOperation,
                                                       AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction action,
                                                       com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] objKeys,
                                                       com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] fieldsKeys)

newFieldWrite

public void newFieldWrite(com.ibm.wala.ipa.callgraph.CGNode opNode,
                          int objVn,
                          int fieldsVn,
                          int rhsVn)

newFieldWrite

public void newFieldWrite(com.ibm.wala.ipa.callgraph.CGNode opNode,
                          int objVn,
                          int fieldsVn,
                          com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] rhsFixedValues)

newFieldWrite

public void newFieldWrite(com.ibm.wala.ipa.callgraph.CGNode opNode,
                          int objVn,
                          com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] fieldKeys,
                          com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] rhsValues)

newFieldWrite

public void newFieldWrite(com.ibm.wala.ipa.callgraph.CGNode opNode,
                          int objVn,
                          int fieldsVn,
                          com.ibm.wala.ipa.callgraph.propagation.PointerKey rhs)

newFieldWrite

public void newFieldWrite(com.ibm.wala.ipa.callgraph.CGNode opNode,
                          int objVn,
                          com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] fieldKeys,
                          com.ibm.wala.ipa.callgraph.propagation.PointerKey rhs)

newFieldRead

protected void newFieldRead(com.ibm.wala.ipa.callgraph.CGNode opNode,
                            int objVn,
                            int fieldsVn,
                            int lhsVn)

fieldReadAction

protected AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction fieldReadAction(com.ibm.wala.ipa.callgraph.propagation.PointerKey lhs)

newFieldRead

protected void newFieldRead(com.ibm.wala.ipa.callgraph.CGNode opNode,
                            int objVn,
                            int fieldsVn,
                            com.ibm.wala.ipa.callgraph.propagation.PointerKey lhs)