Uses of Package
com.ibm.wala.cfg

Packages that use com.ibm.wala.cfg

Package	Description
com.ibm.wala.analysis.reflection	This package provides functions to deal with reflection.
com.ibm.wala.analysis.reflection.java7
com.ibm.wala.analysis.stackMachine	This package provides a layer to perform abstract interpretation over the JVM stack machine.
com.ibm.wala.cfg	This package provides control-flow graph utilities.
com.ibm.wala.cfg.cdg	This package supports a control-dependence graph.
com.ibm.wala.cfg.exc
com.ibm.wala.cfg.exc.inter
com.ibm.wala.cfg.exc.intra
com.ibm.wala.classLoader	This package provides functionality related to class loading and management of loaded classes.
com.ibm.wala.dataflow.IFDS	This package provides an RHS solver for IFDS problems.
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.ipa.summaries	This package provides class hierarchy analysis.
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.

Classes in com.ibm.wala.cfg used by com.ibm.wala.analysis.reflection

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.

Classes in com.ibm.wala.cfg used by com.ibm.wala.analysis.reflection.java7

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.

Classes in com.ibm.wala.cfg used by com.ibm.wala.analysis.stackMachine

Class and Description
ShrikeCFG A graph of basic blocks.
ShrikeCFG.BasicBlock

Classes in com.ibm.wala.cfg used by com.ibm.wala.cfg

Class and Description
AbstractCFG Common functionality for ControlFlowGraph implementations.
BytecodeCFG
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.
IBasicBlock An interface for a basic block in a control flow graph.
InducedCFG.BasicBlock
InducedCFG.BranchVisitor This visitor identifies basic block boundaries induced by branch instructions.
InducedCFG.PEIVisitor
ShrikeCFG A graph of basic blocks.
ShrikeCFG.BasicBlock

Classes in com.ibm.wala.cfg used by com.ibm.wala.cfg.cdg

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.
IBasicBlock An interface for a basic block in a control flow graph.

Classes in com.ibm.wala.cfg used by com.ibm.wala.cfg.exc

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.
IBasicBlock An interface for a basic block in a control flow graph.

Classes in com.ibm.wala.cfg used by com.ibm.wala.cfg.exc.inter

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.

Classes in com.ibm.wala.cfg used by com.ibm.wala.cfg.exc.intra

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.
IBasicBlock An interface for a basic block in a control flow graph.

Classes in com.ibm.wala.cfg used by com.ibm.wala.classLoader

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.
InducedCFG A ControlFlowGraph computed from a set of SSAInstruction instructions.

Classes in com.ibm.wala.cfg used by com.ibm.wala.dataflow.IFDS

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.

Classes in com.ibm.wala.cfg used by com.ibm.wala.demandpa.flowgraph

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.

Classes in com.ibm.wala.cfg used by com.ibm.wala.ipa.callgraph.impl

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.
IBasicBlock An interface for a basic block in a control flow graph.

Classes in com.ibm.wala.cfg used by com.ibm.wala.ipa.callgraph.propagation

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.

Classes in com.ibm.wala.cfg used by com.ibm.wala.ipa.callgraph.propagation.cfa

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.

Classes in com.ibm.wala.cfg used by com.ibm.wala.ipa.cfg

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.
IBasicBlock An interface for a basic block in a control flow graph.

Classes in com.ibm.wala.cfg used by com.ibm.wala.ipa.summaries

Class and Description
AbstractCFG Common functionality for ControlFlowGraph implementations.
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.

Classes in com.ibm.wala.cfg used by com.ibm.wala.ssa

Class and Description
AbstractCFG Common functionality for ControlFlowGraph implementations.
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.
IBasicBlock An interface for a basic block in a control flow graph.
ShrikeCFG A graph of basic blocks.

Classes in com.ibm.wala.cfg used by com.ibm.wala.ssa.analysis

Class and Description
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.
IBasicBlock An interface for a basic block in a control flow graph.