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>>

public class ExplodedInterproceduralCFG
extends AbstractInterproceduralCFG<IExplodedBasicBlock>

Exploded interprocedural control-flow graph, constructed lazily.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ExplodedInterproceduralCFG(CallGraph cg)
	ExplodedInterproceduralCFG(CallGraph cg, Predicate<CGNode> filter)

Method Summary

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

Methods inherited from class 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

Modifier and Type	Method	Description
void	addEdge(BasicBlockInContext<IExplodedBasicBlock> src, BasicBlockInContext<IExplodedBasicBlock> dst)
protected void	addEdgesToNonEntryBlock(CGNode n, ControlFlowGraph<?, IExplodedBasicBlock> cfg, SSAInstruction[] instrs, IExplodedBasicBlock bb)	Add edges to the IPCFG for the incoming edges incident on a basic block bb.
void	addNode(BasicBlockInContext<IExplodedBasicBlock> n)	add a node to this graph
void	callGraphUpdated()	Should be invoked when the underlying call graph has changed.
boolean	containsNode(BasicBlockInContext<IExplodedBasicBlock> N)
CallGraph	getCallGraph()
protected CallSiteReference	getCallSiteForCallBlock(IBasicBlock<SSAInstruction> B, ControlFlowGraph<SSAInstruction, IExplodedBasicBlock> cfg)	get the CallSiteReference corresponding to the last instruction in B (assumed to be a call)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	getCallSites(BasicBlockInContext<IExplodedBasicBlock> returnBlock, CGNode callee)	get the basic blocks which are call sites that may call callee and return to returnBlock if callee is null, answer return sites for which no callee was found.
Set<CGNode>	getCallTargets(BasicBlockInContext<IExplodedBasicBlock> B)
ControlFlowGraph<SSAInstruction, IExplodedBasicBlock>	getCFG(BasicBlockInContext<IExplodedBasicBlock> B)
CGNode	getCGNode(BasicBlockInContext<IExplodedBasicBlock> B)
BasicBlockInContext<IExplodedBasicBlock>	getEntry(CGNode n)
BasicBlockInContext<IExplodedBasicBlock>	getExit(CGNode n)
protected SSAInstruction	getLastInstructionForBlock(IExplodedBasicBlock pb, SSAInstruction[] instrs)
int	getMaxNumber()
BasicBlockInContext<IExplodedBasicBlock>	getNode(int number)
int	getNumber(BasicBlockInContext<IExplodedBasicBlock> N)
int	getNumberOfNodes()
int	getPredNodeCount(BasicBlockInContext<IExplodedBasicBlock> N)	Return the number of immediate predecessor nodes of n
IntSet	getPredNodeNumbers(BasicBlockInContext<IExplodedBasicBlock> node)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	getPredNodes(BasicBlockInContext<IExplodedBasicBlock> N)	Return an Iterator over the immediate predecessor nodes of n
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	getReturnSites(BasicBlockInContext<IExplodedBasicBlock> callBlock)
int	getSuccNodeCount(BasicBlockInContext<IExplodedBasicBlock> N)	Return the number of immediate successor nodes of this Node in the Graph
IntSet	getSuccNodeNumbers(BasicBlockInContext<IExplodedBasicBlock> node)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	getSuccNodes(BasicBlockInContext<IExplodedBasicBlock> N)	Return an Iterator over the immediate successor nodes of n
boolean	hasCall(BasicBlockInContext<IExplodedBasicBlock> B)
protected boolean	hasCall(BasicBlockInContext<IExplodedBasicBlock> B, ControlFlowGraph<SSAInstruction, IExplodedBasicBlock> cfg)
boolean	hasEdge(BasicBlockInContext<IExplodedBasicBlock> src, BasicBlockInContext<IExplodedBasicBlock> dst)
boolean	isReturn(BasicBlockInContext<IExplodedBasicBlock> bb)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	iterateNodes(IntSet s)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	iterator()
void	removeAllIncidentEdges(BasicBlockInContext<IExplodedBasicBlock> node)
void	removeEdge(BasicBlockInContext<IExplodedBasicBlock> src, BasicBlockInContext<IExplodedBasicBlock> dst)
void	removeIncomingEdges(BasicBlockInContext<IExplodedBasicBlock> node)
void	removeNode(BasicBlockInContext<IExplodedBasicBlock> n)	remove a node from this graph
void	removeNodeAndEdges(BasicBlockInContext<IExplodedBasicBlock> N)	remove a node and all its incident edges
void	removeOutgoingEdges(BasicBlockInContext<IExplodedBasicBlock> node)
Stream<BasicBlockInContext<IExplodedBasicBlock>>	stream()
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface Iterable

forEach, spliterator

Constructor Details

ExplodedInterproceduralCFG

protected ExplodedInterproceduralCFG(CallGraph cg)

ExplodedInterproceduralCFG

public ExplodedInterproceduralCFG(CallGraph cg,
 Predicate<CGNode> filter)

Method Details

make

public static ExplodedInterproceduralCFG make(CallGraph cg)

getCFG

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

Specified by:

getCFG in class AbstractInterproceduralCFG<IExplodedBasicBlock>

Returns:

the cfg for n, or null if none found

Throws:

IllegalArgumentException - if n == null