Package forge.dataflow

Class Summary
AnalysisResults<D> The results of a dataflow analysis.
BranchData<D> Output data from a transfer function on a branch stmt in dataflow analysis.
DataflowAnalysis<D> A template for a dataflow analysis.
DominatorAnalysis Computes the dominators for each node in the CFG.
InverseDominatorAnalysis Computes the inverse dominators for each node in the CFG.
ReachabilityAnalysis Computes the set of nodes reachable from each node in the CFG (not including the node itself unless the node is part of a cycle).