Class ExplodedInterproceduralCFG
java.lang.Object
com.ibm.wala.ipa.cfg.AbstractInterproceduralCFG<IExplodedBasicBlock>
com.ibm.wala.ipa.cfg.ExplodedInterproceduralCFG
- All Implemented Interfaces:
EdgeManager<BasicBlockInContext<IExplodedBasicBlock>>
,Graph<BasicBlockInContext<IExplodedBasicBlock>>
,NodeManager<BasicBlockInContext<IExplodedBasicBlock>>
,NumberedEdgeManager<BasicBlockInContext<IExplodedBasicBlock>>
,NumberedGraph<BasicBlockInContext<IExplodedBasicBlock>>
,NumberedNodeManager<BasicBlockInContext<IExplodedBasicBlock>>
,Iterable<BasicBlockInContext<IExplodedBasicBlock>>
Exploded interprocedural control-flow graph, constructed lazily.
-
Constructor Summary
ModifierConstructorDescriptionprotected
ExplodedInterproceduralCFG
(CallGraph cg, Predicate<CGNode> filter) -
Method Summary
Methods inherited from class com.ibm.wala.ipa.cfg.AbstractInterproceduralCFG
addEdge, addEdgesToNonEntryBlock, addNode, callGraphUpdated, containsNode, getCallGraph, getCallSiteForCallBlock, getCallSites, getCallTargets, getCFG, getCGNode, getEntry, getExit, getLastInstructionForBlock, getMaxNumber, getNode, getNumber, getNumberOfNodes, getPredNodeCount, getPredNodeNumbers, getPredNodes, getReturnSites, getSuccNodeCount, getSuccNodeNumbers, getSuccNodes, hasCall, hasCall, hasEdge, isReturn, iterateNodes, iterator, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, stream, toString
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Constructor Details
-
ExplodedInterproceduralCFG
-
ExplodedInterproceduralCFG
-
-
Method Details
-
make
-
getCFG
public ControlFlowGraph<SSAInstruction,IExplodedBasicBlock> getCFG(CGNode n) throws IllegalArgumentException - Specified by:
getCFG
in classAbstractInterproceduralCFG<IExplodedBasicBlock>
- Returns:
- the cfg for n, or null if none found
- Throws:
IllegalArgumentException
- if n == null
-