com.ibm.wala.demandpa.flowgraph

Class DemandValueFlowGraph

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<Object,IFlowLabel>

com.ibm.wala.demandpa.flowgraph.AbstractFlowGraph

com.ibm.wala.demandpa.flowgraph.AbstractDemandFlowGraph

com.ibm.wala.demandpa.flowgraph.DemandValueFlowGraph

All Implemented Interfaces:

IFlowGraph, com.ibm.wala.util.graph.EdgeManager<Object>, com.ibm.wala.util.graph.Graph<Object>, com.ibm.wala.util.graph.labeled.LabeledEdgeManager<Object,IFlowLabel>, com.ibm.wala.util.graph.labeled.LabeledGraph<Object,IFlowLabel>, com.ibm.wala.util.graph.NodeManager<Object>, com.ibm.wala.util.graph.NumberedEdgeManager<Object>, com.ibm.wala.util.graph.NumberedGraph<Object>, com.ibm.wala.util.graph.NumberedNodeManager<Object>, 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

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.demandpa.flowgraph.AbstractDemandFlowGraph

AbstractDemandFlowGraph.FlowStatementVisitor

Field Summary

Fields inherited from class com.ibm.wala.demandpa.flowgraph.AbstractFlowGraph

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

Constructor Summary

Constructors

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

Method Summary

Methods

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

Methods inherited from class com.ibm.wala.demandpa.flowgraph.AbstractDemandFlowGraph

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

Methods inherited from class com.ibm.wala.demandpa.flowgraph.AbstractFlowGraph

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

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, 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, 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.util.graph.Graph

removeNodeAndEdges

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

addNode, containsNode, getNumberOfNodes, iterator, removeNode

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

addEdge, getDefaultLabel, getEdgeLabels, getPredLabels, getPredNodeCount, 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

Constructor Detail

DemandValueFlowGraph

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

Method Detail

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