Uses of Class
com.ibm.wala.cfg.AbstractCFG

Packages that use AbstractCFG

Package	Description
com.ibm.wala.cfg	This package provides control-flow graph utilities.
com.ibm.wala.ipa.summaries	This package provides class hierarchy analysis.
com.ibm.wala.ssa	This package provides the WALA SSA IR.

Uses of AbstractCFG in com.ibm.wala.cfg

Subclasses of AbstractCFG in com.ibm.wala.cfg

Modifier and Type	Class and Description
class	InducedCFG A ControlFlowGraph computed from a set of SSAInstruction instructions.
class	ShrikeCFG A graph of basic blocks.

Uses of AbstractCFG in com.ibm.wala.ipa.summaries

Constructors in com.ibm.wala.ipa.summaries with parameters of type AbstractCFG

Constructor and Description
SummarizedMethodWithNames.SyntheticIRWithNames(IMethod method, Context context, AbstractCFG cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer,ConstantValue> constants, Map<Integer,Atom> localNames)
SyntheticIR(IMethod method, Context context, AbstractCFG cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer,ConstantValue> constants) Create an SSA form, induced over a list of instructions provided externally.

Uses of AbstractCFG in com.ibm.wala.ssa

Fields in com.ibm.wala.ssa declared as AbstractCFG

Modifier and Type	Field and Description
protected AbstractCFG<com.ibm.wala.shrikeBT.IInstruction,IBasicBlock<com.ibm.wala.shrikeBT.IInstruction>>	SSACFG.delegate A delegate CFG, pre-built, which stores the graph structure of this CFG.

Constructors in com.ibm.wala.ssa with parameters of type AbstractCFG

Constructor and Description
SSACFG(IMethod method, AbstractCFG cfg, SSAInstruction[] instructions)