Uses of Package
com.ibm.wala.ipa.cfg

Packages that use com.ibm.wala.ipa.cfg

Package	Description
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.

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

Class and Description
EdgeFilter This class is used by the PrunedCFG to determine which edges in a given CFG should be kept in the pruned version.

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

Class and Description
BasicBlockInContext A helper class to make the ipcfg work correctly with context-sensitive call graphs.
ExplodedInterproceduralCFG Exploded interprocedural control-flow graph, constructed lazily.

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

Class and Description
AbstractInterproceduralCFG Interprocedural control-flow graph, constructed lazily.
BasicBlockInContext A helper class to make the ipcfg work correctly with context-sensitive call graphs.
EdgeFilter This class is used by the PrunedCFG to determine which edges in a given CFG should be kept in the pruned version.
ExplodedInterproceduralCFG Exploded interprocedural control-flow graph, constructed lazily.
PrunedCFG A pruned view of a ControlFlowGraph.