public class ExplodedInterproceduralCFG extends AbstractInterproceduralCFG<IExplodedBasicBlock>
Modifier | Constructor and Description |
---|---|
protected |
ExplodedInterproceduralCFG(CallGraph cg) |
|
ExplodedInterproceduralCFG(CallGraph cg,
Predicate<CGNode> filter) |
Modifier and Type | Method and Description |
---|---|
ControlFlowGraph<SSAInstruction,IExplodedBasicBlock> |
getCFG(CGNode n) |
static ExplodedInterproceduralCFG |
make(CallGraph cg) |
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, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
forEach, spliterator
protected ExplodedInterproceduralCFG(CallGraph cg)
public static ExplodedInterproceduralCFG make(CallGraph cg)
public ControlFlowGraph<SSAInstruction,IExplodedBasicBlock> getCFG(CGNode n) throws IllegalArgumentException
getCFG
in class AbstractInterproceduralCFG<IExplodedBasicBlock>
IllegalArgumentException
- if n == null