Class DemandValueFlowGraph

java.lang.Object

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

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

com.ibm.wala.util.graph.labeled.AbstractNumberedLabeledGraph<Object, IFlowLabel>

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

com.ibm.wala.demandpa.flowgraph.AbstractFlowGraph

com.ibm.wala.demandpa.flowgraph.AbstractDemandFlowGraph

com.ibm.wala.demandpa.flowgraph.DemandValueFlowGraph

All Implemented Interfaces:

IFlowGraph, EdgeManager<Object>, Graph<Object>, LabeledEdgeManager<Object, IFlowLabel>, LabeledGraph<Object, IFlowLabel>, NumberedLabeledEdgeManager<Object, IFlowLabel>, NumberedLabeledGraph<Object, IFlowLabel>, NodeManager<Object>, NumberedEdgeManager<Object>, NumberedGraph<Object>, NumberedNodeManager<Object>, Serializable, Iterable<Object>

public class DemandValueFlowGraph
extends AbstractDemandFlowGraph

A flow graph including both pointer and primitive values.

TODO share more code with DemandPointerFlowGraph

Author:

Manu Sridharan

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class AbstractDemandFlowGraph

AbstractDemandFlowGraph.FlowStatementVisitor

Field Summary

Fields inherited from class AbstractFlowGraph

callDefs, callParams, cg, cha, heapModel, mam, params, returns

Constructor Summary

Constructors

Constructor	Description
DemandValueFlowGraph(CallGraph cg, HeapModel heapModel, MemoryAccessMap mam, ClassHierarchy cha)

Method Summary

Modifier and Type	Method	Description
protected void	addNodesForParameters(CGNode node, IR ir)
protected AbstractDemandFlowGraph.FlowStatementVisitor	makeVisitor(CGNode node)

Methods inherited from class AbstractDemandFlowGraph

addBlockInstructionConstraints, addNodeInstructionConstraints, addSubgraphForNode, getParamPreds, getParamSuccs, getPossibleTargets, getPotentialCallers, getReturnPreds, getReturnSuccs, hasSubgraphForNode, unconditionallyAddConstraintsFromNode

Methods inherited from class AbstractFlowGraph

addExceptionDefConstraints, addNodeConstantConstraints, addNodePassthruExceptionConstraints, addNodesForInvocations, convertPointerKeyToHeapModel, getArrayReads, getInstrReturningTo, getInstrsPassingParam, getReadsOfInstanceField, getReadsOfStaticField, getWritesToInstanceField, getWritesToStaticField, isParam, visitPreds, visitSuccs

Methods inherited from class SlowSparseNumberedLabeledGraph

copyInto, duplicate, getEdgeManager, getNodeManager

Methods inherited from class AbstractNumberedLabeledGraph

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

Methods inherited from class AbstractNumberedGraph

getMaxNumber, getNode, getNumber, getPredNodeNumbers, getSuccNodeNumbers, iterateNodes

Methods inherited from class AbstractGraph

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

Methods inherited from class Object

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

Methods inherited from interface EdgeManager

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

Methods inherited from interface Graph

removeNodeAndEdges

Methods inherited from interface Iterable

forEach, spliterator

Methods inherited from interface LabeledEdgeManager

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

Methods inherited from interface NodeManager

addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream

Methods inherited from interface NumberedEdgeManager

getPredNodeNumbers, getSuccNodeNumbers

Methods inherited from interface NumberedNodeManager

getMaxNumber, getNode, getNumber, iterateNodes

Constructor Details

DemandValueFlowGraph

public DemandValueFlowGraph(CallGraph cg,
 HeapModel heapModel,
 MemoryAccessMap mam,
 ClassHierarchy cha)

Method Details

addNodesForParameters

protected void addNodesForParameters(CGNode node,
 IR ir)

Specified by:

addNodesForParameters in class AbstractDemandFlowGraph

makeVisitor

protected AbstractDemandFlowGraph.FlowStatementVisitor makeVisitor(CGNode node)

Specified by:

makeVisitor in class AbstractDemandFlowGraph