forge.dataflow
Classes 
AnalysisResults
BranchData
DataflowAnalysis
DominatorAnalysis
InverseDominatorAnalysis
ReachabilityAnalysis