Uses of Interface
com.ibm.wala.ssa.analysis.IExplodedBasicBlock

Packages that use IExplodedBasicBlock

Package	Description
com.ibm.wala.cfg.exc
com.ibm.wala.cfg.exc.inter
com.ibm.wala.cfg.exc.intra
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.
com.ibm.wala.ssa.analysis	This package provides analyses over the WALA SSA IR.

Uses of IExplodedBasicBlock in com.ibm.wala.cfg.exc

Methods in com.ibm.wala.cfg.exc that return types with arguments of type IExplodedBasicBlock

Modifier and Type	Method and Description
static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.computeInterprocAnalysis(CallGraph cg, com.ibm.wala.util.MonitorUtil.IProgressMonitor progress)
static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.computeInterprocAnalysis(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, com.ibm.wala.util.MonitorUtil.IProgressMonitor progress)
static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.computeInterprocAnalysis(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, com.ibm.wala.util.MonitorUtil.IProgressMonitor progress, boolean optHasExceptions)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(IR ir)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState, boolean optHasException)

Uses of IExplodedBasicBlock in com.ibm.wala.cfg.exc.inter

Methods in com.ibm.wala.cfg.exc.inter that return types with arguments of type IExplodedBasicBlock

Modifier and Type	Method and Description
static Set<IExplodedBasicBlock>	AnalysisUtil.extractInvokeBlocks(ControlFlowGraph<SSAInstruction,IExplodedBasicBlock> cfg) Returns a Set of all blocks that invoke another method.
InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	InterprocNullPointerAnalysis.getResult() Returns the result of the interprocedural analysis.

Method parameters in com.ibm.wala.cfg.exc.inter with type arguments of type IExplodedBasicBlock

Modifier and Type	Method and Description
static Set<IExplodedBasicBlock>	AnalysisUtil.extractInvokeBlocks(ControlFlowGraph<SSAInstruction,IExplodedBasicBlock> cfg) Returns a Set of all blocks that invoke another method.

Uses of IExplodedBasicBlock in com.ibm.wala.cfg.exc.intra

Methods in com.ibm.wala.cfg.exc.intra that return types with arguments of type IExplodedBasicBlock

Modifier and Type	Method and Description
ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>	ExplodedCFGNullPointerAnalysis.getCFG()

Methods in com.ibm.wala.cfg.exc.intra with parameters of type IExplodedBasicBlock

Modifier and Type	Method and Description
NullPointerState	ExplodedCFGNullPointerAnalysis.getState(IExplodedBasicBlock bb)

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

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

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)
ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>	ICFGSupergraph.getCFG(BasicBlockInContext<IExplodedBasicBlock> node)
BasicBlockInContext<IExplodedBasicBlock>	ICFGSupergraph.getLocalBlock(CGNode procedure, int i)
BasicBlockInContext<IExplodedBasicBlock>	ICFGSupergraph.getMainEntry()
BasicBlockInContext<IExplodedBasicBlock>	ICFGSupergraph.getNode(int number)
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()

Method parameters in com.ibm.wala.dataflow.IFDS with type arguments of type IExplodedBasicBlock

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 IExplodedBasicBlock in com.ibm.wala.ipa.cfg

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

Modifier and Type	Method and Description
ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>	ExplodedInterproceduralCFG.getCFG(CGNode n)

Uses of IExplodedBasicBlock in com.ibm.wala.ssa.analysis

Methods in com.ibm.wala.ssa.analysis that return IExplodedBasicBlock

Modifier and Type	Method and Description
IExplodedBasicBlock	ExplodedControlFlowGraph.entry()
IExplodedBasicBlock	ExplodedControlFlowGraph.exit()
IExplodedBasicBlock	ExplodedControlFlowGraph.getBlockForInstruction(int index)
IExplodedBasicBlock	ExplodedControlFlowGraph.getNode(int number)

Methods in com.ibm.wala.ssa.analysis that return types with arguments of type IExplodedBasicBlock

Modifier and Type	Method and Description
Collection<IExplodedBasicBlock>	ExplodedControlFlowGraph.getExceptionalPredecessors(IExplodedBasicBlock bb)
List<IExplodedBasicBlock>	ExplodedControlFlowGraph.getExceptionalSuccessors(IExplodedBasicBlock bb)
Collection<IExplodedBasicBlock>	ExplodedControlFlowGraph.getNormalPredecessors(IExplodedBasicBlock bb)
Collection<IExplodedBasicBlock>	ExplodedControlFlowGraph.getNormalSuccessors(IExplodedBasicBlock bb)
Iterator<IExplodedBasicBlock>	ExplodedControlFlowGraph.getPredNodes(IExplodedBasicBlock bb)
Iterator<IExplodedBasicBlock>	ExplodedControlFlowGraph.getSuccNodes(IExplodedBasicBlock bb)
Iterator<IExplodedBasicBlock>	ExplodedControlFlowGraph.iterateNodes(com.ibm.wala.util.intset.IntSet s)
Iterator<IExplodedBasicBlock>	ExplodedControlFlowGraph.iterator()

Methods in com.ibm.wala.ssa.analysis with parameters of type IExplodedBasicBlock

Modifier and Type	Method and Description
void	ExplodedControlFlowGraph.addEdge(IExplodedBasicBlock src, IExplodedBasicBlock dst)
void	ExplodedControlFlowGraph.addNode(IExplodedBasicBlock n)
boolean	ExplodedControlFlowGraph.containsNode(IExplodedBasicBlock N)
Collection<IExplodedBasicBlock>	ExplodedControlFlowGraph.getExceptionalPredecessors(IExplodedBasicBlock bb)
List<IExplodedBasicBlock>	ExplodedControlFlowGraph.getExceptionalSuccessors(IExplodedBasicBlock bb)
Collection<IExplodedBasicBlock>	ExplodedControlFlowGraph.getNormalPredecessors(IExplodedBasicBlock bb)
Collection<IExplodedBasicBlock>	ExplodedControlFlowGraph.getNormalSuccessors(IExplodedBasicBlock bb)
int	ExplodedControlFlowGraph.getNumber(IExplodedBasicBlock n)
int	ExplodedControlFlowGraph.getPredNodeCount(IExplodedBasicBlock bb)
com.ibm.wala.util.intset.IntSet	ExplodedControlFlowGraph.getPredNodeNumbers(IExplodedBasicBlock node)
Iterator<IExplodedBasicBlock>	ExplodedControlFlowGraph.getPredNodes(IExplodedBasicBlock bb)
int	ExplodedControlFlowGraph.getSuccNodeCount(IExplodedBasicBlock N)
com.ibm.wala.util.intset.IntSet	ExplodedControlFlowGraph.getSuccNodeNumbers(IExplodedBasicBlock node)
Iterator<IExplodedBasicBlock>	ExplodedControlFlowGraph.getSuccNodes(IExplodedBasicBlock bb)
boolean	ExplodedControlFlowGraph.hasEdge(IExplodedBasicBlock src, IExplodedBasicBlock dst)
void	ExplodedControlFlowGraph.removeAllIncidentEdges(IExplodedBasicBlock node)
void	ExplodedControlFlowGraph.removeEdge(IExplodedBasicBlock src, IExplodedBasicBlock dst)
void	ExplodedControlFlowGraph.removeIncomingEdges(IExplodedBasicBlock node)
void	ExplodedControlFlowGraph.removeNode(IExplodedBasicBlock n)
void	ExplodedControlFlowGraph.removeNodeAndEdges(IExplodedBasicBlock N)
void	ExplodedControlFlowGraph.removeOutgoingEdges(IExplodedBasicBlock node)