com.ibm.wala.ipa.cfg

Class ExplodedInterproceduralCFG

java.lang.Object

com.ibm.wala.ipa.cfg.AbstractInterproceduralCFG<IExplodedBasicBlock>

com.ibm.wala.ipa.cfg.ExplodedInterproceduralCFG

All Implemented Interfaces:

com.ibm.wala.util.graph.EdgeManager<BasicBlockInContext<IExplodedBasicBlock>>, com.ibm.wala.util.graph.Graph<BasicBlockInContext<IExplodedBasicBlock>>, com.ibm.wala.util.graph.NodeManager<BasicBlockInContext<IExplodedBasicBlock>>, com.ibm.wala.util.graph.NumberedEdgeManager<BasicBlockInContext<IExplodedBasicBlock>>, com.ibm.wala.util.graph.NumberedGraph<BasicBlockInContext<IExplodedBasicBlock>>, com.ibm.wala.util.graph.NumberedNodeManager<BasicBlockInContext<IExplodedBasicBlock>>, java.lang.Iterable<BasicBlockInContext<IExplodedBasicBlock>>

public class ExplodedInterproceduralCFG
extends AbstractInterproceduralCFG<IExplodedBasicBlock>

Exploded interprocedural control-flow graph, constructed lazily.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExplodedInterproceduralCFG(CallGraph cg)
	ExplodedInterproceduralCFG(CallGraph cg, java.util.function.Predicate<CGNode> filter)

Method Summary

Modifier and Type	Method and Description
ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>	getCFG(CGNode n)
static ExplodedInterproceduralCFG	make(CallGraph cg)

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 Detail

ExplodedInterproceduralCFG

protected ExplodedInterproceduralCFG(CallGraph cg)

ExplodedInterproceduralCFG

public ExplodedInterproceduralCFG(CallGraph cg,
                                  java.util.function.Predicate<CGNode> filter)

Method Detail

make

public static ExplodedInterproceduralCFG make(CallGraph cg)

getCFG

public ControlFlowGraph<SSAInstruction,IExplodedBasicBlock> getCFG(CGNode n)
                                                            throws java.lang.IllegalArgumentException

Specified by:

getCFG in class AbstractInterproceduralCFG<IExplodedBasicBlock>

Returns:

the cfg for n, or null if none found

Throws:

java.lang.IllegalArgumentException - if n == null