Package ic.dfa

Class Summary

DataFlowAnalysis<T>	Abstract Dataflow analysis engine.
ReachableAnalysis	A simple analysis to determine whether there are unreachable statements in a program.
ReachableAnalysisWithVisitor	Same as ReachableAnalysis, but illustrates how to leverage the TAC visitor pattern (if you have one) to implement the transfer functions in a relatively elegant way.