Package com.ibm.wala.ipa.cfg

package com.ibm.wala.ipa.cfg

This package supports interprocedural control-flow graphs, and control-flow graphs specialized for context.

Related Packages

Package	Description
com.ibm.wala.ipa.cfg.exceptionpruning	If we want to filter edges of a control flow graph we already have EdgeFilter, but if we want to remove exceptions in particular we may want to combine different analysis.

Class	Description
AbstractInterproceduralCFG<T extends ISSABasicBlock>	Interprocedural control-flow graph, constructed lazily.
BasicBlockInContext<T extends ISSABasicBlock>	A helper class to make the ipcfg work correctly with context-sensitive call graphs.
EdgeFilter<T extends IBasicBlock<?>>	This class is used by the PrunedCFG to determine which edges in a given CFG should be kept in the pruned version.
ExceptionPrunedCFG	A view of a CFG that ignores exceptional edges
ExplodedInterproceduralCFG	Exploded interprocedural control-flow graph, constructed lazily.
InterproceduralCFG	Interprocedural control-flow graph.
PrunedCFG<I, T extends IBasicBlock<I>>	A pruned view of a ControlFlowGraph.