Package com.ibm.wala.demandpa.flowgraph

Class DemandPointerFlowGraph.StatementVisitor

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

com.ibm.wala.demandpa.flowgraph.DemandPointerFlowGraph.StatementVisitor

All Implemented Interfaces:

AbstractDemandFlowGraph.FlowStatementVisitor, SSAInstruction.IVisitor

Enclosing class:

DemandPointerFlowGraph

public static class DemandPointerFlowGraph.StatementVisitor
extends SSAInstruction.Visitor
implements AbstractDemandFlowGraph.FlowStatementVisitor

A visitor that generates graph nodes and edges for an IR.

strategy: when visiting a statement, for each use of that statement, add a graph edge from def to use.

TODO: special treatment for parameter passing, etc.

Field Summary

Fields

Modifier and Type	Field	Description
protected final DefUse	du	Def-use information
protected final IR	ir	The governing IR
protected final CGNode	node	The node whose statements we are currently traversing
protected final SymbolTable	symbolTable	Governing symbol table

Constructor Summary

Constructors

Constructor	Description
StatementVisitor(HeapModel heapModel, IFlowGraph g, IClassHierarchy cha, CallGraph cg, CGNode node)

Method Summary

Modifier and Type	Method	Description
protected void	addExceptionDefConstraints(IR ir, CGNode node, List<ProgramCounter> peis, PointerKey exceptionVar, Set<IClass> catchClasses)	Generate constraints which assign exception values into an exception pointer
ISSABasicBlock	getBasicBlock()
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)
void	visitLoadMetadata(SSALoadMetadataInstruction instruction)
void	visitNew(SSANewInstruction 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, visitPhi, 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.ssa.SSAInstruction.IVisitor

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

Field Details

node

protected final CGNode node

The node whose statements we are currently traversing

ir

protected final IR ir

The governing IR

symbolTable

protected final SymbolTable symbolTable

Governing symbol table

du

protected final DefUse du

Def-use information

Constructor Details

StatementVisitor

public StatementVisitor(HeapModel heapModel,
 IFlowGraph g,
 IClassHierarchy cha,
 CallGraph cg,
 CGNode node)

Method Details

visitArrayLoad

public void visitArrayLoad(SSAArrayLoadInstruction instruction)

Specified by:

visitArrayLoad in interface SSAInstruction.IVisitor

Overrides:

visitArrayLoad in class SSAInstruction.Visitor

visitArrayStore

public void visitArrayStore(SSAArrayStoreInstruction instruction)

Specified by:

visitArrayStore in interface SSAInstruction.IVisitor

Overrides:

visitArrayStore in class SSAInstruction.Visitor

See Also:

• IInstruction.Visitor.visitArrayStore(com.ibm.wala.shrike.shrikeBT.IArrayStoreInstruction)

visitCheckCast

public void visitCheckCast(SSACheckCastInstruction instruction)

Specified by:

visitCheckCast in interface SSAInstruction.IVisitor

Overrides:

visitCheckCast in class SSAInstruction.Visitor

See Also:

• IInstruction.Visitor.visitCheckCast(ITypeTestInstruction)

visitReturn

public void visitReturn(SSAReturnInstruction instruction)

Specified by:

visitReturn in interface SSAInstruction.IVisitor

Overrides:

visitReturn in class SSAInstruction.Visitor

See Also:

• IInstruction.Visitor.visitReturn(ReturnInstruction)

visitGet

public void visitGet(SSAGetInstruction instruction)

Specified by:

visitGet in interface SSAInstruction.IVisitor

Overrides:

visitGet in class SSAInstruction.Visitor

See Also:

• IInstruction.Visitor.visitGet(IGetInstruction)

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

See Also:

• IInstruction.Visitor.visitPut(IPutInstruction)

visitPutInternal

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

visitInvoke

public void visitInvoke(SSAInvokeInstruction instruction)

Specified by:

visitInvoke in interface SSAInstruction.IVisitor

Overrides:

visitInvoke in class SSAInstruction.Visitor

See Also:

• IInstruction.Visitor.visitInvoke(IInvokeInstruction)

visitNew

public void visitNew(SSANewInstruction instruction)

Specified by:

visitNew in interface SSAInstruction.IVisitor

Overrides:

visitNew in class SSAInstruction.Visitor

See Also:

• IInstruction.Visitor.visitNew(NewInstruction)

visitThrow

public void visitThrow(SSAThrowInstruction instruction)

Specified by:

visitThrow in interface SSAInstruction.IVisitor

Overrides:

visitThrow in class SSAInstruction.Visitor

See Also:

• IInstruction.Visitor.visitThrow(ThrowInstruction)

visitGetCaughtException

public void visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)

Specified by:

visitGetCaughtException in interface SSAInstruction.IVisitor

Overrides:

visitGetCaughtException in class SSAInstruction.Visitor

addExceptionDefConstraints

protected void addExceptionDefConstraints(IR ir,
 CGNode node,
 List<ProgramCounter> peis,
 PointerKey exceptionVar,
 Set<IClass> catchClasses)

Generate constraints which assign exception values into an exception pointer

Parameters:

node - governing node

peis - list of PEI instructions

exceptionVar - PointerKey representing a pointer to an exception value

catchClasses - the types "caught" by the exceptionVar

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!

Specified by:

setBasicBlock in interface AbstractDemandFlowGraph.FlowStatementVisitor

visitLoadMetadata

public void visitLoadMetadata(SSALoadMetadataInstruction instruction)

Specified by:

visitLoadMetadata in interface SSAInstruction.IVisitor

Overrides:

visitLoadMetadata in class SSAInstruction.Visitor