com.ibm.wala.ipa.cfg

Class InterproceduralCFG

java.lang.Object

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

com.ibm.wala.ipa.cfg.InterproceduralCFG

All Implemented Interfaces:

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

public class InterproceduralCFG
extends AbstractInterproceduralCFG<ISSABasicBlock>

Interprocedural control-flow graph.

TODO: think about a better implementation; perhaps a lazy view of the constituent CFGs Lots of ways this can be optimized?

Constructor Summary

Constructors

Constructor and Description
InterproceduralCFG(CallGraph CG)
InterproceduralCFG(CallGraph cg, com.ibm.wala.util.collections.Filtersection<CGNode> filtersection)

Method Summary

Modifier and Type	Method and Description
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	getCFG(CGNode n)

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

InterproceduralCFG

public InterproceduralCFG(CallGraph CG)

InterproceduralCFG

public InterproceduralCFG(CallGraph cg,
                          com.ibm.wala.util.collections.Filtersection<CGNode> filtersection)

Method Detail

getCFG

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

Specified by:

getCFG in class AbstractInterproceduralCFG<ISSABasicBlock>

Returns:

the cfg for n, or null if none found

Throws:

java.lang.IllegalArgumentException - if n == null