com.ibm.wala.demandpa.flowgraph

Class AbstractFlowGraph

java.lang.Object

com.ibm.wala.util.graph.AbstractGraph<T>

com.ibm.wala.util.graph.AbstractNumberedGraph<T>

com.ibm.wala.util.graph.labeled.AbstractNumberedLabeledGraph<T,U>

com.ibm.wala.util.graph.labeled.SlowSparseNumberedLabeledGraph<java.lang.Object,IFlowLabel>

com.ibm.wala.demandpa.flowgraph.AbstractFlowGraph

All Implemented Interfaces:

IFlowGraph, com.ibm.wala.util.graph.EdgeManager<java.lang.Object>, com.ibm.wala.util.graph.Graph<java.lang.Object>, com.ibm.wala.util.graph.labeled.LabeledEdgeManager<java.lang.Object,IFlowLabel>, com.ibm.wala.util.graph.labeled.LabeledGraph<java.lang.Object,IFlowLabel>, com.ibm.wala.util.graph.labeled.NumberedLabeledEdgeManager<java.lang.Object,IFlowLabel>, com.ibm.wala.util.graph.labeled.NumberedLabeledGraph<java.lang.Object,IFlowLabel>, com.ibm.wala.util.graph.NodeManager<java.lang.Object>, com.ibm.wala.util.graph.NumberedEdgeManager<java.lang.Object>, com.ibm.wala.util.graph.NumberedGraph<java.lang.Object>, com.ibm.wala.util.graph.NumberedNodeManager<java.lang.Object>, java.lang.Iterable<java.lang.Object>

Direct Known Subclasses:

AbstractDemandFlowGraph

public abstract class AbstractFlowGraph
extends com.ibm.wala.util.graph.labeled.SlowSparseNumberedLabeledGraph<java.lang.Object,IFlowLabel>
implements IFlowGraph

A graph whose edges are labeled with IFlowLabels.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<PointerKey,SSAAbstractInvokeInstruction>	callDefs Map: LocalPointerKey -> SSAInvokeInstruction.
protected java.util.Map<PointerKey,java.util.Set<SSAAbstractInvokeInstruction>>	callParams Map: LocalPointerKey -> Set<SSAInvokeInstruction>.
protected CallGraph	cg
protected IClassHierarchy	cha
protected HeapModel	heapModel
protected MemoryAccessMap	mam
protected java.util.Map<PointerKey,CGNode>	params Map: LocalPointerKey -> CGNode.
protected java.util.Map<PointerKey,CGNode>	returns Map: LocalPointerKey -> CGNode.

Constructor Summary

Constructors

Constructor and Description
AbstractFlowGraph(MemoryAccessMap mam, HeapModel heapModel, IClassHierarchy cha, CallGraph cg)

Method Summary

Modifier and Type	Method and Description
protected void	addExceptionDefConstraints(IR ir, CGNode node, java.util.List<ProgramCounter> peis, PointerKey exceptionVar, java.util.Set<IClass> catchClasses) Generate constraints which assign exception values into an exception pointer
protected void	addNodeConstantConstraints(CGNode node, IR ir) add constraints for reference constants assigned to vars
protected void	addNodePassthruExceptionConstraints(CGNode node, IR ir) Add constraints to represent the flow of exceptions to the exceptional return value for this node
protected void	addNodesForInvocations(CGNode node, IR ir) For each invocation in the method, add nodes for actual parameters and return values
static PointerKey	convertPointerKeyToHeapModel(PointerKey pk, HeapModel h) convert a pointer key to one in the memory access map's heap model
protected java.util.Iterator<PointerKey>	getArrayReads(PointerKey arrayRef)
SSAAbstractInvokeInstruction	getInstrReturningTo(LocalPointerKey pk) get the SSAInvokeInstruction whose return value is assigned to a pointer key.
java.util.Iterator<SSAAbstractInvokeInstruction>	getInstrsPassingParam(LocalPointerKey pk)
java.util.Iterator<PointerKey>	getReadsOfInstanceField(PointerKey pk, IField f)
java.util.Iterator<? extends java.lang.Object>	getReadsOfStaticField(StaticFieldKey sfk)
java.util.Iterator<PointerKey>	getWritesToInstanceField(PointerKey pk, IField f)
java.util.Iterator<? extends java.lang.Object>	getWritesToStaticField(StaticFieldKey sfk)
boolean	isParam(LocalPointerKey pk)
void	visitPreds(java.lang.Object node, IFlowLabel.IFlowLabelVisitor v) Apply a visitor to the predecessors of some node.
void	visitSuccs(java.lang.Object node, IFlowLabel.IFlowLabelVisitor v) Apply a visitor to the successors of some node.

Methods inherited from class com.ibm.wala.util.graph.labeled.SlowSparseNumberedLabeledGraph

copyInto, duplicate, getEdgeManager, getNodeManager

Methods inherited from class com.ibm.wala.util.graph.labeled.AbstractNumberedLabeledGraph

addEdge, edgeString, getDefaultLabel, getEdgeLabels, getPredLabels, getPredNodeCount, getPredNodeNumbers, getPredNodes, getSuccLabels, getSuccNodeCount, getSuccNodeNumbers, getSuccNodes, hasEdge, removeEdge

Methods inherited from class com.ibm.wala.util.graph.AbstractNumberedGraph

getMaxNumber, getNode, getNumber, getPredNodeNumbers, getSuccNodeNumbers, iterateNodes

Methods inherited from class com.ibm.wala.util.graph.AbstractGraph

addEdge, addNode, containsNode, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, stream, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.ibm.wala.demandpa.flowgraph.IFlowGraph

addSubgraphForNode, getPossibleTargets, getPotentialCallers, hasSubgraphForNode

Methods inherited from interface com.ibm.wala.util.graph.Graph

removeNodeAndEdges

Methods inherited from interface com.ibm.wala.util.graph.NodeManager

addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface com.ibm.wala.util.graph.labeled.LabeledEdgeManager

addEdge, getDefaultLabel, getEdgeLabels, getPredLabels, getPredNodeCount, getPredNodes, getPredNodes, getSuccLabels, getSuccNodeCount, getSuccNodes, hasEdge, removeEdge

Methods inherited from interface com.ibm.wala.util.graph.EdgeManager

addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges

Methods inherited from interface com.ibm.wala.util.graph.NumberedNodeManager

getMaxNumber, getNode, getNumber, iterateNodes

Methods inherited from interface com.ibm.wala.util.graph.NumberedEdgeManager

getPredNodeNumbers, getSuccNodeNumbers

Field Detail

callDefs

protected final java.util.Map<PointerKey,SSAAbstractInvokeInstruction> callDefs

Map: LocalPointerKey -> SSAInvokeInstruction. If we have (x, foo()), that means that x was def'fed by the return value from the call to foo()

callParams

protected final java.util.Map<PointerKey,java.util.Set<SSAAbstractInvokeInstruction>> callParams

Map: LocalPointerKey -> Set<SSAInvokeInstruction>. If we have (x, foo()), that means x was passed as a parameter to the call to foo(). The parameter position is not represented and must be recovered.

params

protected final java.util.Map<PointerKey,CGNode> params

Map: LocalPointerKey -> CGNode. If we have (x, foo), then x is a parameter of method foo. For now, we have to re-discover the parameter position. TODO this should just be a set; we can get the CGNode from the LocalPointerKey

returns

protected final java.util.Map<PointerKey,CGNode> returns

Map: LocalPointerKey -> CGNode. If we have (x, foo), then x is a return value of method foo. Must re-discover if x is normal or exceptional return value.

mam

protected final MemoryAccessMap mam

heapModel

protected final HeapModel heapModel

cha

protected final IClassHierarchy cha

cg

protected final CallGraph cg

Constructor Detail

AbstractFlowGraph

public AbstractFlowGraph(MemoryAccessMap mam,
                         HeapModel heapModel,
                         IClassHierarchy cha,
                         CallGraph cg)

Method Detail

visitSuccs

public void visitSuccs(java.lang.Object node,
                       IFlowLabel.IFlowLabelVisitor v)

Description copied from interface: IFlowGraph

Apply a visitor to the successors of some node.

Specified by:

visitSuccs in interface IFlowGraph

visitPreds

public void visitPreds(java.lang.Object node,
                       IFlowLabel.IFlowLabelVisitor v)

Description copied from interface: IFlowGraph

Apply a visitor to the predecessors of some node.

Specified by:

visitPreds in interface IFlowGraph

addNodesForInvocations

protected void addNodesForInvocations(CGNode node,
                                      IR ir)

For each invocation in the method, add nodes for actual parameters and return values

isParam

public boolean isParam(LocalPointerKey pk)

Specified by:

isParam in interface IFlowGraph

Returns:

true iff pk is a formal parameter

getInstrsPassingParam

public java.util.Iterator<SSAAbstractInvokeInstruction> getInstrsPassingParam(LocalPointerKey pk)

Specified by:

getInstrsPassingParam in interface IFlowGraph

Returns:

the SSAInvokeInstructions passing some pointer as a parameter

getInstrReturningTo

public SSAAbstractInvokeInstruction getInstrReturningTo(LocalPointerKey pk)

Description copied from interface: IFlowGraph

get the SSAInvokeInstruction whose return value is assigned to a pointer key.

Specified by:

getInstrReturningTo in interface IFlowGraph

Returns:

the instruction, or null if no return value is assigned to pk

getWritesToStaticField

public java.util.Iterator<? extends java.lang.Object> getWritesToStaticField(StaticFieldKey sfk)
                                                                      throws java.lang.IllegalArgumentException

Specified by:

getWritesToStaticField in interface IFlowGraph

Parameters:

sfk - the static field

Returns:

all the variables whose values are written to sfk

Throws:

java.lang.IllegalArgumentException - if sfk == null

getReadsOfStaticField

public java.util.Iterator<? extends java.lang.Object> getReadsOfStaticField(StaticFieldKey sfk)
                                                                     throws java.lang.IllegalArgumentException

Specified by:

getReadsOfStaticField in interface IFlowGraph

Parameters:

sfk - the static field

Returns:

all the variables that get the value of sfk

Throws:

java.lang.IllegalArgumentException - if sfk == null

getWritesToInstanceField

public java.util.Iterator<PointerKey> getWritesToInstanceField(PointerKey pk,
                                                               IField f)

Specified by:

getWritesToInstanceField in interface IFlowGraph

convertPointerKeyToHeapModel

public static PointerKey convertPointerKeyToHeapModel(PointerKey pk,
                                                      HeapModel h)

convert a pointer key to one in the memory access map's heap model

TODO move this somewhere more appropriate

Throws:

java.lang.UnsupportedOperationException - if it doesn't know how to handle a PointerKey

getReadsOfInstanceField

public java.util.Iterator<PointerKey> getReadsOfInstanceField(PointerKey pk,
                                                              IField f)

Specified by:

getReadsOfInstanceField in interface IFlowGraph

getArrayReads

protected java.util.Iterator<PointerKey> getArrayReads(PointerKey arrayRef)

addNodePassthruExceptionConstraints

protected void addNodePassthruExceptionConstraints(CGNode node,
                                                   IR ir)

Add constraints to represent the flow of exceptions to the exceptional return value for this node

addExceptionDefConstraints

protected void addExceptionDefConstraints(IR ir,
                                          CGNode node,
                                          java.util.List<ProgramCounter> peis,
                                          PointerKey exceptionVar,
                                          java.util.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

addNodeConstantConstraints

protected void addNodeConstantConstraints(CGNode node,
                                          IR ir)

add constraints for reference constants assigned to vars