Uses of Class
com.ibm.wala.ipa.cfg.BasicBlockInContext

Packages that use BasicBlockInContext

Package	Description
com.ibm.wala.dataflow.IFDS	This package provides an RHS solver for IFDS problems.
com.ibm.wala.ipa.cfg	This package supports interprocedural control-flow graphs, and control-flow graphs specialized for context.

Uses of BasicBlockInContext in com.ibm.wala.dataflow.IFDS

Methods in com.ibm.wala.dataflow.IFDS that return BasicBlockInContext

Modifier and Type	Method and Description
BasicBlockInContext<IExplodedBasicBlock>[]	ICFGSupergraph.getEntriesForProcedure(CGNode procedure)
BasicBlockInContext<IExplodedBasicBlock>[]	ICFGSupergraph.getExitsForProcedure(CGNode procedure)
BasicBlockInContext<IExplodedBasicBlock>	ICFGSupergraph.getLocalBlock(CGNode procedure, int i)
BasicBlockInContext<IExplodedBasicBlock>	ICFGSupergraph.getMainEntry()
BasicBlockInContext<IExplodedBasicBlock>	ICFGSupergraph.getNode(int number)

Methods in com.ibm.wala.dataflow.IFDS that return types with arguments of type BasicBlockInContext

Modifier and Type	Method and Description
Iterator<? extends BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getCalledNodes(BasicBlockInContext<IExplodedBasicBlock> call)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getCallSites(BasicBlockInContext<IExplodedBasicBlock> r, CGNode callee)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getNormalSuccessors(BasicBlockInContext<IExplodedBasicBlock> call)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getPredNodes(BasicBlockInContext<IExplodedBasicBlock> N)
Iterator<? extends BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getReturnSites(BasicBlockInContext<IExplodedBasicBlock> call, CGNode callee)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getSuccNodes(BasicBlockInContext<IExplodedBasicBlock> N)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.iterateNodes(com.ibm.wala.util.intset.IntSet s)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.iterator()

Methods in com.ibm.wala.dataflow.IFDS with parameters of type BasicBlockInContext

Modifier and Type	Method and Description
void	ICFGSupergraph.addEdge(BasicBlockInContext<IExplodedBasicBlock> src, BasicBlockInContext<IExplodedBasicBlock> dst)
void	ICFGSupergraph.addEdge(BasicBlockInContext<IExplodedBasicBlock> src, BasicBlockInContext<IExplodedBasicBlock> dst)
void	ICFGSupergraph.addNode(BasicBlockInContext<IExplodedBasicBlock> n)
byte	ICFGSupergraph.classifyEdge(BasicBlockInContext<IExplodedBasicBlock> src, BasicBlockInContext<IExplodedBasicBlock> dest)
byte	ICFGSupergraph.classifyEdge(BasicBlockInContext<IExplodedBasicBlock> src, BasicBlockInContext<IExplodedBasicBlock> dest)
boolean	ICFGSupergraph.containsNode(BasicBlockInContext<IExplodedBasicBlock> N)
Iterator<? extends BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getCalledNodes(BasicBlockInContext<IExplodedBasicBlock> call)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getCallSites(BasicBlockInContext<IExplodedBasicBlock> r, CGNode callee)
ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>	ICFGSupergraph.getCFG(BasicBlockInContext<IExplodedBasicBlock> node)
int	ICFGSupergraph.getLocalBlockNumber(BasicBlockInContext<IExplodedBasicBlock> n)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getNormalSuccessors(BasicBlockInContext<IExplodedBasicBlock> call)
int	ICFGSupergraph.getNumber(BasicBlockInContext<IExplodedBasicBlock> N)
int	ICFGSupergraph.getPredNodeCount(BasicBlockInContext<IExplodedBasicBlock> N)
com.ibm.wala.util.intset.IntSet	ICFGSupergraph.getPredNodeNumbers(BasicBlockInContext<IExplodedBasicBlock> node)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getPredNodes(BasicBlockInContext<IExplodedBasicBlock> N)
CGNode	ICFGSupergraph.getProcOf(BasicBlockInContext<IExplodedBasicBlock> n)
Iterator<? extends BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getReturnSites(BasicBlockInContext<IExplodedBasicBlock> call, CGNode callee)
int	ICFGSupergraph.getSuccNodeCount(BasicBlockInContext<IExplodedBasicBlock> N)
com.ibm.wala.util.intset.IntSet	ICFGSupergraph.getSuccNodeNumbers(BasicBlockInContext<IExplodedBasicBlock> node)
Iterator<BasicBlockInContext<IExplodedBasicBlock>>	ICFGSupergraph.getSuccNodes(BasicBlockInContext<IExplodedBasicBlock> N)
boolean	ICFGSupergraph.hasEdge(BasicBlockInContext<IExplodedBasicBlock> src, BasicBlockInContext<IExplodedBasicBlock> dst)
boolean	ICFGSupergraph.hasEdge(BasicBlockInContext<IExplodedBasicBlock> src, BasicBlockInContext<IExplodedBasicBlock> dst)
boolean	ICFGSupergraph.isCall(BasicBlockInContext<IExplodedBasicBlock> n)
boolean	ICFGSupergraph.isEntry(BasicBlockInContext<IExplodedBasicBlock> n)
boolean	ICFGSupergraph.isExit(BasicBlockInContext<IExplodedBasicBlock> n)
boolean	ICFGSupergraph.isReturn(BasicBlockInContext<IExplodedBasicBlock> n)
void	ICFGSupergraph.removeAllIncidentEdges(BasicBlockInContext<IExplodedBasicBlock> node)
void	ICFGSupergraph.removeEdge(BasicBlockInContext<IExplodedBasicBlock> src, BasicBlockInContext<IExplodedBasicBlock> dst)
void	ICFGSupergraph.removeEdge(BasicBlockInContext<IExplodedBasicBlock> src, BasicBlockInContext<IExplodedBasicBlock> dst)
void	ICFGSupergraph.removeIncomingEdges(BasicBlockInContext<IExplodedBasicBlock> node)
void	ICFGSupergraph.removeNode(BasicBlockInContext<IExplodedBasicBlock> n)
void	ICFGSupergraph.removeNodeAndEdges(BasicBlockInContext<IExplodedBasicBlock> N)
void	ICFGSupergraph.removeOutgoingEdges(BasicBlockInContext<IExplodedBasicBlock> node)

Uses of BasicBlockInContext in com.ibm.wala.ipa.cfg

Methods in com.ibm.wala.ipa.cfg that return BasicBlockInContext

Modifier and Type	Method and Description
BasicBlockInContext<T>	AbstractInterproceduralCFG.getEntry(CGNode n)
BasicBlockInContext<T>	AbstractInterproceduralCFG.getExit(CGNode n)
BasicBlockInContext<T>	AbstractInterproceduralCFG.getNode(int number)

Methods in com.ibm.wala.ipa.cfg that return types with arguments of type BasicBlockInContext

Modifier and Type	Method and Description
Iterator<BasicBlockInContext<T>>	AbstractInterproceduralCFG.getCallSites(BasicBlockInContext<T> 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.
Iterator<BasicBlockInContext<T>>	AbstractInterproceduralCFG.getPredNodes(BasicBlockInContext<T> N)
Iterator<BasicBlockInContext<T>>	AbstractInterproceduralCFG.getReturnSites(BasicBlockInContext<T> callBlock)
Iterator<BasicBlockInContext<T>>	AbstractInterproceduralCFG.getSuccNodes(BasicBlockInContext<T> N)
Iterator<BasicBlockInContext<T>>	AbstractInterproceduralCFG.iterateNodes(com.ibm.wala.util.intset.IntSet s)
Iterator<BasicBlockInContext<T>>	AbstractInterproceduralCFG.iterator()

Methods in com.ibm.wala.ipa.cfg with parameters of type BasicBlockInContext

Modifier and Type	Method and Description
void	AbstractInterproceduralCFG.addEdge(BasicBlockInContext src, BasicBlockInContext dst)
void	AbstractInterproceduralCFG.addEdge(BasicBlockInContext src, BasicBlockInContext dst)
void	AbstractInterproceduralCFG.addNode(BasicBlockInContext n)
boolean	AbstractInterproceduralCFG.containsNode(BasicBlockInContext<T> N)
Iterator<BasicBlockInContext<T>>	AbstractInterproceduralCFG.getCallSites(BasicBlockInContext<T> 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>	AbstractInterproceduralCFG.getCallTargets(BasicBlockInContext<T> B)
ControlFlowGraph<SSAInstruction,T>	AbstractInterproceduralCFG.getCFG(BasicBlockInContext B)
CGNode	AbstractInterproceduralCFG.getCGNode(BasicBlockInContext B)
int	AbstractInterproceduralCFG.getNumber(BasicBlockInContext<T> N)
int	AbstractInterproceduralCFG.getPredNodeCount(BasicBlockInContext<T> N)
com.ibm.wala.util.intset.IntSet	AbstractInterproceduralCFG.getPredNodeNumbers(BasicBlockInContext<T> node)
Iterator<BasicBlockInContext<T>>	AbstractInterproceduralCFG.getPredNodes(BasicBlockInContext<T> N)
Iterator<BasicBlockInContext<T>>	AbstractInterproceduralCFG.getReturnSites(BasicBlockInContext<T> callBlock)
int	AbstractInterproceduralCFG.getSuccNodeCount(BasicBlockInContext<T> N)
com.ibm.wala.util.intset.IntSet	AbstractInterproceduralCFG.getSuccNodeNumbers(BasicBlockInContext<T> node)
Iterator<BasicBlockInContext<T>>	AbstractInterproceduralCFG.getSuccNodes(BasicBlockInContext<T> N)
boolean	AbstractInterproceduralCFG.hasCall(BasicBlockInContext<T> B)
protected boolean	AbstractInterproceduralCFG.hasCall(BasicBlockInContext<T> B, ControlFlowGraph<SSAInstruction,T> cfg)
boolean	AbstractInterproceduralCFG.hasEdge(BasicBlockInContext<T> src, BasicBlockInContext<T> dst)
boolean	AbstractInterproceduralCFG.hasEdge(BasicBlockInContext<T> src, BasicBlockInContext<T> dst)
boolean	AbstractInterproceduralCFG.isReturn(BasicBlockInContext<T> bb)
void	AbstractInterproceduralCFG.removeAllIncidentEdges(BasicBlockInContext node)
void	AbstractInterproceduralCFG.removeEdge(BasicBlockInContext src, BasicBlockInContext dst)
void	AbstractInterproceduralCFG.removeEdge(BasicBlockInContext src, BasicBlockInContext dst)
void	AbstractInterproceduralCFG.removeIncomingEdges(BasicBlockInContext node)
void	AbstractInterproceduralCFG.removeNode(BasicBlockInContext n)
void	AbstractInterproceduralCFG.removeNodeAndEdges(BasicBlockInContext N)
void	AbstractInterproceduralCFG.removeOutgoingEdges(BasicBlockInContext node)