Class JSSSAPropagationCallGraphBuilder.JSConstraintVisitor

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

com.ibm.wala.cast.js.ipa.callgraph.JSSSAPropagationCallGraphBuilder.JSConstraintVisitor

All Implemented Interfaces:

AstInstructionVisitor, JSInstructionVisitor, SSAInstruction.IVisitor

Enclosing class:

JSSSAPropagationCallGraphBuilder

public static class JSSSAPropagationCallGraphBuilder.JSConstraintVisitor
extends AstSSAPropagationCallGraphBuilder.AstConstraintVisitor
implements JSInstructionVisitor

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.FieldReadAction, AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction

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

Constructors

Constructor	Description
JSConstraintVisitor(AstSSAPropagationCallGraphBuilder builder, CGNode node)

Method Summary

Modifier and Type	Method	Description
void	visitAstGlobalRead(AstGlobalRead instruction)
void	visitAstGlobalWrite(AstGlobalWrite instruction)
void	visitBinaryOp(SSABinaryOpInstruction instruction)
void	visitCheckRef(JavaScriptCheckReference instruction)
void	visitEachElementHasNext(EachElementHasNextInstruction inst)
void	visitIsDefined(AstIsDefinedInstruction inst)
void	visitJavaScriptInstanceOf(JavaScriptInstanceOf inst)
void	visitJavaScriptInvoke(JavaScriptInvoke instruction)
void	visitPrototypeLookup(PrototypeLookup instruction)
void	visitSetPrototype(SetPrototype instruction)
void	visitTypeOf(JavaScriptTypeOfInstruction instruction)
void	visitUnaryOp(SSAUnaryOpInstruction inst)
void	visitWithRegion(JavaScriptWithRegion instruction)

Methods inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

fieldReadAction, getBuilder, getPointerKeyForObjectCatalog, getPointerKeysForReflectedFieldRead, getPointerKeysForReflectedFieldWrite, newFieldFullOperation, newFieldOperationFieldConstant, newFieldOperationObjectAndFieldConstant, newFieldOperationOnlyFieldConstant, newFieldOperationOnlyObjectConstant, newFieldRead, newFieldRead, newFieldWrite, newFieldWrite, newFieldWrite, newFieldWrite, newFieldWrite, visitAssert, visitAstLexicalRead, visitAstLexicalWrite, visitEachElementGet, visitEcho, visitPropertyRead, visitPropertyWrite, visitPut

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, visitComparison, visitConditionalBranch, visitConversion, visitGoto, visitInstanceof, visitMonitor, visitSwitch

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

visitAssert, visitAstLexicalRead, visitAstLexicalWrite, visitEachElementGet, visitEcho, visitPropertyRead, visitPropertyWrite, visitYield

Methods inherited from interface com.ibm.wala.ssa.SSAInstruction.IVisitor

visitArrayLength, visitArrayLoad, visitArrayStore, visitCheckCast, visitComparison, visitConditionalBranch, visitConversion, visitGet, visitGetCaughtException, visitGoto, visitInstanceof, visitInvoke, visitLoadMetadata, visitMonitor, visitNew, visitPhi, visitPi, visitPut, visitReturn, visitSwitch, visitThrow

Constructor Details

JSConstraintVisitor

public JSConstraintVisitor(AstSSAPropagationCallGraphBuilder builder,
 CGNode node)

Method Details

visitUnaryOp

public void visitUnaryOp(SSAUnaryOpInstruction inst)

Specified by:

visitUnaryOp in interface SSAInstruction.IVisitor

Overrides:

visitUnaryOp in class SSAInstruction.Visitor

visitIsDefined

public void visitIsDefined(AstIsDefinedInstruction inst)

Specified by:

visitIsDefined in interface AstInstructionVisitor

Overrides:

visitIsDefined in class AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

visitJavaScriptInstanceOf

public void visitJavaScriptInstanceOf(JavaScriptInstanceOf inst)

Specified by:

visitJavaScriptInstanceOf in interface JSInstructionVisitor

visitEachElementHasNext

public void visitEachElementHasNext(EachElementHasNextInstruction inst)

Specified by:

visitEachElementHasNext in interface AstInstructionVisitor

Overrides:

visitEachElementHasNext in class AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

visitTypeOf

public void visitTypeOf(JavaScriptTypeOfInstruction instruction)

Specified by:

visitTypeOf in interface JSInstructionVisitor

visitAstGlobalRead

public void visitAstGlobalRead(AstGlobalRead instruction)

Specified by:

visitAstGlobalRead in interface AstInstructionVisitor

Overrides:

visitAstGlobalRead in class AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

visitAstGlobalWrite

public void visitAstGlobalWrite(AstGlobalWrite instruction)

Specified by:

visitAstGlobalWrite in interface AstInstructionVisitor

Overrides:

visitAstGlobalWrite in class AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

visitBinaryOp

public void visitBinaryOp(SSABinaryOpInstruction instruction)

Specified by:

visitBinaryOp in interface SSAInstruction.IVisitor

Overrides:

visitBinaryOp in class SSAInstruction.Visitor

visitJavaScriptInvoke

public void visitJavaScriptInvoke(JavaScriptInvoke instruction)

Specified by:

visitJavaScriptInvoke in interface JSInstructionVisitor

visitCheckRef

public void visitCheckRef(JavaScriptCheckReference instruction)

Specified by:

visitCheckRef in interface JSInstructionVisitor

visitWithRegion

public void visitWithRegion(JavaScriptWithRegion instruction)

Specified by:

visitWithRegion in interface JSInstructionVisitor

visitSetPrototype

public void visitSetPrototype(SetPrototype instruction)

Specified by:

visitSetPrototype in interface JSInstructionVisitor

visitPrototypeLookup

public void visitPrototypeLookup(PrototypeLookup instruction)

Specified by:

visitPrototypeLookup in interface JSInstructionVisitor