public class DemandValueFlowGraph extends AbstractDemandFlowGraph
TODO share more code with DemandPointerFlowGraph
AbstractDemandFlowGraph.FlowStatementVisitorcallDefs, 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, unconditionallyAddConstraintsFromNodeaddExceptionDefConstraints, addNodeConstantConstraints, addNodePassthruExceptionConstraints, addNodesForInvocations, convertPointerKeyToHeapModel, getArrayReads, getInstrReturningTo, getInstrsPassingParam, getReadsOfInstanceField, getReadsOfStaticField, getWritesToInstanceField, getWritesToStaticField, isParam, visitPreds, visitSuccscopyInto, duplicate, getEdgeManager, getNodeManageraddEdge, edgeString, getDefaultLabel, getEdgeLabels, getPredLabels, getPredNodeCount, getPredNodeNumbers, getPredNodes, getSuccLabels, getSuccNodeCount, getSuccNodeNumbers, getSuccNodes, hasEdge, removeEdgegetMaxNumber, getNode, getNumber, getPredNodeNumbers, getSuccNodeNumbers, iterateNodesaddEdge, addNode, containsNode, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, stream, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitaddNode, containsNode, getNumberOfNodes, iterator, removeNode, streamaddEdge, getDefaultLabel, getEdgeLabels, getPredLabels, getPredNodeCount, getPredNodes, getPredNodes, getSuccLabels, getSuccNodeCount, getSuccNodes, hasEdge, removeEdgeaddEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdgespublic DemandValueFlowGraph(CallGraph cg, HeapModel heapModel, MemoryAccessMap mam, ClassHierarchy cha)
protected void addNodesForParameters(CGNode node, IR ir)
addNodesForParameters in class AbstractDemandFlowGraphprotected AbstractDemandFlowGraph.FlowStatementVisitor makeVisitor(CGNode node)
makeVisitor in class AbstractDemandFlowGraph