Class SSAPropagationCallGraphBuilder.ConstraintVisitor

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

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

All Implemented Interfaces:

SSAInstruction.IVisitor

Direct Known Subclasses:

AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

Enclosing class:

SSAPropagationCallGraphBuilder

protected static class SSAPropagationCallGraphBuilder.ConstraintVisitor
extends SSAInstruction.Visitor

A visitor that generates constraints based on statements in SSA form.

Nested Class Summary

Nested Classes

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

Field Summary

Fields

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
ConstraintVisitor(SSAPropagationCallGraphBuilder builder, CGNode node)

Method Summary

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 SSAPropagationCallGraphBuilder	getBuilder()
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	visitPut(SSAPutInstruction instruction)
void	visitPutInternal(int rval, int ref, boolean isStatic, FieldReference field)
void	visitReturn(SSAReturnInstruction instruction)
void	visitThrow(SSAThrowInstruction instruction)

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

Field Details

builder

protected final SSAPropagationCallGraphBuilder builder

The governing call graph builder. This field is used instead of an inner class in order to allow more flexible reuse of this visitor in subclasses

node

protected final CGNode node

The node whose statements we are currently traversing

ir

protected final IRView ir

The governing IR

system

protected final PropagationSystem system

The governing propagation system, into which constraints are added

basicBlock

protected ISSABasicBlock basicBlock

The basic block currently being processed

symbolTable

protected final SymbolTable symbolTable

Governing symbol table

du

protected final DefUse du

Def-use information

Constructor Details

ConstraintVisitor

public ConstraintVisitor(SSAPropagationCallGraphBuilder builder,
 CGNode node)

Method Details

getBuilder

protected SSAPropagationCallGraphBuilder getBuilder()

getOptions

protected AnalysisOptions getOptions()

getAnalysisCache

protected IAnalysisCacheView getAnalysisCache()

getPointerKeyForLocal

public PointerKey getPointerKeyForLocal(int valueNumber)

getFilteredPointerKeyForLocal

public FilteredPointerKey getFilteredPointerKeyForLocal(int valueNumber,
 FilteredPointerKey.TypeFilter filter)

getPointerKeyForReturnValue

public PointerKey getPointerKeyForReturnValue()

getPointerKeyForExceptionalReturnValue

public PointerKey getPointerKeyForExceptionalReturnValue()

getPointerKeyForStaticField

public PointerKey getPointerKeyForStaticField(IField f)

getPointerKeyForInstanceField

public PointerKey getPointerKeyForInstanceField(InstanceKey I,
 IField f)

getPointerKeyForArrayContents

public PointerKey getPointerKeyForArrayContents(InstanceKey I)

getInstanceKeyForAllocation

public InstanceKey getInstanceKeyForAllocation(NewSiteReference allocation)

getInstanceKeyForMultiNewArray

public InstanceKey getInstanceKeyForMultiNewArray(NewSiteReference allocation,
 int dim)

getInstanceKeyForConstant

public <T> InstanceKey getInstanceKeyForConstant(T S)

getInstanceKeyForPEI

public InstanceKey getInstanceKeyForPEI(ProgramCounter instr,
 TypeReference type)

getInstanceKeyForClassObject

public InstanceKey getInstanceKeyForClassObject(Object obj,
 TypeReference type)

getTargetForCall

public CGNode getTargetForCall(CGNode caller,
 CallSiteReference site,
 IClass recv,
 InstanceKey[] iKey)

contentsAreInvariant

protected boolean contentsAreInvariant(SymbolTable symbolTable,
 DefUse du,
 int valueNumber)

contentsAreInvariant

protected boolean contentsAreInvariant(SymbolTable symbolTable,
 DefUse du,
 int[] valueNumber)

getInvariantContents

protected InstanceKey[] getInvariantContents(int valueNumber)

getInvariantContents

protected InstanceKey[] getInvariantContents(SymbolTable symbolTable,
 DefUse du,
 CGNode node,
 int valueNumber)

getClassHierarchy

protected IClassHierarchy getClassHierarchy()

hasNoInterestingUses

protected boolean hasNoInterestingUses(int vn)

isRootType

protected boolean isRootType(IClass klass)

visitArrayLoad

public void visitArrayLoad(SSAArrayLoadInstruction instruction)

Specified by:

visitArrayLoad in interface SSAInstruction.IVisitor

Overrides:

visitArrayLoad in class SSAInstruction.Visitor

doVisitArrayLoad

protected void doVisitArrayLoad(int def,
 int arrayRef)

doVisitArrayStore

public void doVisitArrayStore(int arrayRef,
 int value)

See Also:

• SSAInstruction.Visitor.visitArrayStore(com.ibm.wala.ssa.SSAArrayStoreInstruction)

visitArrayStore

public void visitArrayStore(SSAArrayStoreInstruction instruction)

Specified by:

visitArrayStore in interface SSAInstruction.IVisitor

Overrides:

visitArrayStore in class SSAInstruction.Visitor

visitCheckCast

public void visitCheckCast(SSACheckCastInstruction instruction)

Specified by:

visitCheckCast in interface SSAInstruction.IVisitor

Overrides:

visitCheckCast in class SSAInstruction.Visitor

visitReturn

public void visitReturn(SSAReturnInstruction instruction)

Specified by:

visitReturn in interface SSAInstruction.IVisitor

Overrides:

visitReturn in class SSAInstruction.Visitor

visitGet

public void visitGet(SSAGetInstruction instruction)

Specified by:

visitGet in interface SSAInstruction.IVisitor

Overrides:

visitGet in class SSAInstruction.Visitor

visitGetInternal

protected void visitGetInternal(int lval,
 int ref,
 boolean isStatic,
 FieldReference field)

visitPut

public void visitPut(SSAPutInstruction instruction)

Specified by:

visitPut in interface SSAInstruction.IVisitor

Overrides:

visitPut in class SSAInstruction.Visitor

visitPutInternal

public void visitPutInternal(int rval,
 int ref,
 boolean isStatic,
 FieldReference field)

processPutField

public void processPutField(int rval,
 int ref,
 IField f)

processPutStatic

protected void processPutStatic(int rval,
 FieldReference field,
 IField f)

visitInvoke

public void visitInvoke(SSAInvokeInstruction instruction)

Specified by:

visitInvoke in interface SSAInstruction.IVisitor

Overrides:

visitInvoke in class SSAInstruction.Visitor

visitInvokeInternal

protected void visitInvokeInternal(SSAAbstractInvokeInstruction instruction,
 SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer invs)

visitNew

public void visitNew(SSANewInstruction instruction)

Specified by:

visitNew in interface SSAInstruction.IVisitor

Overrides:

visitNew in class SSAInstruction.Visitor

visitThrow

public void visitThrow(SSAThrowInstruction instruction)

Specified by:

visitThrow in interface SSAInstruction.IVisitor

Overrides:

visitThrow in class SSAInstruction.Visitor

visitGetCaughtException

public void visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)

Specified by:

visitGetCaughtException in interface SSAInstruction.IVisitor

Overrides:

visitGetCaughtException in class SSAInstruction.Visitor

visitPhi

public void visitPhi(SSAPhiInstruction instruction)

Specified by:

visitPhi in interface SSAInstruction.IVisitor

Overrides:

visitPhi in class SSAInstruction.Visitor

visitPi

public void visitPi(SSAPiInstruction instruction)

Specified by:

visitPi in interface SSAInstruction.IVisitor

Overrides:

visitPi in class SSAInstruction.Visitor

getBasicBlock

public ISSABasicBlock getBasicBlock()

setBasicBlock

public void setBasicBlock(ISSABasicBlock block)

The calling loop must call this in each iteration!

visitLoadMetadata

public void visitLoadMetadata(SSALoadMetadataInstruction instruction)

Specified by:

visitLoadMetadata in interface SSAInstruction.IVisitor

Overrides:

visitLoadMetadata in class SSAInstruction.Visitor

processClassInitializer

protected void processClassInitializer(IClass klass)

TODO: lift most of this logic to PropagationCallGraphBuilder

Add a call to the class initializer from the root method.