public class DemandPointerFlowGraph extends AbstractDemandFlowGraph implements IFlowGraph
AssignLabel.noFilter()| Modifier and Type | Class and Description |
|---|---|
static class |
DemandPointerFlowGraph.NewMultiDimInfo |
static class |
DemandPointerFlowGraph.StatementVisitor
A visitor that generates graph nodes and edges for an IR.
|
AbstractDemandFlowGraph.FlowStatementVisitorcallDefs, callParams, cg, cha, heapModel, mam, params, returns| Constructor and Description |
|---|
DemandPointerFlowGraph(CallGraph cg,
HeapModel heapModel,
MemoryAccessMap mam,
IClassHierarchy cha) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
addNodesForParameters(CGNode node,
IR ir)
add nodes for parameters and return values
|
static DemandPointerFlowGraph.NewMultiDimInfo |
getInfoForNewMultiDim(SSANewInstruction instruction,
HeapModel heapModel,
CGNode node)
collect information about the new instructions and putfield instructions used to model an allocation of a multi-dimensional
array.
|
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, 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, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitaddSubgraphForNode, getInstrReturningTo, getInstrsPassingParam, getPossibleTargets, getPotentialCallers, getReadsOfInstanceField, getReadsOfStaticField, getWritesToInstanceField, getWritesToStaticField, hasSubgraphForNode, isParam, visitPreds, visitSuccsaddNode, containsNode, getNumberOfNodes, iterator, removeNodepublic DemandPointerFlowGraph(CallGraph cg, HeapModel heapModel, MemoryAccessMap mam, IClassHierarchy cha)
protected void addNodesForParameters(CGNode node, IR ir)
addNodesForParameters in class AbstractDemandFlowGraphprotected AbstractDemandFlowGraph.FlowStatementVisitor makeVisitor(CGNode node)
makeVisitor in class AbstractDemandFlowGraphpublic static DemandPointerFlowGraph.NewMultiDimInfo getInfoForNewMultiDim(SSANewInstruction instruction, HeapModel heapModel, CGNode node)
Copyright © 2015. All rights reserved.