public class DemandValueFlowGraph extends AbstractDemandFlowGraph
DemandPointerFlowGraph
AbstractDemandFlowGraph.FlowStatementVisitor
callDefs, callParams, cg, cha, heapModel, mam, params, returns
Constructor and Description |
---|
DemandValueFlowGraph(CallGraph cg,
HeapModel heapModel,
MemoryAccessMap mam,
ClassHierarchy cha) |
Modifier and Type | Method and Description |
---|---|
protected void |
addNodesForParameters(CGNode node,
IR ir) |
protected AbstractDemandFlowGraph.FlowStatementVisitor |
makeVisitor(CGNode node) |
addBlockInstructionConstraints, addNodeInstructionConstraints, addSubgraphForNode, getParamPreds, getParamSuccs, getPossibleTargets, getPotentialCallers, getReturnPreds, getReturnSuccs, hasSubgraphForNode, unconditionallyAddConstraintsFromNode
addExceptionDefConstraints, addNodeConstantConstraints, addNodePassthruExceptionConstraints, addNodesForInvocations, convertPointerKeyToHeapModel, getArrayReads, getInstrReturningTo, getInstrsPassingParam, getReadsOfInstanceField, getReadsOfStaticField, getWritesToInstanceField, getWritesToStaticField, isParam, visitPreds, visitSuccs
copyInto, duplicate, getEdgeManager, getNodeManager
addEdge, getDefaultLabel, getEdgeLabels, getPredLabels, getPredNodeCount, getPredNodeNumbers, getPredNodes, getSuccLabels, getSuccNodeCount, getSuccNodeNumbers, getSuccNodes, hasEdge, removeEdge
getMaxNumber, getNode, getNumber, getPredNodeNumbers, getSuccNodeNumbers, iterateNodes
addEdge, addNode, containsNode, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
removeNodeAndEdges
addNode, containsNode, getNumberOfNodes, iterator, removeNode
forEach, spliterator
addEdge, getDefaultLabel, getEdgeLabels, getPredLabels, getPredNodeCount, getPredNodes, getSuccLabels, getSuccNodeCount, getSuccNodes, hasEdge, removeEdge
addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges
public DemandValueFlowGraph(CallGraph cg, HeapModel heapModel, MemoryAccessMap mam, ClassHierarchy cha)
protected void addNodesForParameters(CGNode node, IR ir)
addNodesForParameters
in class AbstractDemandFlowGraph
protected AbstractDemandFlowGraph.FlowStatementVisitor makeVisitor(CGNode node)
makeVisitor
in class AbstractDemandFlowGraph