Uses of Interface
com.ibm.wala.ssa.ISSABasicBlock

Packages that use ISSABasicBlock

Package	Description
com.ibm.wala.analysis.reflection	This package provides functions to deal with reflection.
com.ibm.wala.analysis.reflection.java7
com.ibm.wala.cfg	This package provides control-flow graph utilities.
com.ibm.wala.cfg.exc
com.ibm.wala.cfg.exc.intra
com.ibm.wala.demandpa.flowgraph
com.ibm.wala.ipa.callgraph.impl	This package provides some implementations of basic functions needed for various call graph construction algorithms.
com.ibm.wala.ipa.callgraph.propagation	This package provides the base layer for propagation-based call graph construction and pointer analysis.
com.ibm.wala.ipa.callgraph.propagation.cfa	This package provides RTA call graph construction.
com.ibm.wala.ipa.cfg	This package supports interprocedural control-flow graphs, and control-flow graphs specialized for context.
com.ibm.wala.ssa	This package provides the WALA SSA IR.
com.ibm.wala.ssa.analysis	This package provides analyses over the WALA SSA IR.
com.ibm.wala.viz

Uses of ISSABasicBlock in com.ibm.wala.analysis.reflection

Methods in com.ibm.wala.analysis.reflection that return types with arguments of type ISSABasicBlock

Modifier and Type	Method and Description
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	ReflectiveInvocationInterpreter.getCFG(CGNode N)
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	JavaLangClassContextInterpreter.getCFG(CGNode N)
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	GetMethodContextInterpreter.getCFG(CGNode N)
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	GetClassContextInterpeter.getCFG(CGNode N)
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	FactoryBypassInterpreter.getCFG(CGNode N)
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	CloneInterpreter.getCFG(CGNode N)
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	ClassNewInstanceContextInterpreter.getCFG(CGNode N)
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	ClassFactoryContextInterpreter.getCFG(CGNode N)

Uses of ISSABasicBlock in com.ibm.wala.analysis.reflection.java7

Methods in com.ibm.wala.analysis.reflection.java7 that return types with arguments of type ISSABasicBlock

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

Uses of ISSABasicBlock in com.ibm.wala.cfg

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

Modifier and Type	Method and Description
static com.ibm.wala.util.graph.Graph<ISSABasicBlock>	CFGSanitizer.sanitize(IR ir, IClassHierarchy cha) Return a view of the ControlFlowGraph for an IR, which elides all exceptional exits from PEIs in the IR.

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

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

Modifier and Type	Method and Description
static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock>	NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(IR ir)
static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock>	NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(TypeReference[] ignoredExceptions, IR ir)
static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock>	NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState)

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

Classes in com.ibm.wala.cfg.exc.intra with type parameters of type ISSABasicBlock

Modifier and Type	Class and Description
class	IntraprocNullPointerAnalysis<T extends ISSABasicBlock> Intraprocedural dataflow analysis to detect impossible NullPointerExceptions.

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

Modifier and Type	Method and Description
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	SSACFGNullPointerAnalysis.getCFG()

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

Modifier and Type	Method and Description
NullPointerState	SSACFGNullPointerAnalysis.getState(ISSABasicBlock bb)

Uses of ISSABasicBlock in com.ibm.wala.demandpa.flowgraph

Methods in com.ibm.wala.demandpa.flowgraph that return ISSABasicBlock

Modifier and Type	Method and Description
ISSABasicBlock	SimpleDemandPointerFlowGraph.StatementVisitor.getBasicBlock()
ISSABasicBlock	DemandPointerFlowGraph.StatementVisitor.getBasicBlock()

Methods in com.ibm.wala.demandpa.flowgraph with parameters of type ISSABasicBlock

Modifier and Type	Method and Description
protected void	AbstractDemandFlowGraph.addBlockInstructionConstraints(CGNode node, ControlFlowGraph<SSAInstruction,ISSABasicBlock> cfg, ISSABasicBlock b, AbstractDemandFlowGraph.FlowStatementVisitor v) Add constraints for a particular basic block.
protected void	SimpleDemandPointerFlowGraph.addBlockInstructionConstraints(CGNode node, ControlFlowGraph<SSAInstruction,ISSABasicBlock> cfg, ISSABasicBlock b, SimpleDemandPointerFlowGraph.StatementVisitor v) Add constraints for a particular basic block.
void	SimpleDemandPointerFlowGraph.StatementVisitor.setBasicBlock(ISSABasicBlock block) The calling loop must call this in each iteration!
void	DemandPointerFlowGraph.StatementVisitor.setBasicBlock(ISSABasicBlock block) The calling loop must call this in each iteration!
void	AbstractDemandFlowGraph.FlowStatementVisitor.setBasicBlock(ISSABasicBlock b)

Method parameters in com.ibm.wala.demandpa.flowgraph with type arguments of type ISSABasicBlock

Modifier and Type	Method and Description
protected void	AbstractDemandFlowGraph.addBlockInstructionConstraints(CGNode node, ControlFlowGraph<SSAInstruction,ISSABasicBlock> cfg, ISSABasicBlock b, AbstractDemandFlowGraph.FlowStatementVisitor v) Add constraints for a particular basic block.
protected void	SimpleDemandPointerFlowGraph.addBlockInstructionConstraints(CGNode node, ControlFlowGraph<SSAInstruction,ISSABasicBlock> cfg, ISSABasicBlock b, SimpleDemandPointerFlowGraph.StatementVisitor v) Add constraints for a particular basic block.

Uses of ISSABasicBlock in com.ibm.wala.ipa.callgraph.impl

Methods in com.ibm.wala.ipa.callgraph.impl that return types with arguments of type ISSABasicBlock

Modifier and Type	Method and Description
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	ExplicitCallGraph.ExplicitNode.getCFG()

Uses of ISSABasicBlock in com.ibm.wala.ipa.callgraph.propagation

Fields in com.ibm.wala.ipa.callgraph.propagation declared as ISSABasicBlock

Modifier and Type	Field and Description
protected ISSABasicBlock	SSAPropagationCallGraphBuilder.ConstraintVisitor.basicBlock The basic block currently being processed

Methods in com.ibm.wala.ipa.callgraph.propagation that return ISSABasicBlock

Modifier and Type	Method and Description
ISSABasicBlock	SSAPropagationCallGraphBuilder.ConstraintVisitor.getBasicBlock()

Methods in com.ibm.wala.ipa.callgraph.propagation that return types with arguments of type ISSABasicBlock

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

Methods in com.ibm.wala.ipa.callgraph.propagation with parameters of type ISSABasicBlock

Modifier and Type	Method and Description
static List<ProgramCounter>	SSAPropagationCallGraphBuilder.getIncomingPEIs(IR ir, ISSABasicBlock bb)
void	SSAPropagationCallGraphBuilder.ConstraintVisitor.setBasicBlock(ISSABasicBlock block) The calling loop must call this in each iteration!

Method parameters in com.ibm.wala.ipa.callgraph.propagation with type arguments of type ISSABasicBlock

Modifier and Type	Method and Description
protected void	SSAPropagationCallGraphBuilder.addBlockInstructionConstraints(CGNode node, ControlFlowGraph<SSAInstruction,ISSABasicBlock> cfg, SSACFG.BasicBlock b, SSAPropagationCallGraphBuilder.ConstraintVisitor v, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) Add constraints for a particular basic block.

Uses of ISSABasicBlock in com.ibm.wala.ipa.callgraph.propagation.cfa

Methods in com.ibm.wala.ipa.callgraph.propagation.cfa that return types with arguments of type ISSABasicBlock

Modifier and Type	Method and Description
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	FallbackContextInterpreter.getCFG(CGNode n)
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	DelegatingSSAContextInterpreter.getCFG(CGNode node)
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	DefaultSSAInterpreter.getCFG(CGNode N)
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	ContextInsensitiveSSAInterpreter.getCFG(CGNode N)

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

Classes in com.ibm.wala.ipa.cfg with type parameters of type ISSABasicBlock

Modifier and Type	Class and Description
class	AbstractInterproceduralCFG<T extends ISSABasicBlock> Interprocedural control-flow graph, constructed lazily.
class	BasicBlockInContext<T extends ISSABasicBlock> A helper class to make the ipcfg work correctly with context-sensitive call graphs.

Classes in com.ibm.wala.ipa.cfg that implement ISSABasicBlock

Modifier and Type	Class and Description
class	BasicBlockInContext<T extends ISSABasicBlock> A helper class to make the ipcfg work correctly with context-sensitive call graphs.

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

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

Uses of ISSABasicBlock in com.ibm.wala.ssa

Classes in com.ibm.wala.ssa that implement ISSABasicBlock

Modifier and Type	Class and Description
class	SSACFG.BasicBlock A Basic Block in an SSA IR
class	SSACFG.ExceptionHandlerBasicBlock

Methods in com.ibm.wala.ssa that return ISSABasicBlock

Modifier and Type	Method and Description
ISSABasicBlock	IR.getBasicBlockForCatch(SSAGetCaughtExceptionInstruction instruction) Return the ISSABasicBlock corresponding to a particular catch instruction
ISSABasicBlock	IR.getBasicBlockForInstruction(SSAInstruction s) This is space-inefficient.
ISSABasicBlock[]	IR.getBasicBlocksForCall(CallSiteReference site)

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

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

Methods in com.ibm.wala.ssa with parameters of type ISSABasicBlock

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

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

Subinterfaces of ISSABasicBlock in com.ibm.wala.ssa.analysis

Modifier and Type	Interface and Description
interface	IExplodedBasicBlock A basic block with exactly one normal instruction (which may be null), corresponding to a single instruction index in the SSA instruction array.

Uses of ISSABasicBlock in com.ibm.wala.viz

Methods in com.ibm.wala.viz that return types with arguments of type ISSABasicBlock

Modifier and Type	Method and Description
static com.ibm.wala.viz.NodeDecorator<ISSABasicBlock>	PDFViewUtil.makeIRDecorator(IR ir)

Method parameters in com.ibm.wala.viz with type arguments of type ISSABasicBlock

Modifier and Type	Method and Description
static Process	PDFViewUtil.ghostviewIR(IClassHierarchy cha, IR ir, String pdfFile, String dotFile, String dotExe, String pdfViewExe, com.ibm.wala.viz.NodeDecorator<ISSABasicBlock> annotations) spawn a process to view a WALA IR